A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.
Thomas EiterGiovambattista IanniRoman SchindlauerHans TompitsPublished in: IJCAI (2005)
Keyphrases
- answer set programming
- higher order
- reasoning tasks
- disjunctive logic programs
- logic programming
- logic programs
- answer sets
- modulo theories
- automated theorem proving
- knowledge representation
- constraint logic programming
- causal theories
- stable models
- stable model semantics
- event calculus
- reasoning problems
- reasoning systems
- knowledge representation and reasoning
- answer set programs
- knowledge base
- haplotype inference
- deductive databases
- machine learning
- general purpose
- answer set semantics
- tree decomposition
- orders of magnitude
- update semantics
- relational databases
- automated reasoning
- fixpoint
- artificial intelligence