An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras.
Uwe PetermannPublished in: MFCS (1989)
Keyphrases
- first order logic
- horn clauses
- function symbols
- theory revision
- logic programs
- classical first order logic
- spatial reasoning
- probabilistic reasoning
- theoretical framework
- higher order
- inference rules
- expressive power
- knowledge representation
- fixpoint
- logic programming
- von neumann
- general theory
- rough sets
- valued logic
- topological spaces