Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.
Miika HannulaJonni VirtemaPublished in: CoRR (2020)
Keyphrases
- logic programming
- proof theory
- probabilistic logic
- logical equivalence
- epistemic logic
- propositional dynamic logic
- np complete
- probabilistic knowledge
- sound and complete axiomatization
- model theoretic
- nonmonotonic logics
- probability theory
- sound and complete with respect
- default reasoning
- probabilistic reasoning
- higher order
- dynamic logic
- formal language
- proof theoretic
- formal semantics
- conditional logic
- operational semantics
- active rules
- classical logic
- logical framework
- algebraic structure
- fixed point semantics
- probabilistic model
- inference rules
- predicate calculus
- rewrite systems
- constraint databases
- derivation rules
- automated reasoning
- logic programs
- autoepistemic logic
- modal operators
- expressive power
- alternating time temporal logic
- rule engine
- knowledge base
- intuitionistic logic
- agent oriented programming language
- highly expressive
- predicate logic
- computational properties
- default theories
- default logic
- modal logic
- query answering
- semantic information
- bayesian networks