ICLP 2012 September 4-8, 2012, Budapest, Hungary

Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)



Agostino Dovier and Vítor Santos Costa (Eds.)
ISBN 978-3-939897-43-9, LIPICS Vol. 17 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server

Authors
  • A. Feliú, Marco
  • Abdennadher, Slim
  • Aguado, Felicidad
  • Albert, Elvira
  • Andres, Benjamin
  • Arenas, Puri
  • B. Lipton, James
  • Bacci, Giovanni
  • Balduccini, Marcello
  • Banbara, Mutsunori
  • Baral, Chitta
  • Bi, Yi
  • Blockeel, Hendrik
  • Bogaerts, Bart
  • Brain, Martin
  • Bruynooghe, Maurice
  • Bry, François
  • Cabalar, Pedro
  • Cao Son, Tran
  • Cattafi, Massimiliano
  • Chen, Xiaoping
  • Coleman, Bradley
  • Comini, Marco
  • Csorba, János
  • Dahl, Veronica
  • De Angelis, Emanuele
  • De Cat, Broes
  • De Pooter, Stef
  • De Vos, Marina
  • del Vado Vírseda, Rafael
  • Denecker, Marc
  • Diéguez, Martín
  • Dovier, Agostino
  • Drabent, Wlodzimierz
  • Drescher, Christian
  • D’Ayala, Dina
  • Eisner, Jason
  • Filardo, Nathaniel Wesley
  • Gallego Arias, Emilio Jesús
  • García Toledo, Marcos Miguel
  • Gavanelli, Marco
  • Greco, Sergio
  • Gómez-Zamalloa, Miguel
  • Ha Vo, Nguyen
  • Hadjichristodoulou, Spyros
  • Hanus, Michael
  • Herrero, Rosa
  • Hoos, Holger
  • Inoue, Katsumi
  • Jin, Guoqiang
  • Kaminski, Roland
  • Kaufmann, Benjamin
  • Kirrane, Sabrina
  • Labarre, Anthony
  • Le, Tiep
  • Lee, Joohyung
  • Liang, Shanshan
  • Lierler, Yuliya
  • Lifschitz, Vladimir
  • Lindgren, Helena
  • Lopes, Nuno
  • Maharshak, Erez
  • Malucelli, Federico
  • Maratea, Marco
  • Matheis, Oliver
  • Meng, Yunsong
  • Meyer, Philipp
  • Mileo, Alessandra
  • Miralles, J. Emilio
  • Morak, Michael
  • Morris, John
  • Nguyen, Hieu
  • Nieves, Juan Carlos
  • Nonato, Maddalena
  • Novelli, Viviana
  • Oetsch, Johannes
  • Ostrowski, Max
  • Padget, Julian
  • Peano, Andrea
  • Polleres, Axel
  • Pontelli, Enrico
  • Pulina, Luca
  • Pérez Morente, Fernando
  • Pérez, Gilberto
  • Pührer, Jörg
  • Ramon, Jan
  • Redl, Christoph
  • Ricca, Francesco
  • Santos Costa, Vítor
  • Sato, Taisuke
  • Schaffert, Sebastian
  • Schanda, Florian
  • Schaub, Torsten
  • Schneider, Marius
  • Sharaf, Nada
  • Silverthorn, Bryan
  • Spezzano, Francesca
  • Stuckey, Peter
  • Szeredi, Péter
  • Tamura, Naoyuki
  • Tarau, Paul
  • Tompits, Hans
  • Trubitsyna, Irina
  • Truszczynski, Miroslaw
  • Vennekens, Joost
  • Verwer, Sicco
  • Vidal, Concepción
  • Villanueva, Alicia
  • Walsh, Toby
  • Woltran, Stefan
  • Wright, Ben
  • Yang, Fangkai
  • You, Jia-Huai
  • Zimmermann, Antoine
  • Zombori, Zsolt
    		•

    		  
    Frontmatter, Table of Contents, List of Authors
    Authors: Dovier, Agostino ; Santos Costa, Vítor

    Abstract | Document (294 KB) | BibTeX

    Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue
    Authors: Dovier, Agostino ; Santos Costa, Vítor

    Abstract | Document (233 KB) | BibTeX

    Simulation Unification: Beyond Querying Semistructured Data (Invited Talk)
    Authors: Bry, François ; Schaffert, Sebastian

    Abstract | Document (458 KB) | BibTeX

    Modeling Machine Learning and Data Mining Problems with FO(·)
    Authors: Blockeel, Hendrik ; Bogaerts, Bart ; Bruynooghe, Maurice ; De Cat, Broes ; De Pooter, Stef ; Denecker, Marc ; Labarre, Anthony ; Ramon, Jan ; Verwer, Sicco

    Abstract | Document (506 KB) | BibTeX

    Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report
    Authors: Baral, Chitta ; Ha Vo, Nguyen ; Liang, Shanshan

    Abstract | Document (518 KB) | BibTeX

    Applying Machine Learning Techniques to ASP Solving
    Authors: Maratea, Marco ; Pulina, Luca ; Ricca, Francesco

    Abstract | Document (495 KB) | BibTeX

    An Answer Set Solver for non-Herbrand Programs: Progress Report
    Authors: Balduccini, Marcello

    Abstract | Document (441 KB) | BibTeX

    Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)
    Authors: Lee, Joohyung ; Meng, Yunsong

    Abstract | Document (511 KB) | BibTeX

    Using Answer Set Programming in the Development of Verified Software
    Authors: Schanda, Florian ; Brain, Martin

    Abstract | Document (860 KB) | BibTeX

    Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
    Authors: Banbara, Mutsunori ; Tamura, Naoyuki ; Inoue, Katsumi

    Abstract | Document (501 KB) | BibTeX

    Towards Testing Concurrent Objects in CLP
    Authors: Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel

    Abstract | Document (473 KB) | BibTeX

    Visualization of CHR through Source-to-Source Transformation
    Authors: Abdennadher, Slim ; Sharaf, Nada

    Abstract | Document (507 KB) | BibTeX

    Static Type Inference for the Q language using Constraint Logic Programming
    Authors: Zombori, Zsolt ; Csorba, János ; Szeredi, Péter

    Abstract | Document (448 KB) | BibTeX

    Improving Lazy Non-Deterministic Computations by Demand Analysis
    Authors: Hanus, Michael

    Abstract | Document (417 KB) | BibTeX

    The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
    Authors: Bacci, Giovanni ; Comini, Marco ; A. Feliú, Marco ; Villanueva, Alicia

    Abstract | Document (481 KB) | BibTeX

    A Concurrent Operational Semantics for Constraint Functional Logic Programming
    Authors: del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel

    Abstract | Document (614 KB) | BibTeX

    Surviving Solver Sensitivity: An ASP Practitioner’s Guide
    Authors: Silverthorn, Bryan ; Lierler, Yuliya ; Schneider, Marius

    Abstract | Document (502 KB) | BibTeX

    aspeed: ASP-based Solver Scheduling
    Authors: Hoos, Holger ; Kaminski, Roland ; Schaub, Torsten ; Schneider, Marius

    Abstract | Document (463 KB) | BibTeX

    Answer Set Solving with Lazy Nogood Generation
    Authors: Drescher, Christian ; Walsh, Toby

    Abstract | Document (414 KB) | BibTeX

    Lazy Model Expansion by Incremental Grounding
    Authors: De Cat, Broes ; Denecker, Marc ; Stuckey, Peter

    Abstract | Document (517 KB) | BibTeX

    Unsatisfiability-based optimization in clasp
    Authors: Andres, Benjamin ; Kaufmann, Benjamin ; Matheis, Oliver ; Schaub, Torsten

    Abstract | Document (413 KB) | BibTeX

    An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions
    Authors: Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans

    Abstract | Document (424 KB) | BibTeX

    Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs
    Authors: You, Jia-Huai ; Morris, John ; Bi, Yi

    Abstract | Document (360 KB) | BibTeX

    Preprocessing of Complex Non-Ground Rules in Answer Set Programming
    Authors: Morak, Michael ; Woltran, Stefan

    Abstract | Document (496 KB) | BibTeX

    Two-Valued Logic Programs
    Authors: Lifschitz, Vladimir

    Abstract | Document (313 KB) | BibTeX

    Possibilistic Nested Logic Programs
    Authors: Nieves, Juan Carlos ; Lindgren, Helena

    Abstract | Document (386 KB) | BibTeX

    A Tarskian Informal Semantics for Answer Set Programming
    Authors: Denecker, Marc ; Lierler, Yuliya ; Truszczynski, Miroslaw ; Vennekens, Joost

    Abstract | Document (508 KB) | BibTeX

    Paving the Way for Temporal Grounding
    Authors: Aguado, Felicidad ; Cabalar, Pedro ; Diéguez, Martín ; Pérez, Gilberto ; Vidal, Concepción

    Abstract | Document (461 KB) | BibTeX

    Logic + control: An example
    Authors: Drabent, Wlodzimierz

    Abstract | Document (478 KB) | BibTeX

    Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection
    Authors: Tarau, Paul

    Abstract | Document (430 KB) | BibTeX

    On the Termination of Logic Programs with Function Symbols
    Authors: Greco, Sergio ; Spezzano, Francesca ; Trubitsyna, Irina

    Abstract | Document (489 KB) | BibTeX

    Logic Programming in Tabular Allegories
    Authors: Gallego Arias, Emilio Jesús ; B. Lipton, James

    Abstract | Document (438 KB) | BibTeX

    Tabling for infinite probability computation
    Authors: Sato, Taisuke ; Meyer, Philipp

    Abstract | Document (486 KB) | BibTeX

    ASP at Work: An ASP Implementation of PhyloWS
    Authors: Le, Tiep ; Nguyen, Hieu ; Pontelli, Enrico ; Cao Son, Tran

    Abstract | Document (421 KB) | BibTeX

    CHR for Social Responsibility
    Authors: Dahl, Veronica ; Coleman, Bradley ; Miralles, J. Emilio ; Maharshak, Erez

    Abstract | Document (392 KB) | BibTeX

    A Logic Programming approach for Access Control over RDF
    Authors: Lopes, Nuno ; Kirrane, Sabrina ; Zimmermann, Antoine ; Polleres, Axel ; Mileo, Alessandra

    Abstract | Document (471 KB) | BibTeX

    LOG-IDEAH: ASP for Architectonic Asset Preservation
    Authors: Novelli, Viviana ; De Vos, Marina ; Padget, Julian ; D’Ayala, Dina

    Abstract | Document (2,093 KB) | BibTeX

    Extending C+ with Composite Actions for Robotic Task Planning
    Authors: Chen, Xiaoping ; Jin, Guoqiang ; Yang, Fangkai

    Abstract | Document (646 KB) | BibTeX

    Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit
    Authors: Cattafi, Massimiliano ; Herrero, Rosa ; Gavanelli, Marco ; Nonato, Maddalena ; Malucelli, Federico

    Abstract | Document (473 KB) | BibTeX

    A Flexible Solver for Finite Arithmetic Circuits
    Authors: Filardo, Nathaniel Wesley ; Eisner, Jason

    Abstract | Document (609 KB) | BibTeX

    Software Model Checking by Program Specialization
    Authors: De Angelis, Emanuele

    Abstract | Document (356 KB) | BibTeX

    Temporal Answer Set Programming
    Authors: Diéguez, Martín

    Abstract | Document (364 KB) | BibTeX

    A Gradual Polymorphic Type System with Subtyping for Prolog
    Authors: Hadjichristodoulou, Spyros

    Abstract | Document (318 KB) | BibTeX

    ASP modulo CSP: The clingcon system
    Authors: Ostrowski, Max

    Abstract | Document (376 KB) | BibTeX

    An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System
    Authors: Peano, Andrea

    Abstract | Document (318 KB) | BibTeX

    Answer Set Programming with External Sources
    Authors: Redl, Christoph

    Abstract | Document (283 KB) | BibTeX

    Together, Is Anything Possible? A Look at Collective Commitments for Agents
    Authors: Wright, Ben

    Abstract | Document (243 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI