This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023.The 11 full papers and 1 short paper included in this book were c...Loe edasi...
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, name...Loe edasi...
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were...Loe edasi...
(Ilmumisaeg: 10-Jul-2009, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642027338)
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions....Loe edasi...
(Ilmumisaeg: 05-Sep-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540859277)
This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, held in Prague, Czech Republic, in September 2008.The 20 revised full papers presented together with the abstracts of 5 invi...Loe edasi...
James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey
Sari: Lecture Notes in Artificial Intelligence
(Ilmumisaeg: 10-Oct-2001, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540427162)
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.The 22 revised full papers presented together with 1...Loe edasi...
(Ilmumisaeg: 20-Oct-1999, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540666455)
This book constitutes the refereed proceedings of the 7th International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing, RSFDGrC99, held in Yamaguchi, Japan, in November 1999.The 45 revised regular papers and 15 revised...Loe edasi...
(Ilmumisaeg: 26-Aug-1998, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540649588)
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR97, held in Port Jefferson, NY, USA, in October 1997.The eight revised full papers presen...Loe edasi...
(Ilmumisaeg: 15-Oct-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540637004)
This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Linguistics, LACL 96, held in Nancy, France in April 1996.The volume presents 18 revised full paper...Loe edasi...
(Ilmumisaeg: 02-Jul-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540632559)
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with...Loe edasi...
Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska
Sari: Lecture Notes in Artificial Intelligence
(Ilmumisaeg: 28-Aug-1996, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540616306)
This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA 96, held in Evora, Portugal in September/October 1996.The 25 revised full papers included together with three invited papers w...Loe edasi...
(Ilmumisaeg: 12-Jun-1996, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540613145)
This book constitutes the refereed proceedings of the First Australian Workshop on Distributed Artificial Intelligence, held in Canberra, ACT, Australia, in November 1995.The 16 full papers included in the book are revised versions of the contrib...Loe edasi...
(Ilmumisaeg: 23-Nov-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540586982)
This monograph coherently presents a series of research results on concurrent production systems recently contributed by the author and several co-authors.Before going into the details of concurrent production systems the performance of a single...Loe edasi...
(Ilmumisaeg: 29-Jun-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540582410)
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL 94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of n...Loe edasi...
(Ilmumisaeg: 24-Jul-1990, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540528500)
Proceedings of KBCS 89, with papers on expert systems, intelligent tutoring systems, knowledge representation, logic programming, natural language understanding, reasoning, and KBCS project activities in India. This volume presents selected...Loe edasi...
