Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers - Taschenbuch
2013, ISBN: 3642415237
[EAN: 9783642415234], Neubuch, [PU: Springer Berlin Heidelberg], SAT; ARTIFICIALINTELLIGENCE; CONSTRAINTPROBLEMSOLVING; LOGICSOLVERS; PROGRAMTRANSFORMATION, Druck auf Anfrage Neuware - Pr… Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2013, ISBN: 9783642415234
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book constitutes revised selected papers of the 19th International Conference on Applications of Decl… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers - Taschenbuch
2011, ISBN: 9783642415234
Paperback / softback. New. This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 20… Mehr…
Biblio.co.uk |
Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers - Taschenbuch
2011, ISBN: 9783642415234
Springer, 2013. Paperback. New. 2013 edition. 330 pages. 9.25x6.10x0.86 inches., Springer, 2013, 6
Biblio.co.uk |
2013, ISBN: 9783642415234
Taschenbuch
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, Buch, Softcover, 2013, [PU: Sp… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Applications of Declarative Programming and Knowledge Management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers - Taschenbuch
2013, ISBN: 3642415237
[EAN: 9783642415234], Neubuch, [PU: Springer Berlin Heidelberg], SAT; ARTIFICIALINTELLIGENCE; CONSTRAINTPROBLEMSOLVING; LOGICSOLVERS; PROGRAMTRANSFORMATION, Druck auf Anfrage Neuware - Pr… Mehr…
Herausgegeben:Tompits, Hans; Abreu, Salvador; Oetsch, Johannes; Pührer, Jörg; Seipel, Dietmar; Umeda, Masanobu; Wolf, Armin:
Applications of Declarative Programming and Knowledge Management - Taschenbuch2013, ISBN: 9783642415234
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book constitutes revised selected papers of the 19th International Conference on Applications of Decl… Mehr…
Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers - Taschenbuch
2011
ISBN: 9783642415234
Paperback / softback. New. This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 20… Mehr…
Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers - Taschenbuch
2011, ISBN: 9783642415234
Springer, 2013. Paperback. New. 2013 edition. 330 pages. 9.25x6.10x0.86 inches., Springer, 2013, 6
2013, ISBN: 9783642415234
Taschenbuch
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, Buch, Softcover, 2013, [PU: Sp… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Applications of Declarative Programming and Knowledge Management
EAN (ISBN-13): 9783642415234
ISBN (ISBN-10): 3642415237
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2013-10-07T15:47:27+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-19T13:13:07+02:00 (Berlin)
ISBN/EAN: 9783642415234
ISBN - alternative Schreibweisen:
3-642-41523-7, 978-3-642-41523-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: johannes wolf, seipel, salvador, armin, hans wolf, abreu, johann wolf, tom wolf, arm, seip jörg, hans will, ötsch
Titel des Buches: programming application, knowledge, september, declara, applications management science, austria international, armin, vienna workshop
Daten vom Verlag:
Autor/in: Hans Tompits; Salvador Abreu; Johannes Oetsch; Jörg Pührer; Dietmar Seipel; Masanobu Umeda; Armin Wolf
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
Verlag: Springer; Springer Berlin
365 Seiten
Erscheinungsjahr: 2013-11-25
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 365 p. 67 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; SAT; artificial intelligence; constraint problem solving; logic solvers; program transformation; Artificial Intelligence; Programming Techniques; Computerprogrammierung und Softwareentwicklung; EA
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.- The Parameterized Complexity of Constraint Satisfaction and Reasoning.- Translating Nondeterministic Functional Language based on Attribute Grammars into Java.- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks.- A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases.- Translating Answer-Set Programs into Bit-Vector Logic.- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.- Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users.- Every Formula-Based Logic Program Has a Least Innite-Valued Model.- A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming.- A Descriptive Approach to Preferred Answer Sets.- Solving Modular Model Expansion: Case Studies.- FdCong: A Constraint-Based Interactive Product Congurator.- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation.- HEX-Programs with Nested Program Calls.- A prototype of a knowledge-based programming environment.- Computing with Logic as Operator Elimination: The ToyElim System.- Coprocessor - a Standalone SAT Preprocessor.- The SeaLion has Landed: An IDE for Answer-Set Programming Preliminary Report.- Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs.- Unit Testing in ASPIDE.
Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP Proceedings of the 25th Workshop on Logic Programming, WLP 2011 Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540321248 Applications of Declarative Programming and Knowledge Management (Oskar Bartenstein; Ulrich Geske; Michael Hanus; Dietmar Seipel)
- 9783540321248 Applications of Declarative Programming and Knowledge Management (Oskar Bartenstein; Ulrich Geske; Michael Hanus; Dietmar Seipel)
- 9783540809883 Applications of Declarative Programming and Knowledge Management (Dietmar Seipel; Michael Hanus; Ulrich Geske)
- 9783642006746 Applications of Declarative Programming and Knowledge Management (Herausgegeben:Seipel, Dietmar; Hanus, Michael; Wolf, Armin)
- 9783540255604 Applications of Declarative Programming and Knowledge Management (Dietmar Seipel; Michael Hanus; Ulrich Geske; Oskar Bartenstein)
- (Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WL) By Seipel, Dietmar (Author) Paperback on (05 , 2009) (Seipel, Dietmar)
< zum Archiv...