尤物视频

Search

Emeriti Faculty

Research Interests

Formal semantics; logic and language; cognitive science; Ancient Greek philosophy; automated theorem proving; artificial intelligence.

Research Interests

Artificial Intelligence, Logic programming; Constraint Programming (CHR); computational linguistics, deductive knowledge bases, computational molecular biology, cognitive sciences and web based virtual worlds.

Research Interests

Cognition; connectionism; reasoning.