Maria Garcia de la Banda, Enrico Pontelli
Proceedings of the 24th International Conference on Logic Programming
ICLP, 2008.

@proceedings{ICLP-2008,
	address       = "Udine, Italy",
	doi           = "10.1007/978-3-540-89982-2",
	editor        = "Maria Garcia de la Banda and Enrico Pontelli",
	isbn          = "978-3-540-89981-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 24th International Conference on Logic Programming}",
	volume        = 5366,
	year          = 2008,
}

Contents (90 items)

16 ×#constraints
15 ×#programming
13 ×#source code
12 ×#logic programming
12 ×#set
10 ×#logic
10 ×#using
7 ×#declarative
6 ×#implementation
6 ×#modelling

ICLP-2008-Costa #logic programming

The Life of a Logic Programming System (VSC), pp. 1–6.

ICLP-2008-SchrijversD #community #prolog

Uniting the Prolog Community (TS, BD), pp. 7–8.

ICLP-2008-Schrijvers #constraints

Constraint Handling Rules (TS), pp. 9–10.

ICLP-2008-Montanari #logic

Back to Interval Temporal Logics (AM), pp. 11–13.

ICLP-2008-PiazzaP #biology #logic #modelling

Systems Biology: Models and Logics (CP, AP), p. 14.

ICLP-2008-OHearn #logic #tutorial

Separation Logic Tutorial (PWO), pp. 15–21.

ICLP-2008-GelfondL #policy

Authorization and Obligation Policies in Dynamic Systems (MG, JL), pp. 22–36.

ICLP-2008-Lifschitz

Twelve Definitions of a Stable Model (VL), pp. 37–51.

ICLP-2008-Pearce #modelling

Sixty Years of Stable Models (DP), p. 52.

ICLP-2008-LeoneF #research

The DLV Project: A Tour from Theory and Research to Applications and Market (NL, WF), pp. 53–68.

ICLP-2008-Baral #information management #programming #reasoning #representation #set #using

Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions (CB), pp. 69–70.

ICLP-2008-DeneckerV #integration #knowledge base #logic programming

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (MD, JV), pp. 71–76.

ICLP-2008-Eiter #question

SMS and ASP: Hype or TST? (TE), pp. 77–82.

ICLP-2008-Marek #programming #question #set

Quo Vadis Answer Set Programming? (VWM), pp. 83–87.

ICLP-2008-Niemela #programming #set

Answer Set Programming without Unstratified Negation (IN), pp. 88–92.

ICLP-2008-Schaub #exclamation #programming #set

Here’s the Beef: Answer Set Programming ! (TS), pp. 93–98.

ICLP-2008-Fink #logic #programming

Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (MF), pp. 99–113.

ICLP-2008-CohenSS #algorithm #logic programming #source code

Dynamic Programming Algorithms as Products of Weighted Logic Programs (SBC, RJS, NAS), pp. 114–129.

ICLP-2008-GebserSTUV #biology #consistency #detection #network #nondeterminism #programming #scalability #set

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.

ICLP-2008-MileoMB #approach #logic programming #monitoring

A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living (AM, DM, RB), pp. 145–159.

ICLP-2008-BoennBVF #automation #composition #music #programming #set

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (GB, MB, MDV, Jf), pp. 160–174.

ICLP-2008-KimmigCRDR #execution #on the #performance #source code

On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.

ICLP-2008-GebserKKOST #incremental

Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.

ICLP-2008-MarquesS #concurrent #evaluation #source code

Concurrent and Local Evaluation of Normal Programs (RM, TS), pp. 206–222.

ICLP-2008-MarekR #on the

On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.

ICLP-2008-NearBF #declarative #first-order #logic #named #proving #theorem proving

αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic (JPN, WEB, DPF), pp. 238–252.

ICLP-2008-Saurin #interactive #programming #proving #towards

Towards Ludics Programming: Interactive Proof Search (AS), pp. 253–268.

ICLP-2008-CaropreseT #constraints #declarative #semantics

Declarative Semantics for Active Integrity Constraints (LC, MT), pp. 269–283.

ICLP-2008-SenniPP #algorithm #constraints #logic programming #source code

A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (VS, AP, MP), pp. 284–300.

ICLP-2008-TriasNAFH

Negative Ternary Set-Sharing (ET, JAN, ESA, SF, MVH), pp. 301–316.

ICLP-2008-AlpuenteEI #dependence #termination #using

Termination of Narrowing Using Dependency Pairs (MA, SE, JI), pp. 317–331.

ICLP-2008-SchulteS #bound #dynamic analysis

Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.

ICLP-2008-LiuY #representation #semantics #source code

Lparse Programs Revisited: Semantics and Representation of Aggregates (GL, JHY), pp. 347–361.

ICLP-2008-JanssenHVC #compilation #fuzzy #set #source code

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (JJ, SH, DV, MDC), pp. 362–376.

ICLP-2008-Lierler #set

Abstract Answer Set Solvers (YL), pp. 377–391.

ICLP-2008-Cabalar #programming #set #similarity

Partial Functions and Equality in Answer Set Programming (PC), pp. 392–406.

ICLP-2008-CalimeriCIL #implementation

Computable Functions in ASP: Theory and Implementation (FC, SC, GI, NL), pp. 407–424.

ICLP-2008-BaseliceB #source code

Composing Normal Programs with Function Symbols (SB, PAB), pp. 425–439.

ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification

Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.

ICLP-2008-LukacsySK #logic #prolog #reasoning

Prolog Based Description Logic Reasoning (GL, PS, BK), pp. 455–469.

ICLP-2008-BeniniBM #constraints #multi #platform #policy #programming #resource management #using

Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming (LB, DB, MM), pp. 470–484.

ICLP-2008-Weert #optimisation

Optimization of CHR Propagation Rules (PVW), pp. 485–500.

ICLP-2008-PilozziS #analysis #revisited #termination

Termination Analysis of CHR Revisited (PP, DDS), pp. 501–515.

ICLP-2008-SchrijversS #constraints #transaction

Transactions in Constraint Handling Rules (TS, MS), pp. 516–530.

ICLP-2008-DuckKS #implementation #named #term rewriting

Cadmium: An Implementation of ACD Term Rewriting (GJD, LDK, PJS), pp. 531–545.

ICLP-2008-PearceV #equilibrium #logic #quantifier #set #source code

Quantified Equilibrium Logic and Foundations for Answer Set Programs (DP, AV), pp. 546–560.

ICLP-2008-PuhrerTW #source code

Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (JP, HT, SW), pp. 561–575.

ICLP-2008-TruszczynskiW #composition #logic programming #source code

Relativized Hyperequivalence of Logic Programs for Modular Programming (MT, SW), pp. 576–590.

ICLP-2008-OetschT #semantics

Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.

ICLP-2008-ZhangYLM #algorithm #constraints #functional #performance

Efficient Algorithms for Functional Constraints (YZ, RHCY, CL, SM), pp. 606–620.

ICLP-2008-DemoenN #implementation

Two WAM Implementations of Action Rules (BD, PLN), pp. 621–635.

ICLP-2008-SzymanekL #constraints

Constraint-Level Advice for Shaving (RS, CL), pp. 636–650.

ICLP-2008-CasasCH #implementation #independence #nondeterminism #strict

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 651–666.

ICLP-2008-Riguzzi #logic programming #semantics #source code

Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (FR), pp. 667–671.

ICLP-2008-LeeLP #modelling

Safe Formulas in the General Theory of Stable Models (JL, VL, RP), pp. 672–676.

ICLP-2008-PerezR #concurrent #constraints #nondeterminism #programming

Non-determinism and Probabilities in Timed Concurrent Constraint Programming (JAP, CR), pp. 677–681.

ICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.

ICLP-2008-MuggletonST #bias #declarative #logic programming #named #using

TopLog: ILP Using a Logic Program Declarative Bias (SM, JCAS, ATN), pp. 687–692.

ICLP-2008-SchrijversCWD #prolog #towards

Towards Typed Prolog (TS, VSC, JW, BD), pp. 693–697.

ICLP-2008-DemoenN08a #reuse

Environment Reuse in the WAM (BD, PLN), pp. 698–702.

ICLP-2008-Tarau #logic

Logic Engines as Interactors (PT), pp. 703–707.

ICLP-2008-CostaR #evaluation

Global Storing Mechanisms for Tabled Evaluation (JC, RR), pp. 708–712.

ICLP-2008-MouraRM #thread

Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.

ICLP-2008-BuccafurriCL #logic #reasoning #semantics #social

A Logic Language with Stable Model Semantics for Social Reasoning (FB, GC, RL), pp. 718–723.

ICLP-2008-CliffeVBP #animation #declarative #named #programming #set #using #visualisation

ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.

ICLP-2008-Janhunen #set #source code

Removing Redundancy from Answer Set Programs (TJ), pp. 729–733.

ICLP-2008-EglyGW #framework #implementation #named #programming #using

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming (UE, SAG, SW), pp. 734–738.

ICLP-2008-AnhRD #implementation #using

An Implementation of Extended P-Log Using XASP (HTA, CDPKR, CVD), pp. 739–743.

ICLP-2008-CiprianoDM #compilation #declarative #modelling

Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.

ICLP-2008-CodishLS #constraints #partial order #problem

Telecommunications Feature Subscription as a Partial Order Constraint Problem (MC, VL, PJS), pp. 749–753.

ICLP-2008-BelhaouariP #approach #automation #constraints #logic programming #testing

A Constraint Logic Programming Approach to Automated Testing (HB, FP), pp. 754–758.

ICLP-2008-Sneyers #subclass

Turing-Complete Subclasses of CHR (JS), pp. 759–763.

ICLP-2008-BistarelliGLR #approach #multi #optimisation

A Soft Approach to Multi-objective Optimization (SB, FG, JL, ER), pp. 764–768.

ICLP-2008-PiancastelliO #logic #multi #web

A Multi-theory Logic Language for the World Wide Web (GP, AO), pp. 769–773.

ICLP-2008-SivaLZ #case study #constraints #database #sql

A Case Study in Engineering SQL Constraint Database Systems (SS, JJL, HZ), pp. 774–778.

ICLP-2008-BonattiCOS #privacy #security #trust

Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security (PAB, JLDC, DO, LS), pp. 779–784.

ICLP-2008-VanhoofD #algorithm #logic programming #source code

An Algorithm for Sophisticated Code Matching in Logic Programs (WV, FD), pp. 785–789.

ICLP-2008-Vidal #analysis #effectiveness #partial evaluation #predict

Trace Analysis for Predicting the Effectiveness of Partial Evaluation (GV), pp. 790–794.

ICLP-2008-GuzmanCH #execution #program transformation #sketching

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.

ICLP-2008-Beauxis #concurrent #modelling #probability #security

Probabilistic and Concurrent Models for Security (RB), pp. 801–802.

ICLP-2008-Cipriano #constraints #modelling #on the #programming #tool support

On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools (RC), pp. 803–804.

ICLP-2008-Degrave #automation #development #testing

Development of an Automatic Testing Environment for Mercury (FD), pp. 805–806.

ICLP-2008-Gosti #csp #game studies

Resolving CSP with Naming Games (GG), pp. 807–808.

ICLP-2008-Lassen #analysis #sequence

Biosequence Analysis in PRISM (OTL), pp. 809–810.

ICLP-2008-Parisini #constraints

Bi-dimensional Domains for the Non-overlapping Rectangles Constraint (FP), pp. 811–812.

ICLP-2008-Pirrotta #reasoning #web

Extracting and Reasoning about Web Data (GP), pp. 813–814.

ICLP-2008-Santini #constraints #quality

Managing Quality of Service with Soft Constraints (FS), pp. 815–817.

ICLP-2008-Santos #bias #declarative #logic programming #named #using

TopLog: ILP Using a Logic Program Declarative Bias (JCAS), pp. 818–819.

ICLP-2008-Triska #constraints #finite #theorem proving

Generalising Constraint Solving over Finite Domains (MT), pp. 820–821.

ICLP-2008-Tsitovich #detection #model checking #security #using

Detection of Security Vulnerabilities Using Guided Model Checking (AT), pp. 822–823.