- 5 Ergebnisse
Kleinster Preis: € 32,29, größter Preis: € 105,23, Mittelwert: € 65,82
1
Bestellen
bei Indigo.ca
C$ 151,95
(ca. € 105,23)
Bestellen
Details und Versand
gesponserter Link

Logic Programming and Nonmonotonic Reasoning by Vladimir Lifschitz Paperback | Indigo Chapters - neues Buch

2004, ISBN: 9783540207214

The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Logic Programming and Nonmonotonic Reasoning 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings - Niemelä, Ilkka (Herausgeber); Lifschitz, Vladimir (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Niemelä, Ilkka (Herausgeber); Lifschitz, Vladimir (Herausgeber):

Logic Programming and Nonmonotonic Reasoning 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings - neues Buch

2003, ISBN: 354020721X

2004 Kartoniert / Broschiert Logikprogrammierung, Schluss (logisch), Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Künstliche Intelligenz, AI Erfüllbarkeitspr… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Logic Programming and Nonmonotonic Reasoning - Lifschitz, Vladimir Niemelae, Ilkka
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Lifschitz, Vladimir Niemelae, Ilkka:
Logic Programming and Nonmonotonic Reasoning - Taschenbuch

2003

ISBN: 9783540207214

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Papers.- Constrai… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
4
Logic Programming and Nonmonotonic Reasoning
Bestellen
bei Hugendubel.de
€ 85,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic Programming and Nonmonotonic Reasoning - Taschenbuch

2004, ISBN: 9783540207214

Logic Programming and Nonmonotonic Reasoning ab 85.49 € als Taschenbuch: 7th International Conference LPNMR 2004 Fort Lauderdale FL USA January 6-8 2004 Proceedings. Auflage 2004. Aus dem… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 35,01
(ca. € 32,29)
Versand: € 19,371
Bestellen
Details beim Anbieter
gesponserter Link
Editor-Vladimir Lifschitz; Editor-Ilkka Niemelä:
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings ... / Lecture Notes in Artificial Intelligence) - Taschenbuch

2004, ISBN: 9783540207214

Springer, 2004-02-12. Paperback. Good., Springer, 2004-02-12, 2.5

Versandkosten: EUR 19.37 Ergodebooks
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic Programming and Nonmonotonic Reasoning
Autor:
Titel:
ISBN-Nummer:

9783540207214


This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004.The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.

Detailangaben zum Buch - Logic Programming and Nonmonotonic Reasoning


EAN (ISBN-13): 9783540207214
ISBN (ISBN-10): 354020721X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin Heidelberg
365 Seiten
Gewicht: 0,573 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-17T17:46:30+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-24T09:10:09+01:00 (Zurich)
ISBN/EAN: 9783540207214

ISBN - alternative Schreibweisen:
3-540-20721-X, 978-3-540-20721-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: lifschitz, niemel, vladimir, ferraris
Titel des Buches: fort lauderdale, computer science, logic programming artificial intelligence reasoning, nonmonotonic logic, 7th international

Daten vom Verlag:

Autor/in: Vladimir Lifschitz; Ilkka Niemelä
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Verlag: Springer; Springer Berlin
370 Seiten
Erscheinungsjahr: 2003-12-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 370 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; AI logics; Erfüllbarkeitsproblem der Aussagenlogik; answer set programming; computational logics; constraint programming; knowledge-based systems; learning; logic; logic programming; logic-based programming; nonclassical logics; nonmonotonic reasoning; optimization; probabilistic reasoning; semantics; Software Engineering; Artificial Intelligence; Programming Techniques; Formal Languages and Automata Theory; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

Invited Papers.- Constraints and Probabilistic Networks: A Look At The Interface.- Toward A Universal Inference Engine.- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.- Regular Papers.- Semantics for Dynamic Logic Programming: A Principle-Based Approach.- Probabilistic Reasoning With Answer Sets.- Answer Sets: From Constraint Programming Towards Qualitative Optimization.- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.- Reasoning About Actions and Change in Answer Set Programming.- Almost Definite Causal Theories.- Simplifying Logic Programs Under Uniform and Strong Equivalence.- Towards Automated Integration of Guess and Check Programs in Answer Set Programming.- Towards Automated Integration of Guess and Check Programs in Answer Set Programming.- Graphs and Colorings for Answer Set Programming: Abridged Report.- Nondefinite vs. Definite Causal Theories.- Logic Programs With Monotone Cardinality Atoms.- Set Constraints in Logic Programming.- Verifying the Equivalence of Logic Programs in the Disjunctive Case.- Uniform Equivalence for Equilibrium Logic and Logic Programs.- Partial Stable Models for Logic Programs with Aggregates.- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs.- Using Criticalities as a Heuristic for Answer Set Programming.- Planning with Preferences Using Logic Programming.- Planning with Sensing Actions and Incomplete Information Using Logic Programming.- Deduction in Ontologies via ASP.- Strong Equivalence for Causal Theories.- Answer Set Programming with Clause Learning.- Properties of Iterated Multiple Belief Revision.- System Descriptions.- System Description: DLV with Aggregates.- GNT — A Solver for Disjunctive Logic Programs.-LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs.- DLV DB : Bridging the Gap between ASP Systems and DBMSs.- Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.- WSAT(CC) — A Fast Local-Search ASP Solver.- Smodels with CLP—A Treatment of Aggregates in ASP.- nlp: A Compiler for Nested Logic Programming.
< zum Archiv...