Theory and Practice of Logic Programming

Table of Contents - Volume  13  - Special Issue 4-5 (29th International Conference on Logic Programming) - Mon Jul 01 00:00:00 BST 2013

Editors: Evelina Lamma and Terrance Swift

Invited Editorial

Editorial: 29th International Conference on Logic Programming special issue

 
preview

EVELINA LAMMA and TERRANCE SWIFT

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 465 - 470

Copyright © 2013 [EVELINA LAMMA and TERRANCE SWIFT] 

DOI: http://dx.doi.org/10.1017/S1471068413000112 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Regular Papers

Detection and exploitation of functional dependencies for model generation

 
preview

BROES DE CAT and MAURICE BRUYNOOGHE

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 471 - 485

Copyright © 2013 [BROES DE CAT and MAURICE BRUYNOOGHE] 

DOI: http://dx.doi.org/10.1017/S147106841300029X (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

The jobs puzzle: Taking on the challenge via controlled natural language processing

 
preview

ROLF SCHWITTER

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 487 - 501

Copyright © 2013 [ROLF SCHWITTER] 

DOI: http://dx.doi.org/10.1017/S1471068413000306 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Lloyd-Topor completion and general stable models

 
preview

VLADIMIR LIFSCHITZ and FANGKAI YANG

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 503 - 515

Copyright © 2013 [VLADIMIR LIFSCHITZ and FANGKAI YANG] 

DOI: http://dx.doi.org/10.1017/S1471068413000318 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Stable model semantics for founded bounds

 
preview

REHAN ABDUL AZIZ, GEOFFREY CHU and PETER J. STUCKEY

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 517 - 532

Copyright © 2013 [REHAN ABDUL AZIZ, GEOFFREY CHU and PETER J. STUCKEY] 

DOI: http://dx.doi.org/10.1017/S147106841300032X (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Delimited continuations for prolog

 
preview

TOM SCHRIJVERS, BART DEMOEN, BENOIT DESOUTER and JAN WIELEMAKER

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 533 - 546

Copyright © 2013 [TOM SCHRIJVERS, BART DEMOEN, BENOIT DESOUTER and JAN WIELEMAKER] 

DOI: http://dx.doi.org/10.1017/S1471068413000331 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

ASP with non-herbrand partial functions: a language and system for practical use

 
preview

MARCELLO BALDUCCINI

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 547 - 561

Copyright © 2013 [MARCELLO BALDUCCINI] 

DOI: http://dx.doi.org/10.1017/S1471068413000343 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Disjunctive logic programs with existential quantification in rule heads

 
preview

JIA-HUAI YOU, HENG ZHANG and YAN ZHANG

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 563 - 578

Copyright © 2013 [JIA-HUAI YOU, HENG ZHANG and YAN ZHANG] 

DOI: http://dx.doi.org/10.1017/S1471068413000355 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Relative expressiveness of defeasible logics II

 
preview

MICHAEL J. MAHER

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 579 - 592

Copyright © 2013 [MICHAEL J. MAHER] 

DOI: http://dx.doi.org/10.1017/S1471068413000367 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Failure tabled constraint logic programming by interpolation

 
preview

GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD and PETER J. STUCKEY

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 593 - 607

Copyright © 2013 [GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD and PETER J. STUCKEY] 

DOI: http://dx.doi.org/10.1017/S1471068413000379 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

A declarative extension of horn clauses, and its significance for datalog and its applications

 
preview

MIRJANA MAZURAN, EDOARDO SERRA and CARLO ZANIOLO

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 609 - 623

Copyright © 2013 [MIRJANA MAZURAN, EDOARDO SERRA and CARLO ZANIOLO] 

DOI: http://dx.doi.org/10.1017/S1471068413000380 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Using sequential runtime distributions for the parallel speedup prediction of SAT local search

 
preview

ALEJANDRO ARBELAEZ, CHARLOTTE TRUCHET and PHILIPPE CODOGNET

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 625 - 639

Copyright © 2013 [ALEJANDRO ARBELAEZ, CHARLOTTE TRUCHET and PHILIPPE CODOGNET] 

DOI: http://dx.doi.org/10.1017/S1471068413000392 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Business process verification with constraint temporal answer set programming

 
preview

LAURA GIORDANO, ALBERTO MARTELLI, MATTEO SPIOTTA and DANIELE THESEIDER DUPRÉ

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 641 - 655

Copyright © 2013 [LAURA GIORDANO, ALBERTO MARTELLI, MATTEO SPIOTTA and DANIELE THESEIDER DUPRÉ] 

DOI: http://dx.doi.org/10.1017/S1471068413000409 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

 
preview

PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG PÜHRER, PETER SKOČOVSKÝ and HANS TOMPITS

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 657 - 673

Copyright © 2013 [PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG PÜHRER, PETER SKOČOVSKÝ and HANS TOMPITS] 

DOI: http://dx.doi.org/10.1017/S1471068413000410 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Minimal intervention strategies in logical signaling networks with ASP

 
preview

ROLAND KAMINSKI, TORSTEN SCHAUB, ANNE SIEGEL and SANTIAGO VIDELA

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 675 - 690

Copyright © 2013 [ROLAND KAMINSKI, TORSTEN SCHAUB, ANNE SIEGEL and SANTIAGO VIDELA] 

DOI: http://dx.doi.org/10.1017/S1471068413000422 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3

 
preview

JOACHIM JANSEN, ALBERT JORISSEN and GERDA JANSSENS

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 691 - 704

Copyright © 2013 [JOACHIM JANSEN, ALBERT JORISSEN and GERDA JANSSENS] 

DOI: http://dx.doi.org/10.1017/S1471068413000434 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

A practical analysis of non-termination in large logic programs

 
preview

SENLIN LIANG and MICHAEL KIFER

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 705 - 719

Copyright © 2013 [SENLIN LIANG and MICHAEL KIFER] 

DOI: http://dx.doi.org/10.1017/S1471068413000446 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

A CLP heap solver for test case generation

 
preview

ELVIRA ALBERT, MARÍA GARCÍA DE LA BANDA, MIGUEL GÓMEZ-ZAMALLOA, JOSÉ MIGUEL ROJAS and PETER STUCKEY

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 721 - 735

Copyright © 2013 [ELVIRA ALBERT, MARÍA GARCÍA DE LA BANDA, MIGUEL GÓMEZ-ZAMALLOA, JOSÉ MIGUEL ROJAS, and PETER STUCKEY] 

DOI: http://dx.doi.org/10.1017/S1471068413000458 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments

 
preview

SERGIO GRECO, CRISTIAN MOLINARO and IRINA TRUBITSYNA

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 737 - 752

Copyright © 2013 [SERGIO GRECO, CRISTIAN MOLINARO and IRINA TRUBITSYNA] 

DOI: http://dx.doi.org/10.1017/S147106841300046X (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Fuzzy answer sets approximations

 
preview

MARIO ALVIANO and RAFAEL PEÑALOZA

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 753 - 767

Copyright © 2013 [MARIO ALVIANO and RAFAEL PEÑALOZA] 

DOI: http://dx.doi.org/10.1017/S1471068413000471 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Probabilistic legal reasoning in CHRiSM

 
preview

JON SNEYERS, DANNY DE SCHREYE and THOM FRÜHWIRTH

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 769 - 781

Copyright © 2013 [JON SNEYERS, DANNY DE SCHREYE and THOM FRÜHWIRTH] 

DOI: http://dx.doi.org/10.1017/S1471068413000483 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Answer set programming as a modeling language for course timetabling

 
preview

MUTSUNORI BANBARA, TAKEHIDE SOH, NAOYUKI TAMURA, KATSUMI INOUE and TORSTEN SCHAUB

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 783 - 798

Copyright © 2013 [MUTSUNORI BANBARA, TAKEHIDE SOH, NAOYUKI TAMURA, KATSUMI INOUE and TORSTEN SCHAUB] 

DOI: http://dx.doi.org/10.1017/S1471068413000495 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

BigYAP: Exo-compilation meets UDI

 
preview

VÍTOR SANTOS COSTA and DAVID VAZ

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 799 - 813

Copyright © 2013 [VÍTOR SANTOS COSTA and DAVID VAZ] 

DOI: http://dx.doi.org/10.1017/S1471068413000501 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

A declarative approach to distributed computing: Specification, execution and analysis

 
preview

JIEFEI MA, FRANCK LE, DAVID WOOD, ALESSANDRA RUSSO and JORGE LOBO

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 815 - 830

Copyright © 2013 [JIEFEI MA, FRANCK LE, DAVID WOOD, ALESSANDRA RUSSO, and JORGE LOBO] 

DOI: http://dx.doi.org/10.1017/S1471068413000513 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach

 
preview

ESRA ERDEM, VOLKAN PATOGLU, ZEYNEP G. SARIBATUR, PETER SCHÜLLER and TANSEL URAS

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 831 - 846

Copyright © 2013 [ESRA ERDEM, VOLKAN PATOGLU, ZEYNEP G. SARIBATUR, PETER SCHÜLLER and TANSEL URAS] 

DOI: http://dx.doi.org/10.1017/S1471068413000525 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)

 
preview

PAUL TARAU

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 847 - 861

Copyright © 2013 [PAUL TARAU] 

DOI: http://dx.doi.org/10.1017/S1471068413000537 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

On the stable model semantics for intensional functions

 
preview

MICHAEL BARTHOLOMEW and JOOHYUNG LEE

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 863 - 876

Copyright © 2013 [MICHAEL BARTHOLOMEW and JOOHYUNG LEE] 

DOI: http://dx.doi.org/10.1017/S1471068413000549 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Combining decidability paradigms for existential rules

 
preview

GEORG GOTTLOB, MARCO MANNA and ANDREAS PIERIS

Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp 877 - 892

Copyright © 2013 [GEORG GOTTLOB, MARCO MANNA and ANDREAS PIERIS] 

DOI: http://dx.doi.org/10.1017/S1471068413000550 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Front Cover (OFC, IFC) and matter

TLP volume 13 issue 4-5 Cover and Front matter

 
preview
Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp f1 - f2

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S1471068413000264 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment

Back Cover (IBC, OBC) and matter

TLP volume 13 issue 4-5 Cover and Back matter

 
preview
Theory and Practice of Logic Programming / Volume  13 / Special Issue 4-5 / Mon Jul 01 00:00:00 BST 2013, pp b1 - b3

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S1471068413000276 (About DOI), Published online: Wed Sep 25 00:00:00 BST 2013

 

Post a Comment