- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 57,71, Mittelwert: € 55,17
1
Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings - Thomas Eiter
Bestellen
bei ZVAB.com
€ 57,71
Versand: € 19,991
Bestellen
Details beim Anbieter
gesponserter Link
Thomas Eiter:

Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings - Taschenbuch

2001, ISBN: 3540425934

[EAN: 9783540425939], Livro novo, [SC: 19.99], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIKPROGRAMMIERUNG; PROLOG; LEARNING; MODELCHECKING; NONM… Mehr…

NEW BOOK. Versandkosten: EUR 19.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [qualificação: 5 (de 5)]
zuklappen (X)
2
Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings - Eiter, Thomas (Herausgeber); Trusczynksi, Miroslaw (Herausgeber); Faber, Wolfgang (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Eiter, Thomas (Herausgeber); Trusczynksi, Miroslaw (Herausgeber); Faber, Wolfgang (Herausgeber):

Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings - neues Buch

2001, ISBN: 3540425934

2001 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Theoretische Inf… 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
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic Programming and Nonmonotonic Reasoning - Taschenbuch

2001

ISBN: 9783540425939

*Logic Programming and Nonmonotonic Reasoning* - 6th International Conference LPNMR 2001 Vienna Austria September 17-19 2001. Proceedings. Auflage 2001 / Taschenbuch für 53.49 € / Aus dem… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
4
Logic Programming and Nonmonotonic Reasoning
Bestellen
bei Hugendubel.de
€ 53,49
Bestellen
Details und Versand
gesponserter Link
Logic Programming and Nonmonotonic Reasoning - Taschenbuch

2001, ISBN: 9783540425939

*Logic Programming and Nonmonotonic Reasoning* - 6th International Conference LPNMR 2001 Vienna Austria September 17-19 2001. Proceedings. Auflage 2001 / Taschenbuch für 53.49 € / Aus dem… Mehr…

Versandkosten:Does not ship to your country., zzgl. Versandkosten
zuklappen (X)
5
Logic Programming and Nonmonotonic Reasoning
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic Programming and Nonmonotonic Reasoning - neues Buch

ISBN: 9783540425939

There is currently no description available, Springer

Nr. 978-3-540-42593-9. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
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:

9783540425939


This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.

Detailangaben zum Buch - Logic Programming and Nonmonotonic Reasoning


EAN (ISBN-13): 9783540425939
ISBN (ISBN-10): 3540425934
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin Heidelberg
472 Seiten
Gewicht: 0,707 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-02-15T18:16:41+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-29T10:26:55+01:00 (Vienna)
ISBN/EAN: 9783540425939

ISBN - alternative Schreibweisen:
3-540-42593-4, 978-3-540-42593-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wolfgang, wynsen faber
Titel des Buches: proceedings the 6th international conference, logic programming artificial intelligence reasoning, nonmonotonic logic, lecture notes artificial intelligence, who who austria, new vienna now, september, 2001

Daten vom Verlag:

Autor/in: Thomas Eiter; Wolfgang Faber; Miroslaw Trusczynksi
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings
Verlag: Springer; Springer Berlin
454 Seiten
Erscheinungsjahr: 2001-09-05
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 454 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Prolog; learning; logic; model checking; nonmonotonic reasoning; programming; semantics; Software Engineering; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Künstliche Intelligenz; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA

Invited Papers.- A Computational Logic Approach to Heterogenous Agent Systems.- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto.- On The Complexity of Model Checking and Inference in Minimal Models.- Data Integration Needs Reasoning.- Nonmonotomic Inductive Logic Programming.- Regular Papers.- Strong Equivalence for Logic Programs and Default Theories (Made Easy).- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.- On the Expressibility of Stable Logic Programming.- On the Relationship between Defeasible Logic and Well-Founded Semantics.- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs.- Reasoning with Open Logic Programs.- Representation of Incomplete Knowledge by Induction of Default Theories.- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules.- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming.- Bounded LTL Model Checking with Stable Models.- Diagnosing Physical Systems in A-Prolog.- Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach.- Encoding Solutions of the Frame Problem in Dynamic Logic.- ?-RES: Reasoning about Actions, Events and Observations.- Omega-Restricted Logic Programs.- Improving ASP Instantiators by Join-Ordering Methods.- Optimizing the Computation of Heuristics for Answer Set Programming Systems.- New Generation Systems for Non-monotonic Reasoning.- Algorithms for Computing X-Minimal Models.- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.- Multi-adjoint Logic Programming with Continous Semantics.- Multi-dimensional Dynamic KnowledgeRepresentation.- Antitonic Logic Programs.- System Description.- A-system: Declarative Programming with Abduction.- An Update Front-End for Extended Logic Programs.- aspps — An Implementation of Answer-Set Programming with Propositional Schemata.- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics.- plp: A Generic Compiler for Ordered Logic Programs.- Prototypes for Reasoning with Infinite Stable Models and Function Symbols.- psmodels: Stable Models Based on Pertinence.- System Description: DLV.- System Description: The DLVK Planning System.- The Smodels System.- The USA-Advisor: A Case Study in Answer Set Planning.
Includes supplementary material: sn.pub/extras
< zum Archiv...