Please use the TPLP citation in your papers, not the corr one!
Volume 10, Issue 1. January 2010
Regular Papers
- As time goes by: Constraint Handling Rules — A survey of CHR research from 1998 to 2007 ,
Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Leslie De Koninck (pp 1-47) - On the interaction between sharing and linearity ,
GIANLUCA AMATO and FRANCESCA SCOZZARI (pp 49-112)
Technical Notes
- On the complexity of identifying Head Elementary Set Free programs ,
Fabio Fassetti and Luigi Palopoli (pp 113-123)
Volume 10, Issue 2. March 2010
Regular Papers
- NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems ,
Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano (pp 125-166) - Multi-valued action languages with constraints in CLP(FD) ,
Agostino Dovier, Andrea Formisano, Enrico Pontelli (pp 167-235)
Book Reviews
- Handbook of Practical Logic and Automated Reasoning, John Harrison Cambridge University Press, 2009 ,
by Jeremy Avigad (pp 237-241)
Volume 10, Issue 3. May 2010
Special Issue on Logic Programming in Databases: from Datalog to Semantic-Web Rules
- Introduction to the TPLP special issue on Logic programming in databases: from Datalog to semantic-web rules ,
Giorgio Orsi, Letizia Tanca (pp 243-250) - The role of semantics in mining frequent patterns from knowledge bases in description logics with rules ,
Joanna Jozefowska, Agnieszka Lawrynowicz, Tomasz Lukaszewski (pp 251-289) - Querying incomplete data over extended ER schemata ,
Andrea Cal\`\i and Davide Martinenghi (pp 291-329) - Inductive logic programming in databases: from \textsc{Datalog} to \textsc{$\mathcal{DL}$+log}$^{\neg\vee}$ ,
Francesca Alessandra Lisi (pp 331-359)
Volume 10, Special Issue 4-6 (26th International Conference on Logic Programming) 2010
- Introduction to the 26th international conference on logic programming special issue ,
MANUEL HERMENEGILDO and TORSTEN SCHAUB (pp 361-364) - Automated termination analysis for logic programs with cut ,
PETER SCHNEIDER-KAMP, JÜRGEN GIESL, THOMAS STRÖDER, ALEXANDER SEREBRENIK and RENÉ THIEMANN (pp 365-381) - Transformations of logic programs on infinite lists ,
ALBERTO PETTOROSSI, MAURIZIO PROIETTI and VALERIO SENNI (pp 383-399) - Swapping evaluation: A memory-scalable solution for answer-on-demand tabling ,
PABLO CHICO DE GUZM’AN, MANUEL CARRO and DAVID S. WARREN (pp 401-416) - Threads and or-parallelism unified ,
VÍTOR SANTOS COSTA, INÊS DUTRA and RICARDO ROCHA (pp 417-432) - CHR(PRISM)-based probabilistic logic learning ,
JON SNEYERS, WANNES MEERT, JOOST VENNEKENS, YOSHITAKA KAMEYA and TAISUKE SATO - Inference with constrained hidden Markov models in PRISM ,
HENNING CHRISTIANSEN, OLE TORP LASSEN and MATTHIEU PETIT (pp 449-464) - A translational approach to constraint answer set solving ,
CHRISTIAN DRESCHER and TOBY WALSH (pp 465-480) - A decidable subclass of finitary programs ,
SABRINA BASELICE and PIERO A. BONATTI (pp 481-496) - Disjunctive ASP with functions: Decidable queries and effective computation ,
MARIO ALVIANO, WOLFGANG FABER and NICOLA LEONE (pp 497-512) - Catching the Ouroboros: On debugging non-ground answer-set programs ,
JOHANNES OETSCH, JÖRG PÜHRER and HANS TOMPITS (pp 513-529) - formulas for description logic programs ,
YISONG WANG, LI YAN YUAN and YI-DONG SHEN (pp 531-545) - Towards closed world reasoning in dynamic open worlds ,
MARTIN SLOTA and JOÃO LEITE (pp 547-563) - A program-level approach to revising logic programs under the answer set semantics ,
JAMES P. DELGRANDE (pp 565-580) - FO(FD): Extending classical logic with rule-based fixpoint definitions ,
PING HOU, BROES DE CAT and MARC DENECKER (pp 581-596) - A complete and terminating execution model for Constraint Handling Rules ,
HARIOLF BETZ, FRANK RAISER and THOM FRÜHWIRTH (pp 597-610) - Decidability properties for fragments of CHR ,
MAURIZIO GABBRIELLI, MARIA CHIARA MEO and JON SNEYERS (pp 611-626) - A declarative semantics for CLP with qualification and proximity ,
MARIO RODRÍGUEZ-ARTALEJO and CARLOS A. ROMERO-DÍAZ (pp 627-642) - Logic-based decision support for strategic environmental assessment ,
MARCO GAVANELLI, MICHELA MILANO and PAOLO CAGNOLI (pp 643-658) - Test case generation for object-oriented imperative languages in CLP ,
MIGUEL GÓMEZ-ZAMALLOA, ELVIRA ALBERT and GERMÁN PUEBLA (pp 659-674) - Logic programming for finding models in the logics of knowledge and its applications: A case study ,
C. BARAL, E. PONTELLI and T. SON (pp 675-690) - Applying Prolog to develop distributed systems ,
NUNO P. LOPES, ANDREY RYBALCHENKO and ATUL SINGH (pp 691-707) - CLP-based protein fragment assembly ,
ALESSANDRO DAL PALÙ, AGOSTINO DOVIER, FEDERICO FOGOLARI and ENRICO PONTELLI (pp 709-724) - Formalization of psychological knowledge in answer set programming and its application ,
MARCELLO BALDUCCINI and SARA GIROTTO (pp 725-740) - Testing and debugging techniques for answer set solver development ,
ROBERT BRUMMAYER and MATTI JÄRVISALO (pp 741-758) - The system Kato: Detecting cases of plagiarism for answer-set programs ,
JOHANNES OETSCH, JÖRG PÜHRER, MARTIN SCHWENGERER and HANS TOMPITS (pp 759-775)