Interpreting Presuppositions Using Active Logic: From Contexts to Utterances.

John Gurney Donald Perlis Khemdut Purang

Published in: Comput. Intell. (1997)

Keyphrases

natural language
classical logic
logic programming
modal logic
predicate logic
database
automated reasoning
information systems
default logic
logical framework
epistemic logic