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 0001, 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 0001, 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.