Coequational logic for accessible functors.

Daniel Schwencke

Published in: Inf. Comput. (2010)

Keyphrases

logic programming
classical logic
modal logic
neural network
predicate logic
multi valued
databases
decision making
logic programs
bayesian networks
database systems
inference rules
horn clauses
social networks
computational properties
asynchronous circuits
proof theory