Model Generation for Horn Logic with Stratified Negation.

Ethan K. Jackson Wolfram Schulte

Published in: FORTE (2008)

Keyphrases

horn logic
propositional logic
belief change
horn clauses
logic programs
logic programming
fixpoint
belief revision
horn contraction
ontological reasoning
machine learning
multi agent
deductive databases
first order logic
natural language processing
domain knowledge
expert systems
knowledge base