TPLP Volume 13, 2013

Please use the TPLP citation in your papers, not the arXiv/corr one!

Volume 13 – Issue 01

Volume 13 issue 02 – Special Issue on the 25th Annual GULP Conference

Volume 13 – Issue 03

Volume 13 – Special Issue 04-05 (29th International Conference on Logic Programming)

Regular papers

Technical Communications

  • Paulo Shakarian, Gerardo Simari and Devon Callahan: Reasoning about Complex Networks: A Logic Programming Approach. tlp2013001.
  • Claudia Schulz and Francesca Toni: ABA-Based Answer Set Justification.
  • Edison Mera and Jan Wielemaker: Porting and refactoring Prolog programs: the PROSYN case study. tlp2013003.
  • Lunjin Lu: Towards Parametrizing Logic Program Analysis: Two Examples. tlp2013004.
  • Werner Nutt, Sergey Paramonov and Ognjen Savković: An ASP Approach to Query Completeness Reasoning. tlp2013005.
  • Davide Ancona and Agostino Dovier: co-LP: Back to the Roots. tlp2013006.
  • Vivek Nigam, Giselle Reis and Leonardo Lima: Checking Proof Transformations with ASP. tlp2013007.
  • Ari Saptawijaya and Luís Moniz Pereira: Tabled Abduction in Logic Programs. tlp2013008.
  • Vernon Asuncion, Yan Zhang, Heng Zhang and Yi Zhou: Constructive Circumscription. tlp2013009.
  • Amira Zaki, Thom Frühwirth and Slim Abdennadher: Towards Inverse Execution of Constraint Handling Rules. tlp2013010.
  • Alejandro Serrano, Pedro Lopez-Garcia, Francisco Bueno and Manuel Hermenegildo: Sized Type Analysis for Logic Programs. tlp2013011.
  • Tony Ribeiro, Katsumi Inoue and Gauvain Bourgne: Combining Answer Set Programs for Adaptive and Reactive Reasoning. tlp2013012.
  • Arne König and Torsten Schaub: Monitoring and Visualizing Answer Set Solving. tlp2013013.
  • Viviana Mascardi and Davide Ancona: Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. tlp2013014.
  • Jianmin Ji, Fangzhen Lin and Jia-Huai You: Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. tlp2013015.
  • Lenz Belzner: Action Programming In Rewriting Logic. tlp2013016.
  • Dimitar Shterionov, Theofrastos Mantadelis and Gerda Janssens: Pattern-Based Compaction for ProbLog Inference. tlp2013017.
  • Michael Hanus: Adding Plural Arguments to Curry Programs. tlp2013018.
  • Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt and Marc Denecker: The effects of buying a new car: an extension of the IDP Knowledge Base System. tlp2013019.
  • Ana Sofia Gomes and José Júlio Alferes: Extending Transaction Logic with External Actions. tlp2013020.
  • Dalal Alrajeh, Rob Miller, Alessandra Russo and Sebastian Uchitel: Reasoning about Triggered Scenarios in Logic Programming. tlp2013021.
  • Vinay Chaudhri, Stijn Heymans, Son Tran and Michael Wessel: Object-Oriented Knowledge Bases in Logic Programming. tlp2013022.
  • Saadat Anwar, Chitta Baral and Katsumi Inoue: Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. tlp2013023.
  • Marcello Balduccini and Yuliya Lierler: Integration Schemas for Constraint Answer Set Programming: a Case Study. tlp2013024.
  • Amir Aavani, Eugenia Ternovska and David Mitchell: Problem Solving with the Enfragmo System. tlp2013025.
  • Said Jabbour, Lakhdar Sais and Yakoub Salhi: A Pigeon-Hole Based Encoding of Cardinality Constraints. tlp2013026.

Doctoral Consortium Contributions

  • Marco Gavanelli and Martin Gebser: The ICLP 2013 Doctoral Consortium. tlp2013027.
  • Roberto Amadini: Evaluation and Application of Portfolio Approaches in Constraint Programming. tlp2013028.
  • Michael Bartholomew: The Role of Functions in the Stable Model Semantics: tlp2013029.
  • Sergio Castro: LogicObjects: A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language. tlp2013030.
  • Benoit Desouter: Implementing LP Systems with CP Techniques, tlp2013031.
  • Carmine Dodaro: Engineering an Efficient Native ASP Solver, tlp2013032.
  • Jorge Fandinno: Algebraic Approach to Causal Logic Programs, tlp2013033.
  • Johannes Klaus Fichte: Backdoors to the Tractability of Answer Set Programming, tlp2013034.
  • Amelia Harrison: The Semantics of Gringo and Proving Strong Equivalence, tlp2013035.
  • Arne König: Visualizing Answer Set Programming, tlp2013036.
  • Ari Saptawijaya: Towards Computational Morality with Logic Programming, tlp2013037.
  • Claudia Schulz: Argumentation for Answer Set Programming and other Non-monotonic Reasoning Systems, tlp2013038.
  • Laura Titolo: An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages, tlp2013039.
  • Fangkai Yang: Representing Actions in Logic-based Languages, tlp2013040.

Volume 13 issue 06