Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming.
Joaquín AriasManuel CarroGopal GuptaPublished in: CoRR (2021)
Keyphrases
- goal directed
- answer set programming
- consistency checking
- logic programs
- logic programming
- answer sets
- constraint logic programming
- causal theories
- temporal constraints
- answer set programs
- dynamic environments
- query answering
- temporal reasoning
- autonomous robots
- machine learning
- stable model semantics
- haplotype inference
- declarative programming
- disjunctive logic programming
- update semantics
- first order logic
- knowledge representation
- objective function
- artificial intelligence