Search dblp for Publications

export results for "toc:db/conf/lpnmr/lpnmr2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lpnmr/AlvianoCDFLPRVZ17,
  author       = {Mario Alviano and
                  Francesco Calimeri and
                  Carmine Dodaro and
                  Davide Fusc{\`{a}} and
                  Nicola Leone and
                  Simona Perri and
                  Francesco Ricca and
                  Pierfrancesco Veltri and
                  Jessica Zangari},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {The {ASP} System {DLV2}},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {215--221},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_19},
  doi          = {10.1007/978-3-319-61660-5\_19},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/AlvianoCDFLPRVZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/BanbaraIKOSST17,
  author       = {Mutsunori Banbara and
                  Katsumi Inoue and
                  Hiromasa Kaneyuki and
                  Tenda Okimoto and
                  Torsten Schaub and
                  Takehide Soh and
                  Naoyuki Tamura},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {catnap: Generating Test Suites of Constrained Combinatorial Testing
                  with Answer Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {265--278},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_24},
  doi          = {10.1007/978-3-319-61660-5\_24},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BanbaraIKOSST17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Ben-Eliyahu-Zohary17,
  author       = {Rachel Ben{-}Eliyahu{-}Zohary and
                  Fabrizio Angiulli and
                  Fabio Fassetti and
                  Luigi Palopoli},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Modular Construction of Minimal Models},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {43--48},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_5},
  doi          = {10.1007/978-3-319-61660-5\_5},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Ben-Eliyahu-Zohary17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/BistarelliS17,
  author       = {Stefano Bistarelli and
                  Francesco Santini},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status
                  Grounded Semantics},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {49--56},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_6},
  doi          = {10.1007/978-3-319-61660-5\_6},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BistarelliS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Bomanson17,
  author       = {Jori Bomanson},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {lp2normal - {A} Normalization Tool for Extended Logic Programs},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {222--228},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_20},
  doi          = {10.1007/978-3-319-61660-5\_20},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Bomanson17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/BrikR17,
  author       = {Alex Brik and
                  Jeffrey B. Remmel},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Action Language Hybrid {AL}},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {322--335},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_29},
  doi          = {10.1007/978-3-319-61660-5\_29},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BrikR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/CabalarFSS17,
  author       = {Pedro Cabalar and
                  Jorge Fandinno and
                  Torsten Schaub and
                  Sebastian Schellhorn},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Gelfond-Zhang Aggregates as Propositional Formulas},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {117--131},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_12},
  doi          = {10.1007/978-3-319-61660-5\_12},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/CabalarFSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/DAsaroBD017,
  author       = {Fabio Aurelio D'Asaro and
                  Antonis Bikakis and
                  Luke Dickens and
                  Rob Miller},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Foundations for a Probabilistic Event Calculus},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {57--63},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_7},
  doi          = {10.1007/978-3-319-61660-5\_7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/DAsaroBD017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/DahlemJ0G17,
  author       = {Marc Dahlem and
                  Tripti Jain and
                  Klaus Schneider and
                  Michael Gillmann},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {279--285},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_25},
  doi          = {10.1007/978-3-319-61660-5\_25},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/DahlemJ0G17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/DimopoulosGL0S17,
  author       = {Yannis Dimopoulos and
                  Martin Gebser and
                  Patrick L{\"{u}}hne and
                  Javier Romero and
                  Torsten Schaub},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {plasp 3: Towards Effective {ASP} Planning},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {286--300},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_26},
  doi          = {10.1007/978-3-319-61660-5\_26},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/DimopoulosGL0S17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/DodaroM17,
  author       = {Carmine Dodaro and
                  Marco Maratea},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Nurse Scheduling via Answer Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {301--307},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_27},
  doi          = {10.1007/978-3-319-61660-5\_27},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/DodaroM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/FichteHMW17,
  author       = {Johannes Klaus Fichte and
                  Markus Hecher and
                  Michael Morak and
                  Stefan Woltran},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Answer Set Solving with Bounded Treewidth Revisited},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {132--145},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_13},
  doi          = {10.1007/978-3-319-61660-5\_13},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/FichteHMW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/FriouxSSSW17,
  author       = {Cl{\'{e}}mence Frioux and
                  Torsten Schaub and
                  Sebastian Schellhorn and
                  Anne Siegel and
                  Philipp Wanko},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Hybrid Metabolic Network Completion},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {308--321},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_28},
  doi          = {10.1007/978-3-319-61660-5\_28},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/FriouxSSSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/GebserMR17,
  author       = {Martin Gebser and
                  Marco Maratea and
                  Francesco Ricca},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {The Design of the Seventh Answer Set Programming Competition},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {3--9},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_1},
  doi          = {10.1007/978-3-319-61660-5\_1},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GebserMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/GelfondZ17,
  author       = {Michael Gelfond and
                  Yuanlin Zhang},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Vicious Circle Principle and Formation of Sets in {ASP} Based Languages},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {146--159},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_14},
  doi          = {10.1007/978-3-319-61660-5\_14},
  timestamp    = {Mon, 25 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GelfondZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/GresslerOT17,
  author       = {Alexander Gre{\ss}ler and
                  Johannes Oetsch and
                  Hans Tompits},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {{\textbackslash}mathsf Harvey : {A} System for Random Testing in {ASP}},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {229--235},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_21},
  doi          = {10.1007/978-3-319-61660-5\_21},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GresslerOT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Leite17,
  author       = {Jo{\~{a}}o Leite},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {A Bird's-Eye View of Forgetting in Answer-Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {10--22},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_2},
  doi          = {10.1007/978-3-319-61660-5\_2},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Leite17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/LopesKL17,
  author       = {Carlos Lopes and
                  Matthias Knorr and
                  Jo{\~{a}}o Leite},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {NoHR: Integrating {XSB} Prolog with the {OWL} 2 Profiles and Beyond},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {236--249},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_22},
  doi          = {10.1007/978-3-319-61660-5\_22},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/LopesKL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/PenselT17,
  author       = {Maximilian Pensel and
                  Anni{-}Yasmin Turhan},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Including Quantification in Defeasible Reasoning for the Description
                  Logic EL\({}_{\mbox{{\(\perp\)}}}\)},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {78--84},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_9},
  doi          = {10.1007/978-3-319-61660-5\_9},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/PenselT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Puhrer17,
  author       = {J{\"{o}}rg P{\"{u}}hrer},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {ArgueApply: {A} Mobile App for Argumentation},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {250--262},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_23},
  doi          = {10.1007/978-3-319-61660-5\_23},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Puhrer17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Redl17,
  author       = {Christoph Redl},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Answer Set Programs with Queries over Subprograms},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {160--175},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_15},
  doi          = {10.1007/978-3-319-61660-5\_15},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Redl17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Redl17a,
  author       = {Christoph Redl},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Explaining Inconsistency in Answer Set Programs and Extensions},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {176--190},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_16},
  doi          = {10.1007/978-3-319-61660-5\_16},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Redl17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/SabuncuL17,
  author       = {Orkunt Sabuncu and
                  Jo{\~{a}}o Leite},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer
                  Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {336--342},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_30},
  doi          = {10.1007/978-3-319-61660-5\_30},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/SabuncuL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/SaldanhaHP17,
  author       = {Emmanuelle{-}Anna Dietz Saldanha and
                  Steffen H{\"{o}}lldobler and
                  Lu{\'{\i}}s Moniz Pereira},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Contextual Reasoning: Usually Birds Can Abductively Fly},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {64--77},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_8},
  doi          = {10.1007/978-3-319-61660-5\_8},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/SaldanhaHP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Schuller17,
  author       = {Peter Sch{\"{u}}ller},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Adjudication of Coreference Annotations via Answer Set Optimization},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {343--357},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_31},
  doi          = {10.1007/978-3-319-61660-5\_31},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Schuller17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Son17,
  author       = {Tran Cao Son},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Answer Set Programming and Its Applications in Planning and Multi-agent
                  Systems},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {23--35},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_3},
  doi          = {10.1007/978-3-319-61660-5\_3},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Son17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Su17,
  author       = {Ezgi Iraz Su},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {A Monotonic View on Reflexive Autoepistemic Reasoning},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {85--100},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_10},
  doi          = {10.1007/978-3-319-61660-5\_10},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Su17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Toni17,
  author       = {Francesca Toni},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {From Logic Programming and Non-monotonic Reasoning to Computational
                  Argumentation and Beyond},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {36--39},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_4},
  doi          = {10.1007/978-3-319-61660-5\_4},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Toni17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Weinzierl17,
  author       = {Antonius Weinzierl},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Blending Lazy-Grounding and {CDNL} Search for Answer-Set Solving},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {191--204},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_17},
  doi          = {10.1007/978-3-319-61660-5\_17},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Weinzierl17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Wrona17,
  author       = {Michal Wrona},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Minimal Inference Problem Over Finite Domains: The Landscape of Complexity},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {101--113},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_11},
  doi          = {10.1007/978-3-319-61660-5\_11},
  timestamp    = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Wrona17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/Zhang17,
  author       = {Zhizheng Zhang},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Answer Set Programming with Graded Modality},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {205--211},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_18},
  doi          = {10.1007/978-3-319-61660-5\_18},
  timestamp    = {Thu, 06 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Zhang17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpnmr/2017,
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5},
  doi          = {10.1007/978-3-319-61660-5},
  isbn         = {978-3-319-61659-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.