A Decision Procedure for Propositional N-Prolog.

Jörg Hudelmaier

Published in: ELP (1989)

Keyphrases

proof procedure
theorem proving
propositional logic
decision makers
horn clauses
programming language
logic programming
knowledge representation
decision problems
knowledge base
data mining
object oriented
general purpose
database
decision rules
first order logic
expert systems
real time