default search action
Search dblp for Publications
export results for "toc:db/conf/lpnmr/lpnmr2017.bht:"
@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} }
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.