default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI*IA 1999: Bologna
- Evelina Lamma, Paola Mello:
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
Knowledge Representation
- Daniele Nardi, Riccardo Rosati
:
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. 1-12 - Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Description Logic for Image Retrieval. 13-24 - Peter J. F. Lucas:
Certainty-Factor-Like Structures in Bayesian Networks. 25-36 - Linda C. van der Gaag, Veerle M. H. Coupé:
Sensitive Analysis for Threshold Decision Making with Bayesian Belief Networks. 37-48
Automated Reasoning
- Fariba Sadri, Francesca Toni:
Abduction with Negation as Failure for Active and Reactive Rules. 49-60 - Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni:
An Implementation for Abductive Logic Agents. 61-71 - Michela Milano, Andrea Roli:
Solving the Satisfiability Problem through Boolean Networks. 72-83 - Enrico Giunchiglia, Roberto Sebastiani:
Applying the Davis-Putnam Procedure to Non-clausal Formulas. 84-94 - Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics. 95-106 - Nicola Leone, Simona Perri, Pasquale Rullo:
Local Search Techniques for Disjunctive Logic Programs. 107-118 - Guido Governatori, Alessandro Luppi:
Labelled Tableaux for Non-normal Modal Logics. 119-130
Temporal and Qualitative Reasoning
- Massimo Franceschet, Angelo Montanari:
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. 131-142 - Amedeo Cesta, Angelo Oddi, Angelo Susi:
TimeNetManager - A Software Tool for Generating Random Temporal Networks. 143-154 - Silvana Badaloni, Massimiliano Giacomin:
A Fuzzy Extension of Allen's Interval Algebra. 155-165 - Andrea Panati:
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems. 166-177
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 - Floriana Esposito, Donato Malerba, Luigi Di Pace, Pietro Leo:
A Machine Learning Approach to Web Mining. 190-201 - Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini:
Experiences with a Logic-Based Knowledge Discovery Support Environment. 202-213 - Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi, Stefano Ferilli:
Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process. 214-225 - 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
Natural Language and WWW Interfaces
- Emanuele Pianta, Lucia M. Tovena:
XIG: Generating from Interchange Format Using Mixed Representations. 238-248 - Clara Bagnasco, Amedeo Cappelli, Bernardo Magnini, Diego Zamatteo:
Natural Language Access to Public Administration Data: The TAMIC-P System. 249-260 - Liliana Ardissono, Luca Console, Ilaria Torre:
On the Application of Personalization Techniques to News Servers on the WWW. 261-272
Multi-agent Systems
- Rino Falcone, Cristiano Castelfranchi:
Levels of Delegation and Levels of Adoption as the Basis for Adjustable Autonomy. 273-284 - Alessandro Agostini:
Notes on Formalizing Coordination. 285-296 - Ndedi D. Monekosso, Paolo Remagnino:
Autonomous Spacecraft Resource Management: A Multi-agent Approach. 297-308 - Paolo Remagnino, James Orwell, Graeme A. Jones:
Multi-agent Scene Interpretation. 309-320 - Francesco Amigoni, Mauro Villa:
An Algorithm for Recruitment of Agents in Agency Design. 321-332
Perception and Robotics
- Antonio Chella, Marcello Frixione, Salvatore Gaglio:
Towards a Conceptual Representation of Actions. 333-344 - Giovanni Adorni, Stefano Cagnoni, Monica Mordonini:
Cellular Automata Based Inverse Perspective Transform as a Tool for Indoor Robot Navigation. 345-355
Planning and Scheduling
- Alfonso Gerevini, Ivan Serina:
On Plan Adaption through Planning Graph Analysis. 356-367 - Maurizio Piaggio, Antonio Sgorbissa:
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach. 368-379 - Andrea Schaerf, Amnon Meisels:
Solving Employee Timetabling Problems by Generalized Local Search. 380-389
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.
last updated on 2024-11-27 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
