Automata Techniques for Temporal Answer Set Programming.
Susana HahnPublished in: ICLP Technical Communications (2021)
Keyphrases
- answer set programming
- logic programming
- logic programs
- answer sets
- reasoning tasks
- answer set programs
- causal theories
- temporal information
- constraint logic programming
- stable model semantics
- temporal constraints
- knowledge representation
- stable models
- haplotype inference
- finite automata
- temporal reasoning
- regular expressions
- general purpose
- query language
- search algorithm