Volume 19,
Number 1,
2006
Volume 19,
Number 2,
2006
- Luigi Palopoli, Domenico Rosaci, Domenico Ursino:
Agents' roles in B2C e-commerce.
95-126
Electronic Edition (link) BibTeX
- Ignacio Herrero, Cristina Urdiales, Jose Manuel Peula, Isabel Sanchez-Tato, Francisco Sandoval Hernández:
A guided learning strategy for vision based navigation of 4-legged robots.
127-136
Electronic Edition (link) BibTeX
- Alfredo Garro, Luigi Palopoli, Francesco Ricca:
Exploiting agents in e-learning and skills management context.
137-154
Electronic Edition (link) BibTeX
- Francesco Ricca, Wolfgang Faber, Nicola Leone:
A backjumping technique for Disjunctive Logic Programming.
155-172
Electronic Edition (link) BibTeX
- Geoff Sutcliffe:
The CADE-20 Automated Theorem Proving Competition.
173-181
Electronic Edition (link) BibTeX
- Claudio Castellini:
Automated reasoning in quantified modal and temporal logics.
183-185
Electronic Edition (link) BibTeX
- Inês Lynce:
Propositional satisfiability: Techniques, algorithms and applications.
187-189
Electronic Edition (link) BibTeX
Volume 19,
Number 3,
2006
Volume 19,
Number 4,
2006
- Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski:
Tools for modeling and solving search problems.
301-312
Electronic Edition (link) BibTeX
- Roberto Micalizio, Pietro Torasso, Gianluca Torta:
On-line monitoring and diagnosis of a team of service robots: A model-based approach.
313-340
Electronic Edition (link) BibTeX
- Antonio Garrido Tejero, Eva Onaindia:
Domain-independent temporal planning in a planning-graph-based approach.
341-367
Electronic Edition (link) BibTeX
- Federica Cena, Luca Console, Cristina Gena, Anna Goy, Guido Levi, Sonia Modeo, Ilaria Torre:
Integrating heterogeneous adaptation techniques to build a flexible and usable mobile tourist guide.
369-384
Electronic Edition (link) BibTeX
- Nicola Dragoni:
Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems.
385-387
Electronic Edition (link) BibTeX
- Kristian Kersting:
An inductive logic programming approach to statistical relational learning.
389-390
Electronic Edition (link) BibTeX
- Daniela Godoy:
Learning user interests for user profiling in personal information agents.
391-394
Electronic Edition (link) BibTeX
- Giorgos Flouris:
On belief change in ontology evolution.
395-397
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:49:53 2009
by Michael Ley (ley@uni-trier.de)