Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.
Kazumi NakamatsuAtsuyuki SuzukiPublished in: LAPTEC (2005)
Keyphrases
- artificial intelligence
- nonmonotonic logics
- logic programming
- multiple inheritance
- nonmonotonic reasoning
- autoepistemic logic
- model theoretic
- default rules
- intelligent systems
- knowledge representation
- default logic
- propositional logic
- computational intelligence
- logic programs
- software engineering
- defeasible logic
- knowledge representation and reasoning
- modal logic
- update semantics
- formal semantics
- strong equivalence
- expert systems
- natural language processing
- disjunctive logic programming
- semantic information
- knowledge based systems
- machine learning
- manually annotated
- default theories
- conditional logic
- ai methods
- computer science
- minimal models
- classical logic
- relational databases
- data model
- object oriented
- default reasoning
- deductive databases
- first order logic
- programming language