Experiments in Answer Sets Planning.
Marcello BalducciniGianpaolo BrignoliGaetano Aurelio LanzaroneF. MagniAlessandro ProvettiPublished in: MICAI (2000)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- extended logic programs
- answer set programs
- normal logic programs
- logic program updates
- counter examples
- semantics of logic programs
- artificial intelligence
- fixpoint
- default logic
- disjunctive logic programming
- stable models
- semantic web
- general purpose
- software engineering
- relational databases
- natural language