Volume 19, Number 1, 2006
: Evolutionary concept learning in First Order Logic: An overview.
: Automatic ontology generation from Web tabular structures.
: Efficient decision procedures for the integration of planning and formal verification in advanced systems.
Volume 19, Number 2, 2006
: The CADE-20 Automated Theorem Proving Competition.
: Propositional satisfiability: Techniques, algorithms and applications.
Volume 19, Number 3, 2006
Volume 19, Number 4, 2006
: Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems.
: An inductive logic programming approach to statistical relational learning.
: Learning user interests for user profiling in personal information agents.