Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.
Kazumi NakamatsuAtsuyuki SuzukiPublished in: LAPTEC (2005)
Keyphrases
- artificial intelligence
- logic programming
- nonmonotonic logics
- multiple inheritance
- autoepistemic logic
- model theoretic
- default rules
- intelligent systems
- expert systems
- formal semantics
- update semantics
- nonmonotonic reasoning
- disjunctive logic programming
- knowledge representation and reasoning
- modal logic
- default logic
- knowledge representation
- default reasoning
- software engineering
- computational intelligence
- reasoning tasks
- strong equivalence
- defeasible logic
- semantic information
- knowledge based systems
- logic programs
- object oriented
- case based reasoning
- computer science
- propositional logic
- conceptual model
- operational semantics
- description logics
- truth maintenance systems
- data model
- machine learning