You have Guest access.
Log In
Maria Garcia de la Banda and Enrico Pontelli
Front matter
1-6
The Life of a Logic Programming System
7-8
Uniting the Prolog Community
9-10
Constraint Handling Rules A Tutorial for (Prolog) Programmers
11-13
Back to Interval Temporal Logics (Extended Abstract)
14
Systems Biology: Models and Logics
15-21
Separation Logic Tutorial
22-36
Authorization and Obligation Policies in Dynamic Systems
37-51
Twelve Definitions of a Stable Model
52
Sixty Years of Stable Models
53-68
The DLV Project: A Tour from Theory and Research to Applications and Market
69-70
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
71-76
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
77-82
SMS and ASP: Hype or TST?
83-87
Quo Vadis Answer Set Programming? Past, Present, and Future
88-92
Answer Set Programming without Unstratified Negation
93-98
Here’s the Beef: Answer Set Programming !
99-113
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
114-129
Dynamic Programming Algorithms as Products of Weighted Logic Programs
130-144
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
145-159
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
160-174
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
175-189
On the Efficient Execution of ProbLog Programs
190-205
Engineering an Incremental ASP Solver
206-222
Concurrent and Local Evaluation of Normal Programs
223-237
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
238-252
αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic
253-268
Towards Ludics Programming: Interactive Proof Search
269-283
Declarative Semantics for Active Integrity Constraints
284-300
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
301-316
Negative Ternary Set-Sharing
317-331
Termination of Narrowing Using Dependency Pairs
332-346
Dynamic Analysis of Bounds Versus Domain Propagation
347-361
Lparse Programs Revisited: Semantics and Representation of Aggregates
362-376
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
377-391
Abstract Answer Set Solvers
392-406
Partial Functions and Equality in Answer Set Programming
407-424
Computable Functions in ASP: Theory and Implementation
425-439
Composing Normal Programs with Function Symbols
440-454
Verification from Declarative Specifications Using Logic Programming
455-469
Prolog Based Description Logic Reasoning
470-484
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming
485-500
Optimization of CHR Propagation Rules
501-515
Termination Analysis of CHR Revisited
516-530
Transactions in Constraint Handling Rules
531-545
Cadmium: An Implementation of ACD Term Rewriting
546-560
Quantified Equilibrium Logic and Foundations for Answer Set Programs
561-575
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence
576-590
Relativized Hyperequivalence of Logic Programs for Modular Programming
591-605
Program Correspondence under the Answer-Set Semantics: The Non-ground Case
606-620
Efficient Algorithms for Functional Constraints
621-635
Two WAM Implementations of Action Rules
636-650
Constraint-Level Advice for Shaving
651-666
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
667-671
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
672-676
Safe Formulas in the General Theory of Stable Models (Preliminary Report)
677-681
Non-determinism and Probabilities in Timed Concurrent Constraint Programming
682-686
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
687-692
TopLog: ILP Using a Logic Program Declarative Bias
693-697
Towards Typed Prolog
698-702
Environment Reuse in the WAM
703-707
Logic Engines as Interactors
708-712
Global Storing Mechanisms for Tabled Evaluation
713-717
Thread-Based Competitive Or-Parallelism
718-723
A Logic Language with Stable Model Semantics for Social Reasoning
724-728
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
729-733
Removing Redundancy from Answer Set Programs
734-738
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
739-743
An Implementation of Extended P-Log Using XASP
744-748
Compiling and Executing Declarative Modeling Languages to Gecode
749-753
Telecommunications Feature Subscription as a Partial Order Constraint Problem
754-758
A Constraint Logic Programming Approach to Automated Testing
759-763
Turing-Complete Subclasses of CHR
764-768
A Soft Approach to Multi-objective Optimization
769-773
A Multi-theory Logic Language for the World Wide Web
774-778
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)
779-784
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security
785-789
An Algorithm for Sophisticated Code Matching in Logic Programs
790-794
Trace Analysis for Predicting the Effectiveness of Partial Evaluation
795-800
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
801-802
Probabilistic and Concurrent Models for Security
803-804
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools
805-806
Development of an Automatic Testing Environment for Mercury
807-808
Resolving CSP with Naming Games
809-810
Biosequence Analysis in PRISM
811-812
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint
813-814
Extracting and Reasoning about Web Data
815-817
Managing Quality of Service with Soft Constraints
818-819
820-821
Generalising Constraint Solving over Finite Domains
822-823
Detection of Security Vulnerabilities Using Guided Model Checking
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info