Logics artificial intelligence european (51 Ergebnisse)

Softcover. 1992. VIII, 410 S. : graph. Darst. ; 25 cm Unread book. Very good condition. Slight traces of storage. 9783540558873 Sprache: Englisch Gewicht in Gramm: 1311.

paperback. Zustand: Good. minor wear and creasing cover warped.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Softcover. 1994. 432 Seiten ATTENTION 1994 EDITIOn!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540583325 Sprache: Englisch Gewicht in Gramm: 544.

Zustand: New. In English.

Paperback. Zustand: Brand New. 1998 edition. 390 pages. 9.25x6.25x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 417 pages. 9.50x6.25x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 2012 edition. 511 pages. 9.25x6.25x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 2014 edition. 720 pages. 9.00x6.00x1.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago. Afterwards, it took place in the Netherlands, Germany, United Kingdom, Portugal, and now again in Germany. The proceedings of the last four meetings appeared in the Springer-Verlag LNCS series, and a selected series of papers of the English and the Portuguese meeting appeared as special issues in the Journal of Applied Non-Classical Logics and in the Journal of Automated Reasoning, respectively. The aim of JELIA was and still is to provide a forum for the exchange of ideas and results in the domain of foundations of AI, focusing on rigorous descriptions of some aspects of intelligence. These descriptions are promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We would like to warmly thank the authors, the invited speakers, the m- bers of the program committee, and the additional reviewers listed below. They all have made these proceedings possible and ensured their quality.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- 'On Being Informed': Update Logics for Knowledge States.- Considerations on Updates of Logic Programs.- The Approach: Integrating Object Oriented Design and Formal Verification.- Semi-qualitative Reasoning about Distances: A Preliminary Report.- Regular Contributions.- Hybrid Probabilistic Logic Programs as Residuated Logic Programs.- Topo-distance: Measuring the Difference between Spatial Patterns.- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus.- Capturing Stationary and Regular Extensions with Reiter's Extensions.- Representing the Process Semantics in the Event Calculus.- Declarative Formalization of Strategies for Action Selection: Applications to Planning.- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases.- Acceptance Without Minimality.- Reduction Theorems for Boolean Formulas Using -Trees.- Simultaneous Rigid Sorted Unification.- Partially Adaptive Code Trees.- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments.- Credulous and Sceptical Argument Games for Preferred Semantics.- A General Approach to Multi-agent Minimal Knowledge.- A Modal Logic for Network Topologies.- Avoiding Logical Omniscience by Using Subjective Situations.- Multi-agent Logic.- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases.- Monodic Epistemic Predicate Logic.- Updates plus Preferences.- A Framework for Belief Update.- A Compilation of Brewka and Eiter's Approach to Prioritization.- A Logic for Modeling Decision Making with Dynamic Preferences.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Logics in Artificial Intelligence | 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings | Michael Fisher (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540396253 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logics in Artificial Intelligence | 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings | Steffen Hölldobler (u. a.) | Taschenbuch | xi | Englisch | 2008 | Springer | EAN 9783540878025 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Logics in Artificial Intelligence | 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings | Eduardo Fermé (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2014 | Springer | EAN 9783319115573 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logics in Artificial Intelligence | 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings | Loizos Michael (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2016 | Springer | EAN 9783319487571 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logics in Artificial Intelligence | 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings | Luis Fariñas Del Cerro (u. a.) | Taschenbuch | xiv | Englisch | 2012 | Springer | EAN 9783642333521 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Zustand: Brand New. 351 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware - 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 were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.…

Paperback. Zustand: Brand New. 404 pages. 9.25x6.10x9.21 inches. In Stock.

Zustand: New. In English.