Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report.

Philipp Obermeier Javier Romero Torsten Schaub

Published in: Open J. Databases (2019)

Keyphrases

answer set programming
reasoning tasks
disjunctive logic programs
logic programming
logic programs
answer sets
automated theorem proving

modulo theories
knowledge representation
causal theories
constraint logic programming
stable model semantics
answer set programs
event calculus

stable models
reasoning systems
reasoning problems
video sequences
knowledge base
artificial intelligence
disjunctive logic programming

tree decomposition
update semantics
automated reasoning
haplotype inference
propositional logic
declarative programming