Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.
Nikos KatzourisGeorgios PaliourasAlexander ArtikisPublished in: Theory Pract. Log. Program. (2023)
Keyphrases
- answer set programming
- event calculus
- reasoning tasks
- online learning
- causal theories
- logic programming
- answer set programs
- answer set solvers
- logic programs
- answer sets
- modulo theories
- deductive databases
- stable models
- theory revision
- situation calculus
- stable model semantics
- temporal reasoning
- general theory
- active learning
- probabilistic reasoning
- knowledge representation
- domain specific knowledge
- partially ordered
- domain theory
- transitive closure
- belief networks
- expert systems
- artificial intelligence
- databases
- database
- general purpose
- reasoning about actions
- action theories
- action language
- database systems
- knowledge base