Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.
David FuenmayorChristoph BenzmüllerPublished in: KI (2017)
Keyphrases
- modal logic
- higher order
- temporal logic
- decision procedures
- inference rules
- high order
- markov random field
- pairwise
- epistemic logic
- explanation based generalization
- classical logic
- dynamic logic
- situation calculus
- conditional logic
- model checking
- knowledge representation
- prime implicates
- conceptual modeling
- context dependent
- nonmonotonic logics
- default logic
- domain ontology
- data model