Patricia M. Hill, David Scott Warren
Proceedings of the 25th International Conference on Logic Programming
ICLP, 2009.

@proceedings{ICLP-2009,
	address       = "Pasadena, California, USA",
	doi           = "10.1007/978-3-642-02846-5",
	editor        = "Patricia M. Hill and David Scott Warren",
	isbn          = "978-3-642-02845-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 25th International Conference on Logic Programming}",
	volume        = 5649,
	year          = 2009,
}

Contents (64 items)

18 ×#logic programming
12 ×#constraints
11 ×#source code
8 ×#research
8 ×#summary
7 ×#programming
7 ×#set
6 ×#using
5 ×#modelling
4 ×#analysis

ICLP-2009-Mungall #case study #experience #logic programming #using

Experiences Using Logic Programming in Bioinformatics (CM), pp. 1–21.

ICLP-2009-Denecker #knowledge base

A Knowledge Base System Project for FO(.) (MD), p. 22.

ICLP-2009-Moura #effectiveness #encapsulation #prolog #reuse

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse (PM), p. 23.

ICLP-2009-Sato #generative #modelling

Generative Modeling by PRISM (TS), pp. 24–35.

ICLP-2009-Wielemaker #prolog #using #web

Enabling Serendipitous Search on the Web of Data Using Prolog (JW), p. 36.

ICLP-2009-King #abstraction #logic #reverse engineering

Untangling Reverse Engineering with Logic and Abstraction (AK), p. 37.

ICLP-2009-Ducasse #debugging

(C)LP Tracing and Debugging (MD), p. 38.

ICLP-2009-Raedt #learning #logic #probability #tutorial

Probabilistic Logic Learning — A Tutorial Abstract (LDR), p. 39.

ICLP-2009-BroechelerSS #logic programming #probability #query #source code #using

Using Histograms to Better Answer Queries to Probabilistic Logic Programs (MB, GIS, VSS), pp. 40–54.

ICLP-2009-ChristiansenG

Non-discriminating Arguments and Their Uses (HC, JPG), pp. 55–69.

ICLP-2009-ChristiansenL #analysis #modelling #optimisation #preprocessor #sequence

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (HC, OTL), pp. 70–83.

ICLP-2009-DungHT #information management #multi #query

Stabilization of Information Sharing for Queries Answering in Multiagent Systems (PMD, DDH, PMT), pp. 84–98.

ICLP-2009-SonPS #logic programming #multi

Logic Programming for Multiagent Planning with Negotiation (TCS, EP, CS), pp. 99–114.

ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using

Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.

ICLP-2009-ChenJL #logic programming #source code

Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (XC, JJ, FL), pp. 130–144.

ICLP-2009-Dao-TranEFK #composition #logic programming #revisited

Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.

ICLP-2009-DelgrandeSTW #logic programming #semantics #set #source code

Merging Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 160–174.

ICLP-2009-Truszczynski #logic programming #satisfiability #semantics #source code

Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (MT), pp. 175–189.

ICLP-2009-GuzmanCH #implementation #multi

A Tabling Implementation Based on Variables with Multiple Bindings (PCdG, MC, MVH), pp. 190–204.

ICLP-2009-CostaRR #logic programming #source code

A Term-Based Global Trie for Tabled Logic Programs (JC, JR, RR), pp. 205–219.

ICLP-2009-VoetsS #analysis #approach #logic programming #source code

A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.

ICLP-2009-GebserOS #constraints #set

Constraint Answer Set Solving (MG, MO, TS), pp. 235–249.

ICLP-2009-GebserKKS #constraints #implementation #on the

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.

ICLP-2009-Ashley-RollmanLGPC #independence #scalability

A Language for Large Ensembles of Independently Executing Nodes (MPAR, PL, SCG, PP, JC), pp. 265–280.

ICLP-2009-MeraLH #framework #runtime #testing #verification

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.

ICLP-2009-WittocxVD #debugging

Debugging for Model Expansion (JW, HV, MD), pp. 296–311.

ICLP-2009-SchaubT #network #programming #set

Metabolic Network Expansion with Answer Set Programming (TS, ST), pp. 312–326.

ICLP-2009-Thielscher #game studies #programming #set

Answer Set Programming for Single-Player Games in General Game Playing (MT), pp. 327–341.

ICLP-2009-EiterEEF #programming #set

Finding Similar or Diverse Solutions in Answer Set Programming (TE, EE, HE, MF), pp. 342–356.

ICLP-2009-Sarna-StarostaS

Attributed Data for CHR Indexing (BSS, TS), pp. 357–371.

ICLP-2009-VazCF

User Defined Indexing (DV, VSC, MF), pp. 372–386.

ICLP-2009-GavanelliAL #abduction #constraints #integration #optimisation #reasoning

Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.

ICLP-2009-Zhou #constraints #encoding

Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC (NFZ), pp. 402–416.

ICLP-2009-HildebrandtL #concurrent #constraints #pattern matching #programming

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (TTH, HAL), pp. 417–431.

ICLP-2009-WanGKFL #logic programming

Logic Programming with Defaults and Argumentation Theories (HW, BNG, MK, PF, SL), pp. 432–448.

ICLP-2009-CaballeroRR #functional #logic programming

Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.

ICLP-2009-HolldoblerR #logic programming #semantics #source code

Logic Programs under Three-Valued Lukasiewicz Semantics (SH, CDPKR), pp. 464–478.

ICLP-2009-Koninck #execution

Execution Control for CHR (LDK), pp. 479–483.

ICLP-2009-KoninckDS #normalisation #term rewriting

Demand-Driven Normalisation for ACD Term Rewriting (LDK, GJD, PJS), pp. 484–488.

ICLP-2009-LierlerL #decidability #source code

One More Decidable Class of Finitely Ground Programs (YL, VL), pp. 489–493.

ICLP-2009-Sneyers #compilation #complexity #constraints #optimisation

Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.

ICLP-2009-PilozziS #proving #termination

Proving Termination by Invariance Relations (PP, DDS), pp. 499–503.

ICLP-2009-PilozziS09a #automation #proving #termination

Automating Termination Proofs for CHR (PP, DDS), pp. 504–508.

ICLP-2009-ArandaAOPRTV #declarative #overview

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (JA, GA, CO, JAP, CR, MT, FDV), pp. 509–513.

ICLP-2009-Swift #modelling

An Engine for Computing Well-Founded Models (TS), pp. 514–518.

ICLP-2009-SwiftPP #incremental

Incremental Answer Completion in the SLG-WAM (TS, AMP, LMP), pp. 519–524.

ICLP-2009-Fodor #evaluation #logic programming #research #source code #summary #transaction

Research Summary: Tabled Evaluation for Transaction Logic Programs (PF), pp. 525–526.

ICLP-2009-Ashley-Rollman #distributed #logic programming #research #summary

Research Summary: Logic Programming for Massively Distributed Systems (MPAR), pp. 527–529.

ICLP-2009-Li #algorithm #constraints #difference #functional #integer #research #summary

Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.

ICLP-2009-Ji #approach #architecture #programming #set

A Cognitive Architecture for a Service Robot: An Answer Set Programming Approach (JJ), pp. 532–533.

ICLP-2009-Pilozzi #research #summary #termination

Research Summary: Termination of CHR (PP), pp. 534–535.

ICLP-2009-Paolucci #natural language #research #summary #tool support

Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.

ICLP-2009-Simari #behaviour #modelling #probability #reasoning

Stochastic Reasoning with Models of Agent Behavior (GIS), pp. 538–539.

ICLP-2009-Raiser #constraints #graph transformation #using

Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (FR), pp. 540–541.

ICLP-2009-Inclezan #composition

Modular Action Language ALM (DI), pp. 542–543.

ICLP-2009-Todorova #natural language #prolog #using

Answering Questions from Natural Language Using A-Prolog (YT), pp. 544–546.

ICLP-2009-Wan #logic programming

Belief Logic Programming (HW), pp. 547–548.

ICLP-2009-Have #analysis #biology #constraints #modelling #sequence #statistics

Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.

ICLP-2009-Simkus #logic #logic programming

Fusion of Logic Programming and Description Logics (MS), pp. 551–552.

ICLP-2009-Voets #analysis #logic programming #research #source code #summary

Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.

ICLP-2009-Namasivayam #logic programming #random #source code

Study of Random Logic Programs (GN), pp. 555–556.

ICLP-2009-Rosa #detection #distributed #programming

Locally Distributed Predicates: A Programming Facility for Distributed State Detection (MD), pp. 557–558.

ICLP-2009-CampliB #concurrent #constraints

Capturing Fair Computations on Concurrent Constraint Language (PC, SB), pp. 559–560.

ICLP-2009-BottalicoB #biology #constraints

Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.