Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals.
Miika HannulaJonni VirtemaPublished in: JELIA (2021)
Keyphrases
- logic programming
- proof theory
- probabilistic logic
- epistemic logic
- nonmonotonic logics
- sound and complete with respect
- probability theory
- model theoretic
- sound and complete axiomatization
- probabilistic knowledge
- propositional dynamic logic
- dynamic logic
- proof theoretic
- probabilistic reasoning
- computational properties
- modal logic
- logical framework
- default reasoning
- logical equivalence
- algebraic structure
- bayesian networks
- operational semantics
- higher order
- conditional logic
- intuitionistic logic
- modal operators
- autoepistemic logic
- formal language
- active rules
- formal semantics
- derivation rules
- uncertain data
- np complete
- classical logic
- team members
- constraint satisfaction
- rewrite systems
- agent oriented programming language
- inference rules
- deductive databases
- knowledge representation
- probabilistic model
- binary relations
- transitive closure
- query evaluation
- fixed point semantics
- alternating time temporal logic