Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008390980/catalog> ?p ?o. }

Showing items 1 to 35 of 35 with 100 items per page.

catalog alternative "AIIA 99".
catalog alternative "Advances in artificial intelligence".
catalog contributor b11686541.
catalog contributor b11686542.
catalog contributor b11686543.
catalog created "2000.".
catalog date "2000".
catalog date "2000.".
catalog dateCopyrighted "2000.".
catalog description "Generalized 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 -- ".
catalog description "Includes bibliographical references and index.".
catalog description "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.] -- ".
catalog description "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.".
catalog description "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 -- ".
catalog extent "xi, 392 p. :".
catalog identifier "3540673504 (alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 1792. Lecture notes in artificial intelligence".
catalog isPartOf "Lecture notes in computer science ; 1792.".
catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
catalog issued "2000".
catalog issued "2000.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "006.3 21".
catalog subject "Artificial intelligence Congresses.".
catalog subject "Q334 .A88 1999".
catalog tableOfContents "Generalized 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 -- ".
catalog tableOfContents "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.] -- ".
catalog tableOfContents "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.".
catalog tableOfContents "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 -- ".
catalog title "AI*IA 99 : advances in artificial intelligence : 6th Congress ofItalian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 : selected papers / Evelina Lamma, Paolo Mello (eds.).".
catalog title "AIIA 99".
catalog title "Advances in artificial intelligence".
catalog type "Conference proceedings. fast".
catalog type "text".