Sandro Etalle, Miroslaw Truszczynski
Proceedings of the 22nd International Conference on Logic Programming
ICLP, 2006.

@proceedings{ICLP-2006,
	address       = "Seattle, Washington, USA",
	editor        = "Sandro Etalle and Miroslaw Truszczynski",
	isbn          = "3-540-36635-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd International Conference on Logic Programming}",
	volume        = 4079,
	year          = 2006,
}

Contents (54 items)

16 ×#logic programming
10 ×#semantics
10 ×#source code
8 ×#set
7 ×#programming
7 ×#using
6 ×#logic
5 ×#constraints
5 ×#declarative
5 ×#prolog

ICLP-2006-Lam #datalog #question #source code #why

Why Use Datalog to Analyze Programs? (MSL), p. 1.

ICLP-2006-Welty #semantics #web

Semantic Web: The Story of the RIFt so Far (CAW), p. 2.

ICLP-2006-Pientka #framework #logic #performance #verification

Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks (BP), pp. 3–10.

ICLP-2006-GebserS #calculus #programming #set

Tableau Calculi for Answer Set Programming (MG, TS), pp. 11–25.

ICLP-2006-CaropreseGSZ #declarative #maintenance #semantics

Declarative Semantics of Production Rules for Integrity Maintenance (LC, SG, CS, EZ), pp. 26–40.

ICLP-2006-HaemmerleF #prolog #revisited

Modules for Prolog Revisited (RH, FF), pp. 41–55.

ICLP-2006-SahaR #algorithm #evaluation #incremental #logic programming #source code

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs (DS, CRR), pp. 56–71.

ICLP-2006-SneyersSD #memory management #reuse

Memory Reuse for CHR (JS, TS, BD), pp. 72–86.

ICLP-2006-AntoyH #functional #logic programming #source code

Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.

ICLP-2006-BrandY #logic #towards

Towards “Propagation = Logic + Control” (SB, RHCY), pp. 102–116.

ICLP-2006-DuckSB #term rewriting

ACD Term Rewriting (GJD, PJS, SB), pp. 117–131.

ICLP-2006-KingLG #detection #prolog #source code

Detecting Determinacy in Prolog Programs (AK, LL, SG), pp. 132–147.

ICLP-2006-LiKL

Collapsing Closures (XL, AK, LL), pp. 148–162.

ICLP-2006-AlbertAPH

Reduced Certificates for Abstraction-Carrying Code (EA, PAS, GP, MVH), pp. 163–178.

ICLP-2006-PettorossiPS #constraints #logic programming #proving #source code

Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (AP, MP, VS), pp. 179–195.

ICLP-2006-PontelliS #logic programming #semantics #set #source code

Justifications for Logic Programs Under Answer Set Semantics (EP, TCS), pp. 196–210.

ICLP-2006-InoueS #programming #set

Generality Relations in Answer Set Programming (KI, CS), pp. 211–225.

ICLP-2006-NieuwenborghHV #programming #set

Cooperating Answer Set Programming (DVN, SH, DV), pp. 226–241.

ICLP-2006-WittocxVMDB #semantics

Predicate Introduction Under Stable and Well-Founded Semantics (JW, JV, MM, MD, MB), pp. 242–256.

ICLP-2006-SzaboS #prolog #standard

Improving the ISO Prolog Standard by Analyzing Compliance Test Results (PS, PS), pp. 257–269.

ICLP-2006-BrainCVF #named #programming #set

TOAST: Applying Answer Set Programming to Superoptimisation (MB, TC, MDV, JPF), pp. 270–284.

ICLP-2006-GrellSS #biology #modelling #network #programming #set

Modelling Biological Networks by Action Languages Via Answer Set Programming (SG, TS, JS), pp. 285–299.

ICLP-2006-SchwaigerF #assessment #automation #compilation #programming #testing #using

Using Answer Set Programming for the Automatic Compilation of Assessment Tests (PS, BF), pp. 300–314.

ICLP-2006-Emden #composition #logic #semantics

Compositional Semantics for the Procedural Interpretation of Logic (MHvE), pp. 315–329.

ICLP-2006-SimonMBG #induction #logic programming

Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.

ICLP-2006-CabalarOPV #equilibrium #logic #semantics #using

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic (PC, SPO, DP, AV), pp. 346–360.

ICLP-2006-Cheney #logic programming #semantics #source code

The Semantics of Nominal Logic Programs (JC), pp. 361–375.

ICLP-2006-BaralDT #composition #metaprogramming #set #using

Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (CB, JD, HT), pp. 376–390.

ICLP-2006-RamakrishnanRW #deduction #logic programming #spreadsheet #using

Deductive Spreadsheets Using Tabled Logic Programming (CRR, IVR, DSW), pp. 391–405.

ICLP-2006-QuintanoR #database #framework #logic programming #natural language #query #using

Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language (LQ, IPR), pp. 406–420.

ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.

ICLP-2006-DaoD #constraints #first-order #formal method

Solving First-Order Constraints in the Theory of the Evaluated Trees (TBHD, KD), pp. 423–424.

ICLP-2006-GuoLJ #optimisation

Relaxation on Optimization Predicates (HFG, ML, BJ), pp. 425–426.

ICLP-2006-Rocha #logic programming #source code

Handling Incomplete and Complete Tables in Tabled Logic Programs (RR), pp. 427–428.

ICLP-2006-SilvaRL #implementation #linear #prolog

An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.

ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.

ICLP-2006-PhanJ #memory management #source code #towards

Towards Region-Based Memory Management for Mercury Programs (QP, GJ), pp. 433–435.

ICLP-2006-AbreuN #towards

Towards Structured Contexts and Modules (SA, VN), pp. 436–438.

ICLP-2006-NogueiraA #logic programming #towards

Towards Temporal Contextual Logic Programming (VN, SA), pp. 439–441.

ICLP-2006-DahlG #semantics

Semantic Property Grammars for Knowledge Extraction from Biomedical Text (VD, BG), pp. 442–443.

ICLP-2006-OrtizV #combinator #logic #natural language #using

Natural Language Processing Using Lexical and Logical Combinators (JFO, JV), pp. 444–446.

ICLP-2006-Aguilar-Solis #approach #constraints #learning #parsing #semantics

Learning Semantic Parsers: A Constraint Handling Rule Approach (DAS), pp. 447–448.

ICLP-2006-LopezPPRV #concurrent #constraints #declarative #framework #programming #security

A Declarative Framework for Security: Secure Concurrent Constraint Programming (HAL, CP, JAP, CR, FDV), pp. 449–450.

ICLP-2006-MantsivodaLM #logic programming

Logic Programming in Knowledge Domains (AM, VL, AM), pp. 451–452.

ICLP-2006-MouraM

Logtalk Processing of STEP Part 21 Files (PM, VM), pp. 453–454.

ICLP-2006-RuckhausKPG #approach #datalog #owl

Integrating Datalog with OWL: Exploring the AL-log Approach (ER, VK, BP, BCG), pp. 455–456.

ICLP-2006-UedaKHM #declarative

LMNtal as a Unifying Declarative Language: Live Demonstration (KU, NK, KH, KM), pp. 457–458.

ICLP-2006-Brain #declarative #problem #semantics #set #using

Declarative Problem Solving Using Answer Set Semantics (MB), pp. 459–460.

ICLP-2006-SilvaC #compilation #design #implementation #logic programming #optimisation #programming language

The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.

ICLP-2006-Lukacsy #logic #prolog #reasoning

Description Logic Reasoning in Prolog (GL), pp. 463–464.

ICLP-2006-Phan #logic programming #memory management #programming language

Static Memory Management for Logic Programming Languages (QP), pp. 465–466.

ICLP-2006-Soares #database #deduction #implementation #parallel

Deductive Databases: Implementation, Parallelism and Applications (TS), pp. 467–468.

ICLP-2006-Tu #performance #reasoning

Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning (PHT), pp. 469–470.

ICLP-2006-Wong #logic programming #source code

Deducing Logic Programs (KSW), pp. 471–472.