ASP for Reasoning about Actions with an EL^bot Knowledge Base.
Laura GiordanoAlberto MartelliMatteo SpiottaDaniele Theseider DupréPublished in: CILC (2016)
Keyphrases
- reasoning about actions
- logic programming
- knowledge base
- answer set programming
- description logics
- logic programs
- action language
- knowledge representation
- situation calculus
- deductive databases
- reasoning tasks
- expert systems
- answer sets
- knowledge based systems
- dynamic logic
- indirect effects
- knowledge acquisition
- web applications
- knowledge representation and reasoning
- fluent calculus
- rule base
- action theories
- default logic
- semantic network
- dl lite
- database
- domain description
- databases
- machine learning
- wordnet
- minimal change
- model theoretic
- domain experts
- knowledge sources
- possibilistic logic
- reasoning process
- partial order