Non-Classical Logics for Knowledge Representation and Reasoning.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoCamilla SchwindPublished in: Il Milione (2008)
Keyphrases
- knowledge representation and reasoning
- logic programming
- classical logic
- knowledge representation
- artificial intelligence
- predicate logic
- reasoning systems
- description logics
- automated reasoning
- incomplete information
- structured knowledge
- defeasible logic
- theorem proving
- disjunctive logic programming
- conference on artificial intelligence
- probabilistic reasoning
- answer set programming
- logic programs
- domain specific
- programming language