Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Wolfgang Faber,Gerhard Friedrich,Martin Gebser,Michael Morak
Publsiher: Springer
Total Pages: 428
Release: 2021-06-23
ISBN: 9783030757748
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Farinas Luis Del Cerro,Ulrich Furbach
Publsiher: Springer
Total Pages: 390
Release: 2003-05-20
ISBN: 3540495452
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

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.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Jose Julio Alferes,Luis Moniz Pereira,Ewa Orlowska,Portugal) European Workshop Jelia 9 (1996 Evora
Publsiher: Springer Science & Business Media
Total Pages: 416
Release: 1996-08-28
ISBN: 9783540616306
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

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.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Manuel Ojeda-Aciego,Inma P. de Guzman,Gerhard Brewka,Luis M. Pereira
Publsiher: Springer Science & Business Media
Total Pages: 406
Release: 2000-09-20
ISBN: 3540411313
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Luis Fariñas del Cerro,Andreas Herzig,Jérôme Mengin
Publsiher: Springer
Total Pages: 498
Release: 2012-09-07
ISBN: 3642333532
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Eduardo Fermé,Joao Leite
Publsiher: Springer
Total Pages: 704
Release: 2014-09-16
ISBN: 3319115588
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Michael Fisher,Wiebe van der Hoek,Boris Konev,Alexei Lisitsa
Publsiher: Springer
Total Pages: 520
Release: 2006-09-14
ISBN: 3540396276
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

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.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Steffen Hölldobler,Carsten Lutz,Heinrich Wansing
Publsiher: Springer Science & Business Media
Total Pages: 428
Release: 2008-09-19
ISBN: 3540878025
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

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.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: JELIA 2002
Publsiher: Springer Science & Business Media
Total Pages: 572
Release: 2002-09-11
ISBN: 3540441905
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002. The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Loizos Michael,Antonis Kakas
Publsiher: Springer
Total Pages: 586
Release: 2016-11-27
ISBN: 9783319487571
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

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.

Philosophical Logic and Artificial Intelligence

Philosophical Logic and Artificial Intelligence
Author: Richmond H. Thomason
Publsiher: Springer Science & Business Media
Total Pages: 222
Release: 2012-12-06
ISBN: 9400924488
Category: Philosophy
Language: EN, FR, DE, ES & NL

Philosophical Logic and Artificial Intelligence Book Excerpt:

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis 'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume . . Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo tivated by similar considerations: work in modal logic (includ ing tense, deontic, and epistemic logic), intensional logics, non declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation.

Logics for Artificial Intelligence

Logics for Artificial Intelligence
Author: Raymond Turner
Publsiher: Ellis Horwood
Total Pages: 136
Release: 1984
ISBN: 1928374650XXX
Category: Artificial intelligence
Language: EN, FR, DE, ES & NL

Logics for Artificial Intelligence Book Excerpt:

In Logics for Artificial Intelligence, Raymond Turner leads us on a whirl-wind tour of nonstandard logics and their general applications to Al and computer science

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Steffen Hölldobler,Carsten Lutz,Heinrich Wansing
Publsiher: Springer
Total Pages: 429
Release: 2008-09-25
ISBN: 3540878033
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

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.

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Anonim
Publsiher: Unknown
Total Pages: 135
Release: 2004
ISBN: 1928374650XXX
Category: Artificial intelligence
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

Logics in Artificial Intelligence

Logics in Artificial Intelligence
Author: Sergio Flesca,Giovambattista Ianni
Publsiher: Springer
Total Pages: 567
Release: 2003-08-06
ISBN: 3540457577
Category: Computers
Language: EN, FR, DE, ES & NL

Logics in Artificial Intelligence Book Excerpt:

This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.

Logic for Programming Artificial Intelligence and Reasoning

Logic for Programming  Artificial Intelligence  and Reasoning
Author: Christian G. Fermüller,Andrei Voronkov
Publsiher: Springer
Total Pages: 656
Release: 2010-10-05
ISBN: 3642162428
Category: Computers
Language: EN, FR, DE, ES & NL

Logic for Programming Artificial Intelligence and Reasoning Book Excerpt:

Annotation. This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

Logic for Programming Artificial Intelligence and Reasoning

Logic for Programming  Artificial Intelligence  and Reasoning
Author: Christian Fermèuller,Andrei Voronkov
Publsiher: Springer Science & Business Media
Total Pages: 656
Release: 2010-09-27
ISBN: 364216241X
Category: Computers
Language: EN, FR, DE, ES & NL

Logic for Programming Artificial Intelligence and Reasoning Book Excerpt:

This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10–15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo? Sutcli?e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ¨ ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members; 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting ?nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the ?rst time in the ARCoSS subline of the Lecture Notes in Computer Science.

Logic for Programming Artificial Intelligence and Reasoning

Logic for Programming  Artificial Intelligence  and Reasoning
Author: Miki Hermann,Andrei Voronkov
Publsiher: Springer Science & Business Media
Total Pages: 592
Release: 2006-10-23
ISBN: 3540482814
Category: Computers
Language: EN, FR, DE, ES & NL

Logic for Programming Artificial Intelligence and Reasoning Book Excerpt:

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.

Logic for Artificial Intelligence and Information Technology

Logic for Artificial Intelligence and Information Technology
Author: Dov M. Gabbay
Publsiher: Unknown
Total Pages: 584
Release: 2007
ISBN: 9781904987390
Category: Computers
Language: EN, FR, DE, ES & NL

Logic for Artificial Intelligence and Information Technology Book Excerpt:

Logic for Artificial Intelligence and Information Technology is based on student notes used to teach logic to second year undergraduates and Artificial Intelligence to graduate students at the University of London since1984, first at Imperial College and later at King's College. Logic has been applied to a wide variety of subjects such as theoretical computer science, software engineering, hardware design, logic programming, computational linguistics and artificial intelligence. In this way it has served to stimulate the research for clear conceptual foundations. Over the past 20 years many extensions of classical logic such as temporal, modal, relevance, fuzzy, probabilistic and non-monotoinic logics have been widely used in computer science and artificial intelligence, therefore requiring new formulations of classical logic, which can be modified to yield the effect of the new applied logics. The text introduces classical logic in a goal directed way which can easily deviate into discussing other applied logics. It defines the many types of logics and differences between them. Dov Gabbay, FRSC, FAvH, FRSA, FBCS, is Augustus De Morgan Professor of Logic at the University of London. He has written over 300 papers in logic and over 20 books. He is Editor-in-Chief of several leading journals and has published over 50 handbooks of logic volumes. He is a world authority on applied logics and is one of the directors and founder of the UK charity the International Federation of Computational Logic

Deontic Logic and Artificial Normative Systems

Deontic Logic and Artificial Normative Systems
Author: Lou Goble,John-Jules Ch. Meyer
Publsiher: Springer
Total Pages: 278
Release: 2006-07-02
ISBN: 3540358439
Category: Computers
Language: EN, FR, DE, ES & NL

Deontic Logic and Artificial Normative Systems Book Excerpt:

This book constitutes the refereed proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, held in Utrecht, Netherlands in July 2006. Presents 18 revised full papers together with the abstracts of 3 invited talks. The papers are devoted to the relationship between normative concepts and computer science, artificial intelligence, philosophy, organization theory, and law. Special emphasis is placed on artificial normative systems.