Many-Sorted First-Order Composition-Nominative Logic as Institution.
Alexey ChentsovPublished in: Comput. Sci. J. Moldova (2016)
Keyphrases
- linear temporal logic
- general logic programs
- horn clauses
- probabilistic logic
- first order logic
- finite model theory
- conditional logic
- logic programming
- predicate calculus
- modal logic
- sound and complete with respect
- quantifier free
- classical logic
- logic programs
- predicate logic
- logical theories
- higher order
- multi valued
- automated reasoning
- neural network
- web service composition
- classical first order logic
- higher education
- data sets
- causal theories
- rewrite systems
- multi agent systems
- proof theory
- knowledge representation
- set theory
- defeasible logic
- probability theory
- expressive power
- model checking