LIPIcs, Volume 17, ICLP 2012

Agostino Dovier and Vítor Santos Costa LIPIcs, Volume 17, ICLP'12, Complete Volume 10.4230/LIPIcs.ICLP.2012
Agostino Dovier and Vítor Santos Costa Frontmatter, Table of Contents, List of Authors 10.4230/LIPIcs.ICLP.2012.i
Agostino Dovier and Vítor Santos Costa Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue 10.4230/LIPIcs.ICLP.2012.xvii
François Bry and Sebastian Schaffert Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) 10.4230/LIPIcs.ICLP.2012.1
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, and Sicco Verwer Modeling Machine Learning and Data Mining Problems with FO(·) 10.4230/LIPIcs.ICLP.2012.14
Chitta Baral, Nguyen Ha Vo, and Shanshan Liang Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report 10.4230/LIPIcs.ICLP.2012.26
Marco Maratea, Luca Pulina, and Francesco Ricca Applying Machine Learning Techniques to ASP Solving 10.4230/LIPIcs.ICLP.2012.37
Marcello Balduccini An Answer Set Solver for non-Herbrand Programs: Progress Report 10.4230/LIPIcs.ICLP.2012.49
Joohyung Lee and Yunsong Meng Stable Models of Formulas with Generalized Quantifiers (Preliminary Report) 10.4230/LIPIcs.ICLP.2012.61
Florian Schanda and Martin Brain Using Answer Set Programming in the Development of Verified Software 10.4230/LIPIcs.ICLP.2012.72
Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix 10.4230/LIPIcs.ICLP.2012.86
Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa Towards Testing Concurrent Objects in CLP 10.4230/LIPIcs.ICLP.2012.98
Slim Abdennadher and Nada Sharaf Visualization of CHR through Source-to-Source Transformation 10.4230/LIPIcs.ICLP.2012.109
Zsolt Zombori, János Csorba, and Péter Szeredi Static Type Inference for the Q language using Constraint Logic Programming 10.4230/LIPIcs.ICLP.2012.119
Michael Hanus Improving Lazy Non-Deterministic Computations by Demand Analysis 10.4230/LIPIcs.ICLP.2012.130
Giovanni Bacci, Marco Comini, Marco A. Feliú, and Alicia Villanueva The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 10.4230/LIPIcs.ICLP.2012.144
Rafael del Vado Vírseda, Fernando Pérez Morente, and Marcos Miguel García Toledo A Concurrent Operational Semantics for Constraint Functional Logic Programming 10.4230/LIPIcs.ICLP.2012.154
Bryan Silverthorn, Yuliya Lierler, and Marius Schneider Surviving Solver Sensitivity: An ASP Practitioner’s Guide 10.4230/LIPIcs.ICLP.2012.164
Holger Hoos, Roland Kaminski, Torsten Schaub, and Marius Schneider aspeed: ASP-based Solver Scheduling 10.4230/LIPIcs.ICLP.2012.176
Christian Drescher and Toby Walsh Answer Set Solving with Lazy Nogood Generation 10.4230/LIPIcs.ICLP.2012.188
Broes De Cat, Marc Denecker, and Peter Stuckey Lazy Model Expansion by Incremental Grounding 10.4230/LIPIcs.ICLP.2012.201
Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, and Torsten Schaub Unsatisfiability-based optimization in clasp 10.4230/LIPIcs.ICLP.2012.211
Johannes Oetsch, Jörg Pührer, and Hans Tompits An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions 10.4230/LIPIcs.ICLP.2012.222
Jia-Huai You, John Morris, and Yi Bi Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs 10.4230/LIPIcs.ICLP.2012.235
Michael Morak and Stefan Woltran Preprocessing of Complex Non-Ground Rules in Answer Set Programming 10.4230/LIPIcs.ICLP.2012.247
Vladimir Lifschitz Two-Valued Logic Programs 10.4230/LIPIcs.ICLP.2012.259
Juan Carlos Nieves and Helena Lindgren Possibilistic Nested Logic Programs 10.4230/LIPIcs.ICLP.2012.267
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, and Joost Vennekens A Tarskian Informal Semantics for Answer Set Programming 10.4230/LIPIcs.ICLP.2012.277
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, and Concepción Vidal Paving the Way for Temporal Grounding 10.4230/LIPIcs.ICLP.2012.290
Wlodzimierz Drabent Logic + control: An example 10.4230/LIPIcs.ICLP.2012.301
Paul Tarau Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection 10.4230/LIPIcs.ICLP.2012.312
Sergio Greco, Francesca Spezzano, and Irina Trubitsyna On the Termination of Logic Programs with Function Symbols 10.4230/LIPIcs.ICLP.2012.323
Emilio Jesús Gallego Arias and James B. Lipton Logic Programming in Tabular Allegories 10.4230/LIPIcs.ICLP.2012.334
Taisuke Sato and Philipp Meyer Tabling for infinite probability computation 10.4230/LIPIcs.ICLP.2012.348
Tiep Le, Hieu Nguyen, Enrico Pontelli, and Tran Cao Son ASP at Work: An ASP Implementation of PhyloWS 10.4230/LIPIcs.ICLP.2012.359
Veronica Dahl, Bradley Coleman, J. Emilio Miralles, and Erez Maharshak CHR for Social Responsibility 10.4230/LIPIcs.ICLP.2012.370
Nuno Lopes, Sabrina Kirrane, Antoine Zimmermann, Axel Polleres, and Alessandra Mileo A Logic Programming approach for Access Control over RDF 10.4230/LIPIcs.ICLP.2012.381
Viviana Novelli, Marina De Vos, Julian Padget, and Dina D’Ayala LOG-IDEAH: ASP for Architectonic Asset Preservation 10.4230/LIPIcs.ICLP.2012.393
Xiaoping Chen, Guoqiang Jin, and Fangkai Yang Extending C+ with Composite Actions for Robotic Task Planning 10.4230/LIPIcs.ICLP.2012.404
Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, and Federico Malucelli Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit 10.4230/LIPIcs.ICLP.2012.415
Nathaniel Wesley Filardo and Jason Eisner A Flexible Solver for Finite Arithmetic Circuits 10.4230/LIPIcs.ICLP.2012.425
Emanuele De Angelis Software Model Checking by Program Specialization 10.4230/LIPIcs.ICLP.2012.439
Martín Diéguez Temporal Answer Set Programming 10.4230/LIPIcs.ICLP.2012.445
Spyros Hadjichristodoulou A Gradual Polymorphic Type System with Subtyping for Prolog 10.4230/LIPIcs.ICLP.2012.451
Max Ostrowski ASP modulo CSP: The clingcon system 10.4230/LIPIcs.ICLP.2012.458
Andrea Peano An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System 10.4230/LIPIcs.ICLP.2012.464
Christoph Redl Answer Set Programming with External Sources 10.4230/LIPIcs.ICLP.2012.469
Ben Wright Together, Is Anything Possible? A Look at Collective Commitments for Agents 10.4230/LIPIcs.ICLP.2012.476