Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /

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 (Constra...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hanus, Michael (Editor ), Rocha, Ricardo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:Lecture Notes in Artificial Intelligence, 8439
Temas:
Artificial intelligence.
Computer programming.
Computer science.
Computer science-Mathematics.
Artificial Intelligence.
Programming Techniques.
Theory of Computation.
Mathematical Applications in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares