Proceedings of the 26th International Conference on Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
no DBLP info
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.