An Implementation of Equational Constructive Negation.

J. Piris María José Ramírez

Published in: GULP (1993)

Keyphrases

hidden markov models
horn clauses
data sets
logic programs
knowledge representation
logic programming
theorem proving
implementation details
artificial intelligence
decision making
case study
database systems