Manuel V. Hermenegildo, Torsten Schaub
Proceedings of the 26th International Conference on Logic Programming
ICLP-J-2010, 2010.

@proceedings{ICLP-J-2010,
	editor        = "Manuel V. Hermenegildo and Torsten Schaub",
	journal       = "{Theory and Practice of Logic Programming}",
	number        = "4-6",
	title         = "{Proceedings of the 26th International Conference on Logic Programming}",
	volume        = 10,
	year          = 2010,
}

Event page: http://www.floc-conference.org/ICLP-home.html

Contents (25 items)

7 ×#source code
5 ×#logic programming
3 ×#decidability
3 ×#logic
3 ×#set
2 ×#approach
2 ×#constraints
2 ×#debugging
2 ×#modelling
2 ×#semantics

ICLP-J-2010-Schneider-KampGSST #analysis #automation #logic programming #source code #termination

Automated termination analysis for logic programs with cut (PSK, JG, TS, AS, RT), pp. 365–381.

ICLP-J-2010-PettorossiSP #infinity #logic programming #source code

Transformations of logic programs on infinite lists (AP, VS, MP), pp. 383–399.

ICLP-J-2010-GuzmanCW #evaluation #on-demand

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (PCdG, MC, DSW), pp. 401–416.

ICLP-J-2010-CostaDR #thread

Threads and or-parallelism unified (VSC, IdCD, RR), pp. 417–432.

ICLP-J-2010-SneyersMVKS #learning #logic #probability

CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.

ICLP-J-2010-ChristiansenHLP #markov #modelling

Inference with constrained hidden Markov models in PRISM (HC, CTH, OTL, MP), pp. 449–464.

ICLP-J-2010-DrescherW #approach #constraints #set

A translational approach to constraint answer set solving (CD, TW), pp. 465–480.

ICLP-J-2010-BaseliceB #decidability #source code #subclass

A decidable subclass of finitary programs (SB, PAB), pp. 481–496.

ICLP-J-2010-AlvianoFL #decidability #effectiveness #query

Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.

ICLP-J-2010-OetschPT #debugging #source code

Catching the Ouroboros: On debugging non-ground answer-set programs (JO, JP, HT), pp. 513–529.

ICLP-J-2010-WangYYS #logic programming #source code

Loop formulas for description logic programs (YW, JHY, LYY, YDS), pp. 531–545.

ICLP-J-2010-SlotaL #reasoning #towards

Towards closed world reasoning in dynamic open worlds (MS, JL), pp. 547–563.

ICLP-J-2010-Delgrande #approach #logic programming #semantics #set #source code

A program-level approach to revising logic programs under the answer set semantics (JPD), pp. 565–580.

ICLP-J-2010-HouCD #fixpoint #logic #rule-based

FO(FD): Extending classical logic with rule-based fixpoint definitions (PH, BdC, MD), pp. 581–596.

ICLP-J-2010-BetzRF #constraints #execution

A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.

ICLP-J-2010-GabbrielliMMS #decidability

Decidability properties for fragments of CHR (MG, JM, MCM, JS), pp. 611–626.

ICLP-J-2010-Rodriguez-ArtalejoR #declarative #proximity #semantics

A declarative semantics for CLP with qualification and proximity (MRA, CARD), pp. 627–642.

ICLP-J-2010-GavanelliRMC #assessment

Logic-based decision support for strategic environmental assessment (MG, FR, MM, PC), pp. 643–658.

ICLP-J-2010-Gomez-ZamalloaAP #generative #imperative #object-oriented #testing

Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.

ICLP-J-2010-BaralGPS #case study #logic #logic programming #modelling

Logic programming for finding models in the logics of knowledge and its applications: A case study (CB, GG, EP, TCS), pp. 675–690.

ICLP-J-2010-LopesNRS #distributed #prolog

Applying Prolog to develop distributed systems (NPL, JANP, AR, AS), pp. 691–707.

ICLP-J-2010-PaluDFP #assembly

CLP-based protein fragment assembly (ADP, AD, FF, EP), pp. 709–724.

ICLP-J-2010-BalducciniG #formal method #programming #set

Formalization of psychological knowledge in answer set programming and its application (MB, SG), pp. 725–740.

ICLP-J-2010-BrummayerJ #debugging #development #testing

Testing and debugging techniques for answer set solver development (RB, MJ), pp. 741–758.

ICLP-J-2010-OetschPST #detection #source code

The system Kato: Detecting cases of plagiarism for answer-set programs (JO, JP, MS, HT), pp. 759–775.