Vai al contenuto principale della pagina

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Edizione: 1st ed. 2018.
Descrizione fisica: 1 online resource (X, 215 p. 32 illus.)
Disciplina: 005.131
005.115
Soggetto topico: Artificial intelligence
Computer programming
Software engineering
Numerical analysis
Computer logic
Artificial Intelligence
Programming Techniques
Software Engineering
Numeric Computing
Logics and Meanings of Programs
Persona (resp. second.): SeipelDietmar
HanusMichael
AbreuSalvador
Nota di contenuto: Constraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained Objects -- Implementation of Logical Retraction in Constraint Handling Rules with Justifications -- The Proportional Constraint and Its Pruning -- An Operational Semantics for Constraint-logic Imperative Programming -- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving -- Declarative Systems -- Declarative Aspects in Explicative Data Mining for Computational Sensemaking -- An Approach for Representing Answer Sets in Natural Language -- Techniques for Efficient Lazy-Grounding ASP Solving -- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic Testing of Functional Logic Programs -- Declarative XML Schema Validation with SWI-Prolog -- plspec - A Specification Language for Prolog Data.
Sommario/riassunto: This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming. .
Titolo autorizzato: Declarative Programming and Knowledge Management  Visualizza cluster
ISBN: 3-030-00801-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910349404503321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Artificial Intelligence ; ; 10997
Recent advances in constraints : 12th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : Revised selected papaers / François Fages, Francesca Rossi, Sylvain Soliman (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2007 : <12.; : <2007
Recent advances in constraints : 13th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2008 : Rome, Italy, june 18-20, 2009 : Revised selected papaers / Angelo Oddi...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2008 : <13.; : <2008
Recent advances in constraints : 11th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2006 : Caparica, Portugal, June 26-28, 2006 : Revised selected and invited papers / François Azevedo...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2006 : <11.; : 2006
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli
BETTELLI, Oscar
Recent advances in constraints : joint ERCIM/CoLogNet international workshop on constraint solving and constraint logic programming, CSCLP 2005 : Uppsala, Sweden, June 20-22, 2005 / Brahim Hnich... [et al.] (Eds.) : revised selected and invited papers
International workshop on constraint solving and constraint logic programming : <2005