List of Technical Communications
- Paulo Shakarian, Gerardo Simari and Devon Callahan Reasoning about Complex Networks: A Logic Programming Approach
- Claudia Schulz and Francesca Toni ABA-Based Answer Set Justification
- Edison Mera and Jan Wielemaker Porting and refactoring Prolog programs: the PROSYN case study
- Lunjin Lu Towards Parametrizing Logic Program Analysis: Two Examples
- Werner Nutt, Sergey Paramonov and Ognjen SavkoviÄ An ASP Approach to Query Completeness Reasoning
- Davide Ancona and Agostino Dovier co-LP: Back to the Roots
- Vivek Nigam, Giselle Reis and Leonardo Lima Checking Proof Transformations with ASP
- Ari Saptawijaya and LuÃs Moniz Pereira Tabled Abduction in Logic Programs
- Vernon Asuncion, Yan Zhang, Heng Zhang and Yi Zhou Constructive Circumscription
- Amira Zaki, Thom Fruehwirth and Slim Abdennadher Towards Inverse Execution of Constraint Handling Rules
- Alejandro Serrano, Pedro Lopez-Garcia, Francisco Bueno and Manuel Hermenegildo Sized Type Analysis for Logic Programs
- Tony Ribeiro, Katsumi Inoue and Gauvain Bourgne Combining Answer Set Programs for Adaptive and Reactive Reasoning
- Arne Koenig and Torsten Schaub Monitoring and Visualizing Answer Set Solving
- Viviana Mascardi and Davide Ancona Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems
- 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
- Lenz Belzner Action Programming In Rewriting Logic
- Dimitar Shterionov, Theofrastos Mantadelis and Gerda Janssens Pattern-Based Compaction for ProbLog Inference
- Michael Hanus Adding Plural Arguments to Curry Programs
- 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
- Ana Sofia Gomes and Jose Julio Alferes Extending Transaction Logic with External Actions
- Dalal Alrajeh, Rob Miller, Alessandra Russo and Sebastian Uchitel Reasoning about Triggered Scenarios in Logic Programming
- Vinay Chaudhri, Stijn Heymans, Son Tran and Michael Wessel Object-Oriented Knowledge Bases in Logic Programming
- Saadat Anwar, Chitta Baral and Katsumi Inoue Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
- Marcello Balduccini and Yuliya Lierler Integration Schemas for Constraint Answer Set Programming: a Case Study
- Amir Aavani, Eugenia Ternovska and David Mitchell Problem Solving with the Enfragmo System
- Said Jabbour, Lakhdar Sais and Yakoub Salhi A Pigeon-Hole Based Encoding of Cardinality Constraints