An Answer Set Prolog formalization of shikake principles and examples - Methodology and lessons learned.
Daniela InclezanPublished in: AI Soc. (2015)
Keyphrases
- lessons learned
- answer sets
- logic programming
- logic programs
- answer set programming
- counter examples
- knowledge representation
- future directions
- case study
- answer set semantics
- knowledge base
- participatory design
- fixpoint
- normal logic programs
- loop formulas
- programming language
- nonmonotonic reasoning
- evolutionary algorithm
- answer set programs
- deductive databases
- data exchange
- grounded theory
- expert systems
- search algorithm
- artificial intelligence