Concept Logics with Function Symbols.

Hans-Jürgen Bürckert Bernhard Hollunder Armin Laux

Published in: ECAI (1994)

Keyphrases

function symbols
first order logic
expressive power
inference rules
databases
logic programs
database
general purpose
modal logic
search algorithm
logic programming
normal form
horn clauses
equational theories