Current and Future Challenges in Knowledge Representation and Reasoning.
James P. DelgrandeBirte GlimmThomas Andreas MeyerMiroslaw TruszczynskiFrank WolterPublished in: CoRR (2023)
Keyphrases
- knowledge representation and reasoning
- knowledge representation
- artificial intelligence
- logic programming
- reasoning systems
- defeasible logic
- automated reasoning
- structured knowledge
- description logics
- incomplete information
- theorem proving
- database
- linear programming
- general purpose
- multi agent systems
- conference on artificial intelligence
- search algorithm
- semantic modeling
- disjunctive logic programming