Volume 25, Number 1, 2012
: The CADE-23 Automated Theorem Proving System Competition - CASC-23.
Volume 25, Number 2, 2012
, Toni Mancini
: 18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
, Luca Pulina
: Solving disjunctive temporal problems with preferences using maximum satisfiability.
Volume 25, Number 3, 2012
Volume 25, Number 4, 2012
: Agent-based modeling under partial and full knowledge learning settings to simulate financial markets.
: Planning as satisfiability with IPC simple preferences and action costs.
: Design and implementation of a fuzzy logic programming language using weak unification.
Fermín L. Cruz
: Feature-based opinion extraction: A practical, domain-adaptable approach.
: Computer vision methods for robot tasks: Motion detection, depth estimation and tracking.
Jose M. Such
: Enhancing privacy in Multi-agent Systems.
: Analysis and study on text representation to improve the accuracy of the normalized compression distance.
Francisco G. Bulnes
: Classification of periodical defects in inspection systems based on computer vision.
: Qualitative distances and qualitative description of images for indoor scene description and recognition in robotics.
Luciano H. Tamargo
: Knowledge dynamics in multi-agent systems: Plausibility, belief revision and forwarding information.