Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).
James P. DelgrandeBirte GlimmThomas MeyerMiroslaw TruszczynskiMilene Santos TeixeiraFrank WolterPublished in: Dagstuhl Reports (2022)
Keyphrases
- knowledge representation and reasoning
- description logics
- artificial intelligence
- knowledge representation
- reasoning systems
- logic programming
- incomplete information
- structured knowledge
- linear programming
- databases
- search algorithm
- special case
- automated reasoning
- conference on artificial intelligence
- update semantics