Logics in Artificial Intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings - neues Buch
ISBN: 9783540495451
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 … Mehr…
hive.co.uk No. 9783540495451. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783540495451
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… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540495451
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… Mehr…
Springer.com Nr. 978-3-540-49545-1. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540495451
Logics in Artificial Intelligence - European Workshop JELIA '98 Dagstuhl Germany October 12-15 1998 Proceedings: ab 85.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer Berlin… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Logics in Artificial Intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings - neues Buch
ISBN: 9783540495451
; PDF; Computing > Computer science > Computer architecture & logic design, Springer Berlin Heidelberg
hive.co.uk No. 9783540495451. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Logics in Artificial Intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings - neues Buch
ISBN: 9783540495451
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 … Mehr…
ISBN: 9783540495451
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… Mehr…
ISBN: 9783540495451
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… Mehr…
ISBN: 9783540495451
Logics in Artificial Intelligence - European Workshop JELIA '98 Dagstuhl Germany October 12-15 1998 Proceedings: ab 85.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer Berlin… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logics in Artificial Intelligence
EAN (ISBN-13): 9783540495451
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-05-10T01:29:47+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-08-14T09:14:25+02:00 (Vienna)
ISBN/EAN: 9783540495451
ISBN - alternative Schreibweisen:
978-3-540-49545-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: furbach
Daten vom Verlag:
Autor/in: Farinas Luis Del Cerro; Ulrich Furbach
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logics in Artificial Intelligence - European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
Verlag: Springer; Springer Berlin
390 Seiten
Erscheinungsjahr: 2003-05-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 390 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Extension; Resolution; algorithms; artificial intelligence; boolean satisfiability problem; control; intelligence; knowledge representation; logic; logic programming; nonmonotonic reasoning; proof; proving; semantics; theorem proving; C; Artificial Intelligence; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Computer Science; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; BC
Logic Programming.- The Well-Founded Semantics Is the Principle of Inductive Definition.- Combining Introspection and Communication with Rationality and Reactivity in Agents.- Disjunctive Logic Program = Horn Program + Control Program.- Semantics of Partial-Order Programs.- Epistemic Logics.- Persistence and Minimality in Epistemic Logic.- Prohairetic Deontic Logic (PDL).- Phased Labeled Logics of Conditional Goals.- Theorem Proving.- Analysis of Distributed-Search Contraction-Based Strategies.- A Deduction Method Complete for Refutation and Finite Satisfiability.- Requirement-Based Cooperative Theorem Proving.- ?-Resolution: An Inference Rule for Regular Multiple-Valued Logics.- A Matrix Characterization for .- A Resolution Calculus for Dynamic Semantics.- Algorithms on Atomic Representations of Herbrand Models.- Non-monotonic Reasoning.- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.- An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem.- Towards State Update Axioms: Reifying Successor State Axioms.- Non-standard Logics.- A Mechanised Proof System for Relation Algebra Using Display Logic.- Relative Similarity Logics are Decidable: Reduction to FO2 with Equality.- A Conditional Logic for Belief Revision.- Implicates and Reduction Techniques for Temporal Logics.- A Logic for Anytime Deduction and Anytime Compilation.- Knowledge Representation.- On Knowledge, Strings, and Paradoxes.- Propositional Lower Bounds: Generalization and Algorithms.- Higher Order Logics.- Higher Order Generalization.- Invited Talks.- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary.- Towards Inference and Computation Mobility:The Jinni Experiment.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030195694 Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings Francesco Calimeri Editor (Calimeri, Francesco Leone, Nicola Manna, Marco)
- 9783030195694 Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings Francesco Calimeri Editor (Calimeri, Francesco Leone, Nicola Manna, Marco)
- 9783030195700 Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings Francesco Calimeri Editor (Francesco Calimeri; Nicola Leone; Marco Manna)
- 9780273088226 Ecai-90: Proceedings of the 9th European Conference on AI, Stockholm (Luigia Carlucci Aiello)
- 9780273087984 Ecai 88: Proceedings of the 8th European Conference on Artificial Intelligence: Proceedings of the Eighth Conference on Artificial Intelligence, Munich, August 1-5, 1988 (Ecai, Kodratoff, Yves, Ueberreiter, Birgit, Wimmer, Klaus-Peter)
< zum Archiv...