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.
Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings / / Maria Garcia Banda and Enrico Pontelli (eds)
| Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings / / Maria Garcia Banda and Enrico Pontelli (eds) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVIII, 826 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Logic programming |
| ISBN | 3-540-89982-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems Biology: Models and Logics -- Separation Logic Tutorial -- Years of Stable Models Semantics Celebration -- Authorization and Obligation Policies in Dynamic Systems -- Twelve Definitions of a Stable Model -- Sixty Years of Stable Models -- The DLV Project: A Tour from Theory and Research to Applications and Market -- Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype or TST? -- Quo Vadis Answer Set Programming? -- Answer Set Programming without Unstratified Negation -- Here’s the Beef: Answer Set Programming ! -- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There -- Dynamic Programming Algorithms as Products of Weighted Logic Programs -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs -- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP -- ? lean TA P: A Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof Search -- Declarative Semantics for Active Integrity Constraints -- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based Description Logic Reasoning -- Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming -- Optimization of CHR Propagation Rules -- Termination Analysis of CHR Revisited -- Transactions in Constraint Handling Rules -- Cadmium: An Implementation of ACD Term Rewriting -- Quantified Equilibrium Logic and Foundations for Answer Set Programs -- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence -- Relativized Hyperequivalence of Logic Programs for Modular Programming -- Program Correspondence under the Answer-Set Semantics: The Non-ground Case -- Efficient Algorithms for Functional Constraints -- Two WAM Implementations of Action Rules -- Constraint-Level Advice for Shaving -- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism -- Short Papers -- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics -- Safe Formulas in the General Theory of Stable Models (Preliminary Report) -- Non-determinism and Probabilities in Timed Concurrent Constraint Programming -- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming -- TopLog: ILP Using a Logic Program Declarative Bias -- Towards Typed Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms for Tabled Evaluation -- Thread-Based Competitive Or-Parallelism -- A Logic Language with Stable Model Semantics for Social Reasoning -- ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming -- Removing Redundancy from Answer Set Programs -- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming -- An Implementation of Extended P-Log Using XASP -- Compiling and Executing Declarative Modeling Languages to Gecode -- Telecommunications Feature Subscription as a Partial Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing-Complete Subclasses of CHR -- A Soft Approach to Multi-objective Optimization -- A Multi-theory Logic Language for the World Wide Web -- A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract) -- Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security -- An Algorithm for Sophisticated Code Matching in Logic Programs -- Trace Analysis for Predicting the Effectiveness of Partial Evaluation -- A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation -- Probabilistic and Concurrent Models for Security -- On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools -- Development of an Automatic Testing Environment for Mercury -- Resolving CSP with Naming Games -- Biosequence Analysis in PRISM -- Bi-dimensional Domains for the Non-overlapping Rectangles Constraint -- Extracting and Reasoning about Web Data -- Managing Quality of Service with Soft Constraints -- TopLog: ILP Using a Logic Program Declarative Bias -- Generalising Constraint Solving over Finite Domains -- Detection of Security Vulnerabilities Using Guided Model Checking. |
| Record Nr. | UNINA-9910484115303321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings / / Maria Garcia Banda and Enrico Pontelli (eds)
| Logic programming : 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; proceedings / / Maria Garcia Banda and Enrico Pontelli (eds) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVIII, 826 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Logic programming |
| ISBN | 3-540-89982-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems Biology: Models and Logics -- Separation Logic Tutorial -- Years of Stable Models Semantics Celebration -- Authorization and Obligation Policies in Dynamic Systems -- Twelve Definitions of a Stable Model -- Sixty Years of Stable Models -- The DLV Project: A Tour from Theory and Research to Applications and Market -- Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype or TST? -- Quo Vadis Answer Set Programming? -- Answer Set Programming without Unstratified Negation -- Here’s the Beef: Answer Set Programming ! -- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There -- Dynamic Programming Algorithms as Products of Weighted Logic Programs -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs -- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP -- ? lean TA P: A Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof Search -- Declarative Semantics for Active Integrity Constraints -- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based Description Logic Reasoning -- Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming -- Optimization of CHR Propagation Rules -- Termination Analysis of CHR Revisited -- Transactions in Constraint Handling Rules -- Cadmium: An Implementation of ACD Term Rewriting -- Quantified Equilibrium Logic and Foundations for Answer Set Programs -- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence -- Relativized Hyperequivalence of Logic Programs for Modular Programming -- Program Correspondence under the Answer-Set Semantics: The Non-ground Case -- Efficient Algorithms for Functional Constraints -- Two WAM Implementations of Action Rules -- Constraint-Level Advice for Shaving -- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism -- Short Papers -- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics -- Safe Formulas in the General Theory of Stable Models (Preliminary Report) -- Non-determinism and Probabilities in Timed Concurrent Constraint Programming -- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming -- TopLog: ILP Using a Logic Program Declarative Bias -- Towards Typed Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms for Tabled Evaluation -- Thread-Based Competitive Or-Parallelism -- A Logic Language with Stable Model Semantics for Social Reasoning -- ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming -- Removing Redundancy from Answer Set Programs -- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming -- An Implementation of Extended P-Log Using XASP -- Compiling and Executing Declarative Modeling Languages to Gecode -- Telecommunications Feature Subscription as a Partial Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing-Complete Subclasses of CHR -- A Soft Approach to Multi-objective Optimization -- A Multi-theory Logic Language for the World Wide Web -- A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract) -- Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security -- An Algorithm for Sophisticated Code Matching in Logic Programs -- Trace Analysis for Predicting the Effectiveness of Partial Evaluation -- A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation -- Probabilistic and Concurrent Models for Security -- On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools -- Development of an Automatic Testing Environment for Mercury -- Resolving CSP with Naming Games -- Biosequence Analysis in PRISM -- Bi-dimensional Domains for the Non-overlapping Rectangles Constraint -- Extracting and Reasoning about Web Data -- Managing Quality of Service with Soft Constraints -- TopLog: ILP Using a Logic Program Declarative Bias -- Generalising Constraint Solving over Finite Domains -- Detection of Security Vulnerabilities Using Guided Model Checking. |
| Record Nr. | UNISA-996466348603316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||