Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
| Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIII, 365 p. 67 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Artificial Intelligence Programming Techniques |
| ISBN | 3-642-41524-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465432803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
| 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 / / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIII, 365 p. 67 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Artificial Intelligence Programming Techniques |
| ISBN | 3-642-41524-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910485037403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / / edited by Salvador Abreu, Dietmar Seipel
| Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / / edited by Salvador Abreu, Dietmar Seipel |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 239 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Artificial Intelligence Programming Techniques |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-20589-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465528503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Armin Wolf
| Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Armin Wolf |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 253 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer programming Programming Languages, Compilers, Interpreters Artificial Intelligence Programming Techniques |
| ISBN | 3-642-00675-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- A Guide for Manual Construction of Difference-List Procedures -- Constraints -- Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource -- Efficient Edge-Finding on Unary Resources with Optional Activities -- Encoding of Planning Problems and Their Optimizations in Linear Logic -- Constraint-Based Timetabling System for the German University in Cairo -- Databases and Data Mining -- Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming -- Causal Subgroup Analysis for Detecting Confounding -- Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining -- Extensions of Logic Programming -- Integrating Temporal Annotations in a Modular Logic Language -- Visual Generalized Rule Programming Model for Prolog with Hybrid Operators -- The Kiel Curry System KiCS -- Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics -- Java Type Unification with Wildcards -- System Demonstrations -- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc??? -- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. |
| Record Nr. | UNISA-996466020603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / / Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)
| Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / / Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 253 p.) |
| Disciplina | 005.13 |
| Altri autori (Persone) |
SeipelDietmar
HanusMichael WolfArmin |
| Collana |
Lecture notes in computer science
Lecture notes in artifical intelligence |
| Soggetto topico |
Declarative programming
Computer programming |
| ISBN | 3-642-00675-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- A Guide for Manual Construction of Difference-List Procedures -- Constraints -- Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource -- Efficient Edge-Finding on Unary Resources with Optional Activities -- Encoding of Planning Problems and Their Optimizations in Linear Logic -- Constraint-Based Timetabling System for the German University in Cairo -- Databases and Data Mining -- Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming -- Causal Subgroup Analysis for Detecting Confounding -- Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining -- Extensions of Logic Programming -- Integrating Temporal Annotations in a Modular Logic Language -- Visual Generalized Rule Programming Model for Prolog with Hybrid Operators -- The Kiel Curry System KiCS -- Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics -- Java Type Unification with Wildcards -- System Demonstrations -- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc??? -- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. |
| Record Nr. | UNINA-9910484562003321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
| Applications of Declarative Programming and Knowledge Management [[electronic resource] ] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 315 p.) |
| Disciplina | 005/.3/1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer programming Programming Languages, Compilers, Interpreters Artificial Intelligence Programming Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description Logics -- Declaratively Querying and Visualizing Knowledge Bases in Xml -- SQL Based Frequent Pattern Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-Based Language for Classification Queries -- Deductive and Inductive Reasoning on Spatio-Temporal Data -- Mining Semantic Structures in Movies -- Solving Alternating Boolean Equation Systems in Answer Set Programming -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints -- Realising the Alternative Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent Engineering to Wisdom Engineering -- Web Services Based on Prolog and Xml -- A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language -- DialogEngines – Dialog Agents for Web-Based Self Service Consulting -- Towards Ubiquitous Maintenance – Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming -- A Pragmatic Approach to Pre-testing Prolog Programs. |
| Record Nr. | UNISA-996465800403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / / Dietmar Seipel ... [et al.] (eds.)
| Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / / Dietmar Seipel ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, N.Y., : Springer, 2005 |
| Descrizione fisica | 1 online resource (X, 315 p.) |
| Disciplina | 005/.3/1 |
| Altri autori (Persone) | SeipelDietmar |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Declarative programming
Knowledge management Logic programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description Logics -- Declaratively Querying and Visualizing Knowledge Bases in Xml -- SQL Based Frequent Pattern Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-Based Language for Classification Queries -- Deductive and Inductive Reasoning on Spatio-Temporal Data -- Mining Semantic Structures in Movies -- Solving Alternating Boolean Equation Systems in Answer Set Programming -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints -- Realising the Alternative Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent Engineering to Wisdom Engineering -- Web Services Based on Prolog and Xml -- A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language -- DialogEngines – Dialog Agents for Web-Based Self Service Consulting -- Towards Ubiquitous Maintenance – Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming -- A Pragmatic Approach to Pre-testing Prolog Programs. |
| Altri titoli varianti |
15th International Conference on Applications of Declarative Programming and Knowledge Management
International Conference on Applications of Declarative Programming and Knowledge Management INAP 2004 18th Workshop on Logic Programming Workshop on Logic Programming WLP 2004 |
| Record Nr. | UNINA-9910768443703321 |
| Berlin ; ; New York, N.Y., : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers / / edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel
| Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers / / edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (313 pages) : illustrations |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Declarative programming |
| ISBN | 3-030-46714-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- GPU-based parallelism for ASP-solving -- A Process Calculus for Formally Verifying Blockchain Consensus Protocols -- 22nd International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2019 -- Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming -- Finding Maximal Non–Redundant Association Rules in Tennis Data -- From Textual Information Sources to Linked Data in the Agatha Project -- Allen's Interval Algebra Makes the Difference -- Exploring Properties of Icosoku by Constraint Satisfaction Approach -- The Regularization of Small Sub-Constraint Satisfaction Problems -- 33rd Workshop on (Constraint) Logic Programming - WLP 2019 -- Declarative Programming for Microcontrollers - Datalog on Arduino -- Towards Constraint Logic Programming over Strings for Test Data Generation -- Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic -- KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog -- 27th International Workshop on Functional and Logic Programming - WFLP 2019 -- Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming -- Performance Analysis of Zippers -- Adding Data to Curry -- Free Theorems Simply, via Dinaturality -- Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation -- ICurry. |
| Record Nr. | UNISA-996418312203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers / / edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel
| Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers / / edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (313 pages) : illustrations |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Declarative programming |
| ISBN | 3-030-46714-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- GPU-based parallelism for ASP-solving -- A Process Calculus for Formally Verifying Blockchain Consensus Protocols -- 22nd International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2019 -- Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming -- Finding Maximal Non–Redundant Association Rules in Tennis Data -- From Textual Information Sources to Linked Data in the Agatha Project -- Allen's Interval Algebra Makes the Difference -- Exploring Properties of Icosoku by Constraint Satisfaction Approach -- The Regularization of Small Sub-Constraint Satisfaction Problems -- 33rd Workshop on (Constraint) Logic Programming - WLP 2019 -- Declarative Programming for Microcontrollers - Datalog on Arduino -- Towards Constraint Logic Programming over Strings for Test Data Generation -- Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic -- KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog -- 27th International Workshop on Functional and Logic Programming - WFLP 2019 -- Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming -- Performance Analysis of Zippers -- Adding Data to Curry -- Free Theorems Simply, via Dinaturality -- Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation -- ICurry. |
| Record Nr. | UNINA-9910409665803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Programming and Knowledge Management [[electronic resource] ] : 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
| Declarative Programming and Knowledge Management [[electronic resource] ] : 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 |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 215 p. 32 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| 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 |
| ISBN | 3-030-00801-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNISA-996466199003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
