Login / Signup
Propositional Logic Syntax Acquisition Using Induction and Self-Organization.
Josefina Sierra-Santibáñez
Published in:
AAAI Fall Symposium: Interaction and Emergent Phenomena in Societies of Agents (2006)
Keyphrases
</>
propositional logic
first order logic
belief revision
possibilistic logic
multi agent
inductive logic programming
quantified boolean formulae
lattice theory
machine learning
predicate calculus
belief change
proof procedure
davis putnam
satisfiability testing
horn logic
natural language
propositional formulas