Verónica Dahl, Ilkka Niemelä
Proceedings of the 23rd International Conference on Logic Programming
ICLP, 2007.

@proceedings{ICLP-2007,
	address       = "Porto, Portugal",
	editor        = "Verónica Dahl and Ilkka Niemelä",
	isbn          = "978-3-540-74608-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 23rd International Conference on Logic Programming}",
	volume        = 4670,
	year          = 2007,
}

Contents (48 items)

18 ×#logic programming
9 ×#source code
8 ×#constraints
7 ×#set
6 ×#prolog
5 ×#programming
4 ×#analysis
4 ×#semantics
4 ×#web
3 ×#concurrent

ICLP-2007-BaralDT #information management #natural language #prolog #set #towards

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (CB, JD, LT), pp. 1–21.

ICLP-2007-Brewka #set

Preferences, Contexts and Answer Sets (GB), p. 22.

ICLP-2007-Eiter #programming #semantics #set #web

Answer Set Programming for the Semantic Web (TE), pp. 23–26.

ICLP-2007-GuptaBMSM #induction #logic programming

Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.

ICLP-2007-Hanus #declarative #multi

Multi-paradigm Declarative Languages (MH), pp. 45–75.

ICLP-2007-Truszczynski #information management #logic programming #representation

Logic Programming for Knowledge Representation (MT), pp. 76–88.

ICLP-2007-BaseliceBC #on the #recursion #source code

On Finitely Recursive Programs (SB, PAB, GC), pp. 89–103.

ICLP-2007-CabalarPV #logic programming #source code

Minimal Logic Programs (PC, DP, AV), pp. 104–118.

ICLP-2007-GebserS #programming #set

Generic Tableaux for Answer Set Programming (MG, TS), pp. 119–133.

ICLP-2007-JarvisaloO #logic programming #source code

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.

ICLP-2007-GrecoM #consistency #database #query #semantics

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.

ICLP-2007-UnelT #approach #logic programming

Logic Programming Approach to Automata-Based Decision Procedures (GÜ, DT), pp. 165–179.

ICLP-2007-TarauL #framework #logic programming #synthesis

A Logic Programming Framework for Combinational Circuit Synthesis (PT, BL), pp. 180–194.

ICLP-2007-VazFL #information management #named

Spatial-Yap: A Logic-Based Geographic Information System (DV, MF, RL), pp. 195–208.

ICLP-2007-KoninckSD #algorithm #logic

The Correspondence Between the Logical Algorithms Language and CHR (LDK, TS, BD), pp. 209–223.

ICLP-2007-DuckSS #confluence #constraints

Observable Confluence for Constraint Handling Rules (GJD, PJS, MS), pp. 224–239.

ICLP-2007-Raiser #graph transformation

Graph Transformation Systems in CHR (FR), pp. 240–254.

ICLP-2007-DovierFP #constraints #multi

Multivalued Action Languages with Constraints in CLP(FD) (AD, AF, EP), pp. 255–270.

ICLP-2007-FalaschiOPV #concurrent #constraints #declarative #source code

Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.

ICLP-2007-LiuPST #constraints #logic programming #source code

Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.

ICLP-2007-Naish #analysis #concurrent

Resource-Oriented Deadlock Analysis (LN), pp. 302–316.

ICLP-2007-PhanJ #analysis

Static Region Analysis for Mercury (QP, GJ), pp. 317–332.

ICLP-2007-PietrzakH #automation #fault #logic programming #source code

Automatic Binding-Related Error Diagnosis in Logic Programs (PP, MVH), pp. 333–347.

ICLP-2007-NavasMLH #analysis #bound #logic programming #source code

User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.

ICLP-2007-PettorossiPS #automation #correctness #logic programming #program transformation #proving

Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.

ICLP-2007-CzenkoE #logic programming #trust

Core TuLiP Logic Programming for Trust Management (MC, SE), pp. 380–394.

ICLP-2007-CostaSL #prolog

Demand-Driven Indexing of Prolog Clauses (VSC, KFS, RL), pp. 395–409.

ICLP-2007-SilvaC #compilation #design #evaluation #framework #implementation

Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System (AFdS, VSC), pp. 410–424.

ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.

ICLP-2007-CaliL #logic programming #probability #semantics #source code #web

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web (AC, TL), pp. 428–429.

ICLP-2007-CaropreseTZ #constraints

View Updating Through Active Integrity Constraints (LC, IT, EZ), pp. 430–431.

ICLP-2007-Hunyadi #framework #interface #named #prolog #web

Prosper: A Framework for Extending Prolog Applications with a Web Interface (LH), pp. 432–433.

ICLP-2007-MancarellaTT #abduction #logic programming #verification #web

Web Sites Verification: An Abductive Logic Programming Tool (PM, GT, FT), pp. 434–435.

ICLP-2007-Morozov #analysis #design #logic programming #visual notation

Visual Logic Programming Method Based on Structural Analysis and Design Technique (AAM), pp. 436–437.

ICLP-2007-Nguyen #approximate #complexity #knowledge base #logic

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity (LAN), pp. 438–439.

ICLP-2007-OikarinenJ #linear #logic programming

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (EO, TJ), pp. 440–441.

ICLP-2007-Palshikar #execution #graph grammar #prolog #representation

Representation and Execution of a Graph Grammar in Prolog (GKP), pp. 442–443.

ICLP-2007-RochaSL #on the #program transformation #prolog

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.

ICLP-2007-SneyersWSD #constraints

Aggregates in Constraint Handling Rules (JS, PVW, TS, BD), pp. 446–448.

ICLP-2007-NieuwenborghCV #fuzzy #set #using

Computing Fuzzy Answer Sets Using dlvhex (DVN, MDC, DV), pp. 449–450.

ICLP-2007-West #animation #logic programming #programming language #specification #using

The Use of a Logic Programming Language in the Animation of Z Specifications (MMW), pp. 451–452.

ICLP-2007-Wong #equivalence #logic programming #source code

A Stronger Notion of Equivalence for Logic Programs (KSW), pp. 453–454.

ICLP-2007-Zhou #prolog

A Register-Free Abstract Prolog Machine with Jumbo Instructions (NFZ), pp. 455–457.

ICLP-2007-Gebser #programming #set

Advanced Techniques for Answer Set Programming (MG), pp. 458–459.

ICLP-2007-NeedhamV #game studies #semantics

A Games Semantics of ASP (JN, MDV), pp. 460–461.

ICLP-2007-Oikarinen #composition #programming #set

Modular Answer Set Programming (EO), pp. 462–463.

ICLP-2007-OlartePV #concurrent #constraints #programming

Universal Timed Concurrent Constraint Programming (CO, CP, FV), pp. 464–465.

ICLP-2007-Weert #implementation

Extension and Implementation of CHR (PVW), pp. 466–468.