An Ontology-based First-order Intensional Logic.
Feng JiangYuefei SuiCungen CaoPublished in: GrC (2008)
Keyphrases
- higher order
- linear temporal logic
- general logic programs
- conditional logic
- predicate calculus
- sound and complete with respect
- first order logic
- horn clauses
- modal logic
- finite model theory
- logic programming
- multi valued
- asynchronous circuits
- probabilistic logic
- automated reasoning
- predicate logic
- quantifier free
- management system
- computational properties
- set theory
- data sets
- digital circuits
- operational semantics
- logical framework
- logic programs
- database systems