Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023.
Published in: NMR (2023)
Keyphrases
- knowledge representation and reasoning
- description logics
- lecture notes
- lecture notes in artificial intelligence
- international conference
- computer science
- defeasible logic
- reasoning systems
- artificial intelligence
- knowledge representation
- international workshop
- predicate logic
- knowledge base
- logic programming
- international symposium
- exptime complete
- reasoning tasks
- computational properties
- book constitutes the refereed proceedings
- ontology languages
- dl lite
- incomplete information
- owl dl
- knowledge representation formalisms
- expert systems
- transitive roles
- knowledge representation languages
- reasoning problems
- semantic web
- owl ontologies
- knowledge discovery and data mining
- automated reasoning
- fuzzy description logics
- machine learning