- 5 Ergebnisse
Kleinster Preis: € 52,46, größter Preis: € 100,09, Mittelwert: € 62,92
1
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Chitta Baral
Bestellen
bei ZVAB.com
€ 52,46
Versand: € 0,001
Bestellengesponserter Link
Chitta Baral:

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…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Chitta Baral
Bestellen
bei AbeBooks.de
€ 52,96
Versand: € 0,001
Bestellengesponserter Link

Chitta Baral:

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…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Baral, Chitta (Herausgeber); Terracina, Giorgio (Herausgeber); Leone, Nicola (Herausgeber); Greco, Gianluigi (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Baral, Chitta (Herausgeber); Terracina, Giorgio (Herausgeber); Leone, Nicola (Herausgeber); Greco, Gianluigi (Herausgeber):
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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Baral, Chitta (Herausgeber); Terracina, Giorgio (Herausgeber); Leone, Nicola (Herausgeber); Greco, Gianluigi (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 100,09
Versand: € 0,001
Bestellengesponserter Link
Baral, Chitta (Herausgeber); Terracina, Giorgio (Herausgeber); Leone, Nicola (Herausgeber); Greco, Gianluigi (Herausgeber):
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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Logic Programming and Nonmonotonic Reasoning
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Logic Programming and Nonmonotonic Reasoning - Taschenbuch

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…

3540285385. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)

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

This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005.The 25 revised full papers, 16 revised for the system and application tracks presented together with 3 invited papers were carefully reviewed and selected for presentation. Among the topics addressed are semantics of new and existing languages; relationships between formalisms; complexity and expressive power; LPNMR systems: development of inference algorithms and search heuristics, updates and other operations, uncertainty, and applications in planning, diagnosis, system descriptions, comparisons and evaluations; software engineering, decision making, and other domains; LPNMR languages: extensions by new logical connectives and new inference capabilities, applications in data integration and exchange systems, and methodology of representing knowledge.

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.

< zum Archiv...