WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning.
Robert A. KowalskiAnthony BurtonPublished in: JSAI-isAI Workshops (2011)
Keyphrases
- knowledge representation and reasoning
- knowledge representation
- artificial intelligence
- reasoning systems
- logic programming
- description logics
- incomplete information
- automated reasoning
- expert systems
- structured knowledge
- defeasible logic
- logic programs
- case study
- disjunctive logic programming
- constraint satisfaction
- object oriented
- probability distribution
- relational databases
- search algorithm
- cooperative