Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.
Kazumi NakamatsuAtsuyuki SuzukiPublished in: LAPTEC (2005)
Keyphrases
- artificial intelligence
- nonmonotonic logics
- logic programming
- multiple inheritance
- autoepistemic logic
- knowledge representation and reasoning
- disjunctive logic programming
- default rules
- model theoretic
- knowledge representation
- default logic
- formal semantics
- strong equivalence
- nonmonotonic reasoning
- software engineering
- expert systems
- update semantics
- computer science
- intelligent agents
- intelligent systems
- logic programs
- computational intelligence
- operational semantics
- ai methods
- truth maintenance systems
- minimal models
- natural language processing
- case based reasoning
- default theories
- manually annotated
- ai systems
- description logics