Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings - Taschenbuch
2002, ISBN: 3540441905
[EAN: 9783540441908], Neubuch, [SC: 9.02], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE ARTIFICIALAGENTS; COMPLEXITY; EVOLUTION; LO… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 9.02 Details... |
2002, ISBN: 9783540441908
TheEuropeanConferenceonLogicsinAIprovidesamajorbiennialforumforthe discussion of logic-oriented approaches to arti?cial intelligence. Following pre- ous workshops held in France (1988), T… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings - neues Buch
2002, ISBN: 3540441905
2002 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Computerprogrammierung und Softwareentwicklung, Künstlich… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2002, ISBN: 9783540441908
*Logics in Artificial Intelligence* - European Conference JELIA 2002 Cosenza Italy September 23-26 Proceedings. Auflage 2002 / Taschenbuch für 106.99 € / Aus dem Bereich: Bücher, Ratgeber… Mehr…
Hugendubel.de Versandkosten:Does not ship to your country., zzgl. Versandkosten Details... |
2002, ISBN: 9783540441908
Logics in Artificial Intelligence ab 112.49 € als Taschenbuch: European Conference JELIA 2002 Cosenza Italy September 23-26 Proceedings. Auflage 2002. Aus dem Bereich: Bücher, Ratgeber, C… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings - Taschenbuch
2002, ISBN: 3540441905
[EAN: 9783540441908], Neubuch, [SC: 9.02], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE ARTIFICIALAGENTS; COMPLEXITY; EVOLUTION; LO… Mehr…
2002, ISBN: 9783540441908
TheEuropeanConferenceonLogicsinAIprovidesamajorbiennialforumforthe discussion of logic-oriented approaches to arti?cial intelligence. Following pre- ous workshops held in France (1988), T… Mehr…
Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings - neues Buch
2002
ISBN: 3540441905
2002 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Computerprogrammierung und Softwareentwicklung, Künstlich… Mehr…
2002, ISBN: 9783540441908
*Logics in Artificial Intelligence* - European Conference JELIA 2002 Cosenza Italy September 23-26 Proceedings. Auflage 2002 / Taschenbuch für 106.99 € / Aus dem Bereich: Bücher, Ratgeber… Mehr…
2002, ISBN: 9783540441908
Logics in Artificial Intelligence ab 112.49 € als Taschenbuch: European Conference JELIA 2002 Cosenza Italy September 23-26 Proceedings. Auflage 2002. Aus dem Bereich: Bücher, Ratgeber, C… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logics in Artificial Intelligence
EAN (ISBN-13): 9783540441908
ISBN (ISBN-10): 3540441905
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
588 Seiten
Gewicht: 0,877 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2009-02-05T17:17:52+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-07-14T11:48:08+02:00 (Vienna)
ISBN/EAN: 9783540441908
ISBN - alternative Schreibweisen:
3-540-44190-5, 978-3-540-44190-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: leone sergio, leon, georg foster, pfeifer michael
Titel des Buches: european conference artificial intelligence, proceedings artificial intelligence conference, lecture notes artificial intelligence, cosenza, italy, art, computer
Daten vom Verlag:
Autor/in: Sergio Flesca; Giovambattista Ianni
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logics in Artificial Intelligence - European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings
Verlag: Springer; Springer Berlin
567 Seiten
Erscheinungsjahr: 2002-09-11
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 567 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Artificial intelligence; agents; complexity; evolution; intelligence; logic; multi-agent system; optimization; semantic web; semantics; uncertainty; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA
Multi-agent Systems.- A Logic Programming Language for Multi-agent Systems.- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.- An Argumentation Framework for Merging Conflicting Knowledge Bases.- Multi-agent Logics of Dynamic Belief and Knowledge.- Evolution and Changes.- Evolving Logic Programs.- A Compilation of Updates plus Preferences.- Description Logic and Semantic Web.- Towards Service Description Logics.- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web.- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.- Complexity Issues.- Polynomial-Length Planning Spans the Polynomial Hierarchy.- Complexity of Multi-agent Systems Behavior.- Complexity and Algorithms for the Matching of Bag and Set Terms.- Probabilistic Logic.- Non-commutativity and Expressive Deductive Logic Databases.- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.- Planning.- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.- Answer Set Planning under Action Costs.- Modal Logic and Causal Reasoning.- On Fibring Semantics for BDI Logics.- A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning.- Second-Order Quantifier Elimination in Modal Contexts.- Theory.- Interpolation Theorems for Nonmonotonic Reasoning Systems.- Minimal Answer Computation and SOL.- Decidability of Interval Temporal Logics over Split-Frames via Granularity.- Reasoning under Uncertainty.- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.- A Qualitative Reasoning with Nuanced Information.- Satisfiability.- Dependent and Independent Variables in Propositional Satisfiability.- A DPLL-Based Calculus for Ground SatisfiabilityModulo Theories.- Paraconsistent Reasoning.- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.- Three-Valued Logics for Inconsistency Handling.- Paraconsistent Logic Programs.- Actions and Causation.- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.- Reasoning about Actions in Prioritized Default Theory.- Towards a Conditional Logic of Actions and Causation.- Logics for Agents.- Axiomatising Nash-Consistent Coalition Logic.- Representing Possibilities in Relation to Constraints and Agents.- An Abductive Logic Programming Architecture for Negotiating Agents.- Semantics.- Preferred Answer Sets for Ordered Logic Programs.- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.- An Infinite-Valued Semantics for Logic Programs with Negation.- Optimization Issues in Answer Set Semantics.- More on noMoRe.- Answer Set Programming by Ant Colony Optimization.- Testing the Equivalence of Logic Programs under Stable Model Semantics.- System Session.- Argumentative Reasoning with ABEL.- COBA: A Consistency-Based Belief Revision System.- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.- : Integrating Data Mining with Intelligent Query Answering.- NoMoRe: Non-monotonic Reasoning with Logic Programs.- Process Miner — A Tool for Mining Process Schemes from Event-Based Data.- SMILES: A Multi-purpose Learning System.- The aspps System.- The DLV System.- The DLVK Planning System: Progress Report.- Z-log: Applying System-Z.- Invited Talks.- Hypergraph Transversal Computation and Related Problems in Logic and AI.- Alternation.- The USA-Advisor: A Case Study in Answer Set Programming.Includes supplementary material: sn.pub/extras
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...