![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
AI*IA 2003: Pisa
- Amedeo Cappelli, Franco Turini:
AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings. Lecture Notes in Computer Science 2829, Springer 2003, ISBN 3-540-20119-X - Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito:
A Complete Subsumption Algorithm. 1-13 - Claudia Picardi:
Temporal Decision Trees for Diagnosis: An Extension. 14-26 - Guido Boella, Leendert W. N. van der Torre
:
Obligations as Social Constructs. 27-38 - Luca Anselma
, Diego Magro, Pietro Torasso:
Automatically Decomposing Configuration Problems. 39-52 - Francesca A. Lisi, Donato Malerba:
Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning. 53-64 - Nicola Fanizzi, Floriana Esposito, Stefano Ferilli, Giovanni Semeraro:
A Methodology for the Induction of Ontological Knowledge from Semantic Annotations. 65-77 - Alessandra Raffaetà, Chiara Renso, Franco Turini:
Qualitative Spatial Reasoning in a Logical Framework. 78-90 - Alfonso Gerevini
, Alessandro Saetti, Ivan Serina:
On Managing Temporal Information for Handling Durative Actions in LPG. 91-104 - Paolo Mancarella, Giacomo Terreni:
An Abductive Proof Procedure Handling Active Rules. 105-117 - Monica Bianchini
, Marco Gori, Lorenzo Sarti, Franco Scarselli
:
BackPropagation through Cyclic Structures. 118-129 - Roberto Pirrone, Antonio Chella
:
A Neural Architecture for Segmentation and Modelling of Range Data. 130-141 - Alessio Ceroni, Paolo Frasconi, Andrea Passerini, Alessandro Vullo:
A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction. 142-153 - Joaquín Pérez Ortega, Rodolfo A. Pazos, Héctor J. Fraire H., Laura Cruz Reyes
, Johnatan E. Pecero:
Adaptive Allocation of Data-Objects in the Web Using Neural Networks. 154-164 - Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari:
Improving the SLA Algorithm Using Association Rules. 165-175 - Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito:
Incremental Induction of Rules for Document Image Understanding. 176-188 - Roberto Esposito, Lorenza Saitta:
Explaining Bagging with Monte Carlo Theory. 189-200 - Massimiliano Pavan, Marcello Pelillo:
Pairwise Data Clustering Using Monotone Game Dynamics. 201-212 - Maurizio Atzori, Paolo Mancarella, Franco Turini:
Abduction in Classification Tasks. 213-224 - Miriam Baglioni
, Franco Turini:
MQL: An Algebraic Query Language for Knowledge Discovery. 225-236 - Miriam Baglioni
, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini:
Preprocessing and Mining Web Log Data for Web Personalization. 237-249 - Michelangelo Ceci, Annalisa Appice, Donato Malerba, Vincenzo Colonna:
Multi-relational Structural Bayesian Classifier. 250-261 - Laura Giordano, Alberto Martelli, Camilla Schwind:
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. 262-274 - Adam Szarowicz, Peter Forte:
Combining Intelligent Agents and Animation. 275-286 - Marco Alberti, Marco Gavanelli
, Evelina Lamma, Paola Mello, Paolo Torroni:
An Abductive Interpretation for Open Agent Societies. 287-299 - Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Conversation Protocols in a Logic-Based Agent Language. 300-311 - Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio:
Distributed Intelligent Management of Active Networks. 312-323 - Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni:
Planning under Uncertainty in Linear Time Logic. 324-335 - Marco Baioletti, Alfredo Milani, Valentina Poggioni:
Planning with Fuzzy Resources. 336-348 - Giuliano Armano
, Giancarlo Cherchi, Eloisa Vargiu
:
Planning by Abstraction Using HW[]. 349-361 - Federico Pecora, Amedeo Cesta:
The Role of Different Solvers in Planning and Scheduling Integration. 362-374 - Raffaele Bianco, Stefano Nolfi:
Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors. 375-384 - Silvio P. Sabatini, Fabio Solari:
An Early Cognitive Approach to Visual Motion Analysis. 385-397 - Marco Anelli, Alessandro Micarelli, Enver Sangineto
:
Content Based Image Retrieval for Unsegmented Images. 398-409 - Antonio Chella
, Rosario Sorbello, Daniele Ribaudo, Ignazio V. Finazzo, Leonardo Papuzza:
A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture. 410-422 - Emanuele Menegatti
, Mauro Zoccarato, Enrico Pagello
, Hiroshi Ishiguro:
Image-Based Monte-Carlo Localisation without a Map. 423-435 - Bernardo Magnini, Luciano Serafini, Manuela Speranza:
Making Explicit the Hidden Semantics of Hierarchical Classifications. 436-448 - Giorgio Vassallo, Giovanni Pilato, Andrea Maggio, Alessandro Puglisi, Salvatore Gaglio:
Sub-symbolic Encoding of Words. 449-461 - Cristina Bosco
, Vincenzo Lombardo:
A Relation-Based Schema for Treebank Annotation. 462-473 - Liliana Ardissono, Cristina Gena, Pietro Torasso, Fabio Bellifemine, A. Chiarotto, Angelo Difino, Barbara Negro:
Personalized Recommendation of TV Programs. 474-486 - Sung-Do Chi, Ye-Hwan Lim, Jong-Keun Lee, Jang-Se Lee, Soo-Chan Hwang, Byung-Heum Song:
A Simulation-Based Decision Support System for Forest Fire Fighting. 487-498 - Stefania Bandini, Sara Manzoni, Fabio Sartori:
Knowledge Maintenance and Sharing in the KM Context: The Case of P--Truck. 499-510 - Amedeo Cesta, Gabriella Cortellessa, Angelo Oddi
, Nicola Policella:
A CSP-Based Interactive Decision Aid for Space Mission Planning. 511-522 - Marco Cignini, Stefano Mizzaro, Carlo Tasso:
E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation. 523-535 - Paolo Terenziani
, Stefania Montani
, Alessio Bottrighi, Mauro Torchio, Gianpaolo Molino, Luca Anselma
, Gianluca Correndo:
Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach. 536-547 - Robert C. Moore:
Two Paradigms for Natural-Language Processing. 548 - Paolo Dario:
Robotics and AI: From Intelligent Robots to Neuro-robotics. 549
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.