Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.
Joaquín AriasManuel CarroGopal GuptaPublished in: PADL (2022)
Keyphrases
- goal directed
- answer set programming
- consistency checking
- logic programs
- answer sets
- logic programming
- causal theories
- query answering
- haplotype inference
- autonomous robots
- knowledge representation
- stable model semantics
- stable models
- answer set programs
- fixpoint
- temporal constraints
- constraint satisfaction
- first order logic
- constraint satisfaction problems
- databases