Merkzettel Warenkorb
  • Produktbild: Applications of Declarative Programming and Knowledge Management
  • Produktbild: Applications of Declarative Programming and Knowledge Management
Band 7773

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.11.2013

Abbildungen

XIII, 365 p. 67 illus.

Herausgeber

Hans Tompits + weitere

Verlag

Springer Berlin

Seitenzahl

365

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41523-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.11.2013

Abbildungen

XIII, 365 p. 67 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

365

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41523-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Applications of Declarative Programming and Knowledge Management
  • Produktbild: Applications of Declarative Programming and Knowledge Management

  • 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.