Non-classical logics for knowledge representation and reasoning.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoCamilla SchwindPublished in: Intelligenza Artificiale (2011)
Keyphrases
- knowledge representation and reasoning
- logic programming
- classical logic
- reasoning systems
- artificial intelligence
- knowledge representation
- description logics
- predicate logic
- automated reasoning
- incomplete information
- defeasible logic
- structured knowledge
- theorem proving
- conference on artificial intelligence
- international conference
- software engineering
- databases