Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach.
Johannes Klaus FichteMarkus HecherMohamed A. NadeemPublished in: IJCAI (2022)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- reasoning tasks
- polynomial hierarchy
- answer set semantics
- computational properties
- fixpoint
- normal logic programs
- reasoning systems
- knowledge representation
- knowledge base
- answer set programs
- semantics of logic programs
- automated reasoning
- knowledge representation and reasoning
- probabilistic reasoning
- general purpose
- loop formulas
- stable models
- default reasoning
- programming language