Logics with Probabilistic Team Semantics and the Boolean Negation.
Miika HannulaMinna HirvonenJuha KontinenYasir MahmoodArne MeierJonni VirtemaPublished in: JELIA (2023)
Keyphrases
- logic programming
- logic programs
- propositional dynamic logic
- hybrid probabilistic logic programs
- proof theory
- conditional logic
- classical logic
- proof theoretic
- epistemic logic
- nonmonotonic logics
- stable model semantics
- expressive power
- model theoretic
- higher order logic
- valued semantics
- real valued
- derivation rules
- fixpoint semantics
- bayesian networks
- formal semantics
- modal logic
- proof procedures
- valued logic
- extended logic programs
- computational properties
- semantic information
- deductive databases
- compositional semantics
- probabilistic model
- autoepistemic logic
- probabilistic reasoning
- open world
- boolean expressions
- stable models
- containment of conjunctive queries
- inference rules
- fixed point semantics
- programming language
- agent oriented programming language