New Added

AI*IA 99 : advances in artificial intelligence : 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 : selected papers

Like Score+7092

AI*IA 99 : advances in artificial intelligence : 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 : selected papers
Original Title AI*IA 99 : advances in artificial intelligence : 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 : selected papers
Author Associazione italiana per l’intelligenza artificiale. Congress (6th : 1999 : Bologna, Italy), Lamma, E. (Evelina), 1960-, Mello, P. (Paola), 1958-
Publication date

Topics Artificial intelligence, WWW, internet, planification, système multi-agent, apprentissage machine, langage naturel, raisonnement automatique, représentation connaissance, intelligence artificielle, Intelligence artificielle, Kunstmatige intelligentie, Inteligencia artificial (computacao), Inteligencia artificial (computacao), Intelligence artificielle
Publisher Berlin , New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
AI*IA 99: Advances in Artificial Intelligence: 6th Congress of Italian Association for Artificial Intelligence Bologna, Italy, September 14–17, 1999 Selected PapersAuthor: Evelina Lamma, Paola Mello Published by Springer Berlin Heidelberg ISBN: 978-3-540-67350-7 DOI: 10.1007/3-540-46238-4Table of Contents:Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled
A Description Logic for Image Retrieval
Certainty-factor-like Structures in Bayesian Networks
Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks
Abduction with Negation as Failure for Active and Reactive Rules
An Implementation for Abductive Logic Agents
Solving the Satisfiability Problem Through Boolean Networks
Applying the Davis-Putnam procedure to non-clausal formulas
The SAT-Based Approach for Classical Modal Logics
Local Search Techniques for Disjunctive Logic Programs
Labelled Tableaux for Non-Normal Modal Logics
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
TimeNetManager — A Software Tool for Generating Random Temporal Networks
A fuzzy extension of Allen’s Interval Algebra
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems
Relational Learning: Hard Problems and Phase Transitions
A Machine Learning Approach to Web Mining
Experiences with a Logic-based Knowledge Discovery Support Environment
Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process
Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the “Hidden” Activation FunctionsIncludes bibliographical references and indexGeneralized default logic: minimal knowledge, autoepistemic and default reasoning reconciled / D. Nardi and R. Rosati — A description logic for image retrieval / E. Di Sciascio, F. M. Donini and M. Mongiello — Certainty-factor-like structures in Bayesian networks / P. Lucas — Sensitivity analysis for threshold decision making with Bayesian belief networks / L. C. van der Gaag and V. M. H. Coupe — Abduction with negation as failure for active and reactive rules / F. Sadri and F. Toni — An implementation for abductive logic agents / A. Ciampolini, E. Lamma and P. Mello / [et al.] — Solving the satisfiability problem through boolean networks / M. Milano and A. Roli — Applying the Davis-Putnam procedure to non-clausal formulas / E. Giunchiglia and R. Sebastiani — The SAT-based approach for classical modal logics / E. Giunchiglia, F. Giunchiglia and A. Tacchella — Local search techniques for disjunctive logic programs / N. Leone, S. Perri and P. Rullo — Labelled tableaux for non-normal modal logics / G. Governatori and A. Luppi — Pairing transitive closure and reduction to efficiently reason about partially ordered events / M. Franceschet and A. Montanari — TimeNetManager — a software tool for generating random temporal networks / A. Cesta, A. Oddi and A. Susi — A fuzzy extension of Allen’s Interval Algebra / S. Badaloni and M. Giacomin — Non binary CSPs and heuristics for modeling and diagnosing dynamic systems / A. Panati — Relational learning: hard problems and phase transitions / M. Botta, A. Giordana and L. Saitta / [et al.] — A machine learning approach to web mining / F. Esposito, D. Malerba and L. Di Pace / [et al.] — Experiences with a logic-based knowledge discovery support environment / F. Giannotti, G. Manco and D. Pedreschi / [et al.] — Conceptual change in learning naive physics: the computational model as a theory revision process / F. Esposito, G. Semeraro and N. Fanizzi / [et al.] — Using the Hermite regression formula to design a neural architecture with automatic learning of the “hidden” activation functions / S. Gaglio, G. Pilato and F. Sorbello / [et al.] — XIG: generating from interchange format using mixed representations / E. Pianta and L. M. Tovena — Natural language access to public administration data: the TAMIC-P system / C. Bagnasco, A. Cappelli and B. Magnini / [et al.] — On the application of personalization techniques to news servers on the WWW / L. Ardissono, L. Console and I. Torre — Levels of delegation and levels of adoption as the basis for adjustable autonomy / R. Falcone and C. Castelfranchi — Notes on formalizing coordination / A. Agostini — Autonomous spacecraft resource management: a multi-agent approach / N. Monekosso and P. Remagnino — Multi-agent scene interpretation / P. Remagnino, J. Orwell and G. A. Jones — An algorithm for recruitment of agents in agency design / F. Amigoni and M. Villa — Towards a conceptual representation of actions / A. Chella, M. Frixione and S. Gaglio — Cellular automata based inverse perspective transform as a tool for indoor robot navigation / G. Adorni, S. Cagnoni and M. Mordonini — On plan adaptation through planning graph analysis / A. Gerevini and I. Serina — Real-time motion planning in autonomous vehicles: a hybrid approach / M. Piaggio and A. Sgorbissa — Solving employee timetabling problems by generalized local search / A. Schaerf and A. Meisels
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0