Maurizio Gabbrielli, Gopal Gupta
Proceedings of the 21st International Conference on Logic Programming
ICLP, 2005.

@proceedings{ICLP-2005,
	address       = "Sitges, Spain",
	editor        = "Maurizio Gabbrielli and Gopal Gupta",
	isbn          = "3-540-29208-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st International Conference on Logic Programming}",
	volume        = 3668,
	year          = 2005,
}

Contents (51 items)

10 ×#constraints
9 ×#logic programming
8 ×#analysis
8 ×#source code
6 ×#semantics
5 ×#optimisation
4 ×#concurrent
4 ×#named
4 ×#using
3 ×#implementation

ICLP-2005-Horrocks #logic #named #ontology #owl

OWL: A Description Logic Based Ontology Language (IH), pp. 1–4.

ICLP-2005-Rossi #reasoning

Preference Reasoning (FR), pp. 5–8.

ICLP-2005-StuckeyBMMSSWW #independence #modelling #performance

The G12 Project: Mapping Solver Independent Models to Efficient Solutions (PJS, MJGdlB, MJM, KM, JKS, ZS, MW, TW), pp. 9–13.

ICLP-2005-Wilson #logic programming #using

Use of Logic Programming for Complex Business Rules (WGW), pp. 14–20.

ICLP-2005-MoralesCPH #automaton #generative #implementation #performance

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization (JFM, MC, GP, MVH), pp. 21–36.

ICLP-2005-GiunchigliaM #on the #satisfiability #set

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) (EG, MM), pp. 37–51.

ICLP-2005-BaseliceBG #constraints #integration #set #theorem proving #towards

Towards an Integration of Answer Set and Constraint Solving (SB, PAB, MG), pp. 52–66.

ICLP-2005-DovierFP #comparison #problem

A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems (AD, AF, EP), pp. 67–82.

ICLP-2005-SneyersSD #continuation #optimisation

Guard and Continuation Optimization for Occurrence Representations of CHR (JS, TS, BD), pp. 83–97.

ICLP-2005-JaffarYZ #coordination

Coordination of Many Agents (JJ, RHCY, KQZ), pp. 98–112.

ICLP-2005-Fruhwirth #analysis #confluence #constraints #using

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis (TWF), pp. 113–127.

ICLP-2005-Wielemaker #implementation #prolog #query #semantics #web

An Optimised Semantic Web Query Language Implementation in Prolog (JW), pp. 128–142.

ICLP-2005-BortolussiW #concurrent #constraints #distributed #probability #programming language

A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.

ICLP-2005-ChristiansenD #abduction #logic programming #named #programming language #prolog

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction (HC, VD), pp. 159–173.

ICLP-2005-Maher #abduction #constraints #linear

Abduction of Linear Arithmetic Constraints (MJM), pp. 174–188.

ICLP-2005-TompitsW #equivalence #implementation #programming #towards

Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming (HT, SW), pp. 189–203.

ICLP-2005-SaadP #hybrid #logic programming #probability #source code

Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.

ICLP-2005-PelovT #induction #satisfiability

Reducing Inductive Definitions to Propositional Satisfiability (NP, ET), pp. 221–234.

ICLP-2005-SahaR #data type #evaluation #graph #incremental #performance

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation (DS, CRR), pp. 235–249.

ICLP-2005-RochaSC #evaluation #logic programming #source code

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs (RR, FMAS, VSC), pp. 250–264.

ICLP-2005-BrasselH #analysis #functional #logic programming #nondeterminism #source code

Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.

ICLP-2005-GallagherHB #analysis #scalability

Techniques for Scaling Up Analyses Based on Pre-interpretations (JPG, KSH, GB), pp. 280–296.

ICLP-2005-Mallya #deduction #model checking #multi

Deductive Multi-valued Model Checking (AM), pp. 297–310.

ICLP-2005-NguyenS #analysis #logic programming #polynomial #source code #termination

Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs (MTN, DDS), pp. 311–325.

ICLP-2005-CodishLS #constraints #termination #testing

Testing for Termination with Monotonicity Constraints (MC, VL, PJS), pp. 326–340.

ICLP-2005-AlcantaraDP #semantics

A Well-Founded Semantics with Disjunction (JA, CVD, LMP), pp. 341–355.

ICLP-2005-DuanYK #logic programming #semantics #source code

Semantics of Framed Temporal Logic Programs (ZD, XY, MK), pp. 356–370.

ICLP-2005-NadathurL #higher-order #on the fly #unification

Practical Higher-Order Pattern Unification with On-the-Fly Raising (GN, NL), pp. 371–386.

ICLP-2005-SarkarPC #proving

Small Proof Witnesses for LF (SS, BP, KC), pp. 387–401.

ICLP-2005-CoqueryF #type system

A Type System for CHR (EC, FF), pp. 402–403.

ICLP-2005-KleemannS #mobile #personalisation

Decision Support for Personalization on Mobile Devices (TK, AS), pp. 404–406.

ICLP-2005-PueblaAH #analysis #framework #logic programming #source code

A Generic Framework for the Analysis and Specialization of Logic Programs (GP, EA, MVH), pp. 407–409.

ICLP-2005-Ray #horn clause #logic #query

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic (OR), pp. 410–411.

ICLP-2005-JaffarSV #modelling

Modeling Systems in CLP (JJ, AES, RV), pp. 412–413.

ICLP-2005-NomikosRW #equivalence #semantics

A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics (CN, PR, WWW), pp. 414–415.

ICLP-2005-RochaLSC #modelling #named #prolog

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling (RR, RL, FMAS, VSC), pp. 416–417.

ICLP-2005-Saidi #bound #mining #process #using

Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process (ASS), pp. 418–420.

ICLP-2005-LambertCMRS #algorithm #constraints #search-based

Hybridization of Genetic Algorithms and Constraint Propagation for the BACP (TL, CC, EM, MCR, FS), pp. 421–423.

ICLP-2005-Ferreira #database #deduction #using

The MYDDAS Project: Using a Deductive Database for Traffic Characterization (MF), pp. 424–426.

ICLP-2005-LukacsyN #datalog #reasoning

Open World Reasoning in Datalog (GL, ZN), pp. 427–428.

ICLP-2005-Bekes #optimisation #query

Optimizing Queries for Heterogeneous Information Sources (AGB), pp. 429–430.

ICLP-2005-Santos #concurrent #logic #semantics #transaction #using

Denotational Semantics Using Horn Concurrent Transaction Logic (MVS), pp. 431–432.

ICLP-2005-Langevine #constraints #named #programming

Gentra4cp: A Generic Trace Format for Constraint Programming (LL), pp. 433–434.

ICLP-2005-Schrijvers #analysis #constraints #optimisation #summary

Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary (TS), pp. 435–436.

ICLP-2005-Chesani #formal method #interactive #protocol #verification

Formalization and Verification of Interaction Protocols (FC), pp. 437–438.

ICLP-2005-CorinSE #analysis #constraints #protocol #security

PS-LTL for Constraint-Based Security Protocol Analysis (RC, AS, SE), pp. 439–440.

ICLP-2005-Bortolussi #concurrent #optimisation

Concurrent Methodologies for Global Optimization (LB), pp. 441–443.

ICLP-2005-Nogueira #information management #programming language

A Temporal Programming Language for Heterogeneous Information Systems (VN), pp. 444–445.

ICLP-2005-Schindlauer #logic programming #semantics #source code #web

Nonmonotonic Logic Programs for the Semantic Web (RS), pp. 446–447.

ICLP-2005-Haemmerle #concurrent #constraints #linear #programming

SiLCC Is Linear Concurrent Constraint Programming (RH), pp. 448–449.

ICLP-2005-Sneyers #analysis #optimisation #source code

Analysis and Optimization of CHR Programs (JS), pp. 450–451.