Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

BLITZANGEBOTE - nur heute so günstig!

Declarative Programming and Knowledge Management

Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Declarative Programming and Knowledge Management".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 59580729

Buch 51.36 €
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
lieferbar
versandkostenfrei

Bestellnummer: 59580729

Buch 51.36 €
In den Warenkorb
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-2%
Declarative Programming and Knowledge Management / Lecture Notes in Computer Science Bd.8439
Bd. 8439

Declarative Programming and Knowledge Management / Lecture Notes in Computer Science Bd.8439

0 Sterne
eBook

Statt 51.36 € 19

50.28 €

Download bestellen
Erschienen am 11.07.2014
sofort als Download lieferbar
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 15.08.2018
lieferbar
Applications of Evolutionary Computation

Applications of Evolutionary Computation

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 02.04.2012
lieferbar
Intelligent Computer Mathematics

Intelligent Computer Mathematics

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 27.06.2012
lieferbar
AI Approaches to the Complexity of Legal Systems

AI Approaches to the Complexity of Legal Systems

0 Sterne
Buch

87.73 €

In den Warenkorb
Erschienen am 23.10.2018
lieferbar
Deontic Logic in Computer Science

Deontic Logic in Computer Science

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 18.07.2012
lieferbar
Generalized Jeffrey Conditionalization

Generalized Jeffrey Conditionalization

Dirk Draheim

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 22.12.2017
lieferbar
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 29.06.2015
lieferbar
Logic, Language, and Computation

Logic, Language, and Computation

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 19.05.2015
lieferbar
Genetic Programming Theory and Practice II

Genetic Programming Theory and Practice II

0 Sterne
Buch

143.50 €

In den Warenkorb
lieferbar
Inductive Logic Programming

Inductive Logic Programming

0 Sterne
Buch

66.34 €

In den Warenkorb
Erschienen am 27.07.2012
lieferbar
Computer and Information Sciences

Computer and Information Sciences

0 Sterne
Buch

64.20 €

Vorbestellen
Erschienen am 24.09.2016
Voraussichtlich lieferbar in 3 Tag(en)
Automatic Generation of Combinatorial Test Data

Automatic Generation of Combinatorial Test Data

Jian Zhang, Zhiqiang Zhang, Feifei Ma

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 14.10.2014
lieferbar
Towards Integrative Machine Learning and Knowledge Extraction

Towards Integrative Machine Learning and Knowledge Extraction

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 29.10.2017
lieferbar
Similarity Search and Applications

Similarity Search and Applications

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 22.11.2017
lieferbar
The Semantic Web: ESWC 2017 Satellite Events

The Semantic Web: ESWC 2017 Satellite Events

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 08.11.2017
lieferbar
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

0 Sterne
Buch

53.49 €

Vorbestellen
Erschienen am 14.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Produktdetails
Produktinformationen zu „Declarative Programming and Knowledge Management “
Klappentext zu „Declarative Programming and Knowledge Management “
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.
Inhaltsverzeichnis zu „Declarative Programming and Knowledge Management “
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.- Sharing and Exchanging Data.- Propositional Encoding of Constraints over Tree-Shaped Data.- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.- On Axiomatic Rejection for the Description Logic ALC.- And Action! - Monoid Actions and (Pre)orders.- HEX-Programs with Existential Quantification.- Introducing Real Variables and Integer Objective Functions to Answer Set Programming.- Coverage Driven Test Generation and Consistency Algorithm.- A Datalog Engine for GPUs.- Towards Parallel Constraint-Based Local Search with the X10 Language.- Debate Games in Logic Programming.- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets.- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.- Heuristic Search Over Program Transformations.
Bibliographische Angaben

  • 2014, 251 Seiten, 51 Schwarz-Weiß-Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Herausgegeben von Hanus, Michael; Rocha, Ricardo
  • Verlag: Springer
  • ISBN-10: 3319089080
  • ISBN-13: 9783319089089
  • Erscheinungsdatum: 31.08.2014

Sprache:
Englisch
Kommentar zu "Declarative Programming and Knowledge Management"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Declarative Programming and Knowledge Management".

Kommentar verfassen
Andere Kunden kauften auch
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 15.08.2018
lieferbar
Applications of Evolutionary Computation

Applications of Evolutionary Computation

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 02.04.2012
lieferbar
Intelligent Computer Mathematics

Intelligent Computer Mathematics

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 27.06.2012
lieferbar
AI Approaches to the Complexity of Legal Systems

AI Approaches to the Complexity of Legal Systems

0 Sterne
Buch

87.73 €

In den Warenkorb
Erschienen am 23.10.2018
lieferbar
Deontic Logic in Computer Science

Deontic Logic in Computer Science

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 18.07.2012
lieferbar
Generalized Jeffrey Conditionalization

Generalized Jeffrey Conditionalization

Dirk Draheim

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 22.12.2017
lieferbar
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 29.06.2015
lieferbar
Logic, Language, and Computation

Logic, Language, and Computation

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 19.05.2015
lieferbar
Genetic Programming Theory and Practice II

Genetic Programming Theory and Practice II

0 Sterne
Buch

143.50 €

In den Warenkorb
lieferbar
Inductive Logic Programming

Inductive Logic Programming

0 Sterne
Buch

66.34 €

In den Warenkorb
Erschienen am 27.07.2012
lieferbar
Computer and Information Sciences

Computer and Information Sciences

0 Sterne
Buch

64.20 €

Vorbestellen
Erschienen am 24.09.2016
Voraussichtlich lieferbar in 3 Tag(en)
Automatic Generation of Combinatorial Test Data

Automatic Generation of Combinatorial Test Data

Jian Zhang, Zhiqiang Zhang, Feifei Ma

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 14.10.2014
lieferbar
Towards Integrative Machine Learning and Knowledge Extraction

Towards Integrative Machine Learning and Knowledge Extraction

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 29.10.2017
lieferbar
Similarity Search and Applications

Similarity Search and Applications

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 22.11.2017
lieferbar
The Semantic Web: ESWC 2017 Satellite Events

The Semantic Web: ESWC 2017 Satellite Events

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 08.11.2017
lieferbar
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

0 Sterne
Buch

53.49 €

Vorbestellen
Erschienen am 14.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Weitere Empfehlungen zu „Declarative Programming and Knowledge Management “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Declarative Programming and Knowledge Management“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung