Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Taschenbuch
2005, ISBN: 3540285385
[EAN: 9783540285380], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN DATENSTRUKTUREN; EXTENSION; ALGORITHMS; COMPLEXITY; HEURISTICS; KNOWLEDGE; NONMONOT… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Taschenbuch
2005, ISBN: 3540285385
[EAN: 9783540285380], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN DATENSTRUKTUREN; EXTENSION; ALGORITHMS; COMPLEXITY; HEURISTICS; KNOWLEDGE; NONMONOTONICREASONI… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - neues Buch
2005, ISBN: 3540285385
2005 Kartoniert / Broschiert EDV / Theorie / Programmieren / Datenstrukturen, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Künstliche Intelligenz, extension;… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - neues Buch
2005, ISBN: 3540285385
2005 Kartoniert / Broschiert EDV / Theorie / Programmieren / Datenstrukturen, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Künstliche Intelligenz, extension;… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2005, ISBN: 9783540285380
*Logic Programming and Nonmonotonic Reasoning* - 8th International Conference LPNMR 2005 Diamante Italy September 5-8 2005 Proceedings. Auflage 2005 / Taschenbuch für 53.49 € / Aus dem Be… Mehr…
Hugendubel.de 3540285385. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Taschenbuch
2005, ISBN: 3540285385
[EAN: 9783540285380], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN DATENSTRUKTUREN; EXTENSION; ALGORITHMS; COMPLEXITY; HEURISTICS; KNOWLEDGE; NONMONOT… Mehr…
Chitta Baral:
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Taschenbuch2005, ISBN: 3540285385
[EAN: 9783540285380], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN DATENSTRUKTUREN; EXTENSION; ALGORITHMS; COMPLEXITY; HEURISTICS; KNOWLEDGE; NONMONOTONICREASONI… Mehr…
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - neues Buch
2005
ISBN: 3540285385
2005 Kartoniert / Broschiert EDV / Theorie / Programmieren / Datenstrukturen, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Künstliche Intelligenz, extension;… Mehr…
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - neues Buch
2005, ISBN: 3540285385
2005 Kartoniert / Broschiert EDV / Theorie / Programmieren / Datenstrukturen, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Künstliche Intelligenz, extension;… Mehr…
2005, ISBN: 9783540285380
*Logic Programming and Nonmonotonic Reasoning* - 8th International Conference LPNMR 2005 Diamante Italy September 5-8 2005 Proceedings. Auflage 2005 / Taschenbuch für 53.49 € / Aus dem Be… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming and Nonmonotonic Reasoning
EAN (ISBN-13): 9783540285380
ISBN (ISBN-10): 3540285385
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg
476 Seiten
Gewicht: 0,713 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-31T10:58:02+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-18T19:54:44+01:00 (Zurich)
ISBN/EAN: 9783540285380
ISBN - alternative Schreibweisen:
3-540-28538-5, 978-3-540-28538-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: leone, greco, baral, nico ter, michael angele
Titel des Buches: logic programming artificial intelligence reasoning, nonmonotonic logic
Daten vom Verlag:
Autor/in: Chitta Baral; Gianluigi Greco; Nicola Leone; Giorgio Terracina
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
Verlag: Springer; Springer Berlin
462 Seiten
Erscheinungsjahr: 2005-08-25
Berlin; Heidelberg; DE
Gewicht: 1,460 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIV, 462 p.
BC; Artificial Intelligence; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; Extension; algorithms; complexity; heuristics; knowledge; logic; nonmonotonic reasoning; programming; software engineering; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Software Engineering; Formal Languages and Automata Theory; Programming Techniques; Theoretische Informatik; Software Engineering; Computerprogrammierung und Softwareentwicklung; EA
Invited Papers.- Nonmonotonic Reasoning in FLORA-2.- Data Integration and Answer Set Programming.- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development.- ASP Foundations.- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates.- Loops: Relevant or Redundant?.- Approximating Answer Sets of Unitary Lifschitz-Woo Programs.- On Modular Translations and Strong Equivalence.- ASP Extensions.- Guarded Open Answer Set Programming.- External Sources of Computation for Answer Set Solvers.- Answer Sets for Propositional Theories.- Applications.- An ID-Logic Formalization of the Composition of Autonomous Databases.- On the Local Closed-World Assumption of Data-Sources.- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming.- Actions and Causations.- An Approximation of Action Theories of and Its Application to Conformant Planning.- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories.- Some Logical Properties of Nonmonotonic Causal Theories.- odular-?: An Elaboration Tolerant Approach to the Ramification and Qualification Problems.- Algorithms and Computation.- Platypus: A Platform for Distributed Answer Set Solving.- Solving Hard ASP Programs Efficiently.- Mode-Directed Fixed Point Computation.- Lookahead in Smodels Compared to Local Consistencies in CSP.- Foundations.- Nested Epistemic Logic Programs.- An Algebraic Account of Modularity in ID-Logic.- Default Reasoning with Preference Within Only Knowing Logic.- Semantics.- A Social Semantics for Multi-agent Systems.- Revisiting the Semantics of Interval Probabilistic Logic Programs.- Routley Semantics for Answer Sets.- The Well Supported Semantics for Multidimensional Dynamic Logic Programs.- Application Track.- Application of Smodels in Quartet Based Phylogeny Construction.- Using Answer Set Programming for a Decision Support System.- Data Integration: a Challenging ASP Application.- Abduction and Preferences in Linguistics.- Inference of Gene Relations from Microarray Data by Abduction.- System Track.- nomore: A System for Computing Preferred Answer Sets.- Integrating an Answer Set Solver into Prolog: - .- circ2dlp — Translating Circumscription into Disjunctive Logic Programming.- Pbmodels — Software to Compute Stable Models by Pseudoboolean Solvers.- KMonitor– A Tool for Monitoring Plan Execution in Action Theories.- The nomore++ System.- Smodels A — A System for Computing Answer Sets of Logic Programs with Aggregates.- A DLP System with Object-Oriented Features.- Testing Strong Equivalence of Datalog Programs – Implementation and Examples.- SELP – A System for Studying Strong Equivalence Between Logic Programs.- cmodels – SAT-Based Disjunctive Answer Set Solver.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783031157073 Logic Programming and Nonmonotonic Reasoning
- 9783031157073 Logic Programming and Nonmonotonic Reasoning
- 9783030205287 Logic Programming and Nonmonotonic Reasoning (Marcello Balduccini; Yuliya Lierler; Stefan Woltran)
- 0003540632557 Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture Notes in Computer Science) (Nerode, Anil, Fuhrbach, Ulrich, Dix, J??rgen)
- 9783030205270 Logic Programming and Nonmonotonic Reasoning (Balduccini, Marcello|Lierler, Yuliya|Woltran, Stefan)
- 9783319232638 Logic Programming and Nonmonotonic Reasoning (Francesco Calimeri; Giovambattista Ianni; Miroslaw Truszczynski)
< zum Archiv...