Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.
Nikos KatzourisAlexander ArtikisGeorgios PaliourasPublished in: CoRR (2021)
Keyphrases
- answer set programming
- event calculus
- reasoning tasks
- online learning
- causal theories
- logic programming
- answer set programs
- logic programs
- answer set solvers
- answer sets
- modulo theories
- deductive databases
- stable models
- theory revision
- stable model semantics
- partially ordered
- satisfiability modulo theories
- knowledge representation
- situation calculus
- probabilistic reasoning
- general theory
- active learning
- learning algorithm
- reasoning about actions
- knowledge base
- action theories
- default theories
- temporal databases
- description logics
- artificial intelligence
- machine learning