Logics with probabilistic team semantics and the Boolean negation.
Miika HannulaMinna HirvonenJuha KontinenYasir MahmoodArne MeierJonni VirtemaPublished in: CoRR (2023)
Keyphrases
- logic programming
- logic programs
- proof theory
- hybrid probabilistic logic programs
- propositional dynamic logic
- conditional logic
- nonmonotonic logics
- epistemic logic
- valued logic
- classical logic
- proof theoretic
- modal logic
- default reasoning
- compositional semantics
- fixed point semantics
- truth values
- real valued
- containment of conjunctive queries
- valued semantics
- computational properties
- inference rules
- boolean functions
- stable models
- higher order logic
- normal logic programs
- fixpoint semantics
- probabilistic model
- formal semantics
- team members
- default logic
- expressive power
- multi valued
- agent oriented programming language
- bayesian networks
- knowledge representation
- semantic information
- derivation rules
- uncertain data
- deductive databases
- probabilistic reasoning
- nonmonotonic reasoning
- boolean expressions
- propositional logic
- answer set programming
- extended logic programs
- kripke models
- model theoretic