AI*IA 1999:
Bologna
Evelina Lamma, Paola Mello (Eds.):
AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings.
Lecture Notes in Computer Science 1792 Springer 2000, ISBN 3-540-67350-4 BibTeX
@proceedings{DBLP:conf/aiia/1999,
editor = {Evelina Lamma and
Paola Mello},
title = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of
the Italian Association for Artificial Intelligence, Bologna,
Italy, September 14-17, 1999, Proceedings},
booktitle = {AI*IA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1792},
year = {2000},
isbn = {3-540-67350-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Knowledge Representation
Automated Reasoning
- Fariba Sadri, Francesca Toni:
Abduction with Negation as Failure for Active and Reactive Rules.
49-60
Electronic Edition (Springer LINK) BibTeX
- Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni:
An Implementation for Abductive Logic Agents.
61-71
Electronic Edition (Springer LINK) BibTeX
- Michela Milano, Andrea Roli:
Solving the Satisfiability Problem through Boolean Networks.
72-83
Electronic Edition (Springer LINK) BibTeX
- Enrico Giunchiglia, Roberto Sebastiani:
Applying the Davis-Putnam Procedure to Non-clausal Formulas.
84-94
Electronic Edition (Springer LINK) BibTeX
- Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics.
95-106
Electronic Edition (Springer LINK) BibTeX
- Nicola Leone, Simona Perri, Pasquale Rullo:
Local Search Techniques for Disjunctive Logic Programs.
107-118
Electronic Edition (Springer LINK) BibTeX
- Guido Governatori, Alessandro Luppi:
Labelled Tableaux for Non-normal Modal Logics.
119-130
Electronic Edition (Springer LINK) BibTeX
Temporal and Qualitative Reasoning
Machine Learning,
Data Mining and Theory Revision
- Marco Botta, Attilio Giordana, Lorenza Saitta, Michèle Sebag:
Relational Learning: Hard Problems and Phase Transitions.
178-189
Electronic Edition (Springer LINK) BibTeX
- Floriana Esposito, Donato Malerba, Luigi Di Pace, Pietro Leo:
A Machine Learning Approach to Web Mining.
190-201
Electronic Edition (Springer LINK) BibTeX
- Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini:
Experiences with a Logic-Based Knowledge Discovery Support Environment.
202-213
Electronic Edition (Springer LINK) BibTeX
- Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi, Stefano Ferilli:
Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process.
214-225
Electronic Edition (Springer LINK) BibTeX
- Salvatore Gaglio, Giovanni Pilato, Filippo Sorbello, Giorgio Vassallo:
Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the "Hidden" Activation Functions.
226-237
Electronic Edition (Springer LINK) BibTeX
Natural Language and WWW Interfaces
Multi-agent Systems
Perception and Robotics
Planning and Scheduling
Copyright © Sat May 16 22:57:11 2009
by Michael Ley (ley@uni-trier.de)
