default search action
14. LPNMR 2017: Espoo, Finland
- Marcello Balduccini, Tomi Janhunen:
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Lecture Notes in Computer Science 10377, Springer 2017, ISBN 978-3-319-61659-9
Invited Talks
- Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Seventh Answer Set Programming Competition. 3-9 - João Leite
:
A Bird's-Eye View of Forgetting in Answer-Set Programming. 10-22 - Tran Cao Son:
Answer Set Programming and Its Applications in Planning and Multi-agent Systems. 23-35 - Francesca Toni
From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond. 36-39
Nonmonotonic Reasoning
- Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli
Modular Construction of Minimal Models. 43-48 - Stefano Bistarelli
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. 49-56 - Fabio Aurelio D'Asaro
Foundations for a Probabilistic Event Calculus. 57-63 - Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira:
Contextual Reasoning: Usually Birds Can Abductively Fly. 64-77 - Maximilian Pensel, Anni-Yasmin Turhan:
Including Quantification in Defeasible Reasoning for the Description Logic EL⊥. 78-84 - Ezgi Iraz Su:
A Monotonic View on Reflexive Autoepistemic Reasoning. 85-100 - Michal Wrona:
Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. 101-113
Answer Set Programming
- Pedro Cabalar, Jorge Fandinno, Torsten Schaub
Gelfond-Zhang Aggregates as Propositional Formulas. 117-131 - Johannes Klaus Fichte
Answer Set Solving with Bounded Treewidth Revisited. 132-145 - Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Formation of Sets in ASP Based Languages. 146-159 - Christoph Redl:
Answer Set Programs with Queries over Subprograms. 160-175 - Christoph Redl:
Explaining Inconsistency in Answer Set Programs and Extensions. 176-190 - Antonius Weinzierl:
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. 191-204 - Zhizheng Zhang:
Answer Set Programming with Graded Modality. 205-211
LPNMR Systems
- Mario Alviano, Francesco Calimeri, Carmine Dodaro
The ASP System DLV2. 215-221 - Jori Bomanson:
lp2normal - A Normalization Tool for Extended Logic Programs. 222-228 - Alexander Greßler, Johannes Oetsch
\mathsf Harvey : A System for Random Testing in ASP. 229-235 - Carlos Lopes
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. 236-249 - Jörg Pührer:
ArgueApply: A Mobile App for Argumentation. 250-262
LPNMR Applications
- Mutsunori Banbara
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. 265-278 - Marc Dahlem, Tripti Jain, Klaus Schneider
Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. 279-285 - Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
plasp 3: Towards Effective ASP Planning. 286-300 - Carmine Dodaro
Nurse Scheduling via Answer Set Programming. 301-307 - Clémence Frioux
Hybrid Metabolic Network Completion. 308-321 - Alex Brik, Jeffrey B. Remmel:
Action Language Hybrid AL. 322-335 - Orkunt Sabuncu, João Leite
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. 336-342 - Peter Schüller
Adjudication of Coreference Annotations via Answer Set Optimization. 343-357
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.
last updated on 2024-11-27 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: