Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009
    URL: https://doi.org/10.1007/978-3-642-04238-6
    DBLP: db/conf/lpnmr/lpnmr2009.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 75  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Marina De Vos.
    ASP: The Future Is Bright.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Guohua Liu.
    Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Jia-Huai You.
    Towards an Embedded Approach to Declarative Problem Solving in ASP.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Marc Denecker, Joost Vennekens.
    Using Lightweight Inference to Solve Lightweight Problems.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Esra Erdem.
    PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Annamaria Bria, Wolfgang Faber 0001, Nicola Leone.
    nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Pedro Cabalar, David Pearce, Agustín Valverde.
    A Revised Concept of Safety for General Answer Set Programs.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Loizos Michael, Antonis C. Kakas.
    Knowledge Qualification through Argumentation.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Armin Biere.
    SAT, SMT and Applications.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub.
    Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.
    Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009 (0) 2009
    Show item 1 to 10 of 75  

    Your query returned 75 matches in the database.