Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011
    URL: https://doi.org/10.1007/978-3-642-20895-9
    DBLP: db/conf/lpnmr/lpnmr2011.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 46  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Emad Saad, Gerhard Brewka.
    Aggregates in Answer Set Optimization.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal.
    Loop Formulas for Splitable Temporal Logic Programs.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Michael Gelfond.
    New Semantics for Epistemic Specifications.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Steve Barker, Valerio Genovese.
    Secommunity: A Framework for Distributed Access Control.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller.
    Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Marcello Balduccini.
    Industrial-Size Scheduling with ASP+CP.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Luis Fariñas del Cerro, Andreas Herzig.
    Contingency-Based Equilibrium Logic.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Ringo Baumann.
    Splitting an Argumentation Framework.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Thomas Eiter, Michael Fink, Peter Schüller.
    Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Johannes Oetsch, Hans Tompits.
    Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence.
    Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings 2011 (0) 2011
    Show item 1 to 10 of 46  

    Your query returned 46 matches in the database.