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 /: Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers. (2018)

• Record Type: Book
• Other Titles: DECLARE 2017
• Further Information: Note: Edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
• Editors: Seipel, Dietmar; Hanus, Michael, 1959-; Abreu, Salvador, 1961-
• Other Names: DECLARE (Conference); International Conference on Applications of Declarative Programming and Knowledge Management, 21st; WLP (Workshop), 31st; WFLP (Workshop), 25th
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (x, 215 pages), illustrations
• Subjects: 005.1/15; Computer science; Declarative programming -- Congresses; Computers -- Programming -- General; Computers -- Software Development & Engineering -- General; Computers -- Programming -- Algorithms; Computer programming / software development; Software Engineering; Mathematical theory of computation; Artificial intelligence; Software engineering; Electronic data processing; Logic design; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books
• Languages: English
• ISBNs: 9783030008017; 3030008010
• Related ISBNs: 9783030008000
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 4, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.