default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th LPNMR 2019: Philadelphia, PA, USA
- Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Lecture Notes in Computer Science 11481, Springer 2019, ISBN 978-3-030-20527-0
Applications
- Dirk Abels
, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid ASP. 3-17 - Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite:
Telco Network Inventory Validation with NoHR. 18-31 - Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. 32-44 - Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo:
C-ASP: Continuous ASP-Based Reasoning over RDF Streams. 45-50 - Anduo Wang, Zhijia Chen:
Internet Routing and Non-monotonic Reasoning. 51-57
Argumentation
- Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard:
Assessing Arguments with Schemes and Fallacies. 61-74 - Jesse Heyninck, Ofer Arieli:
Simple Contrapositive Assumption-Based Frameworks. 75-88 - Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka:
Argumentation-Based Explanations for Answer Sets Using ADF. 89-102
Foundations and Complexity
- Johannes Klaus Fichte, Markus Hecher:
Treewidth and Counting Projected Answer Sets. 105-119 - Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. 120-133 - Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Founded World Views with Autoepistemic Equilibrium Logic. 134-147 - Pedro Cabalar, Martín Diéguez, Torsten Schaub:
Towards Dynamic Answer Set Programming over Finite Traces. 148-162 - Sopo Pkhakadze, Hans Tompits:
A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur. 163-177
Knowledge Representation and Reasoning
- Jori Bomanson, Alex Brik:
Diagnosing Data Pipeline Failures Using Action Languages. 181-194 - Leopoldo E. Bertossi:
Repair-Based Degrees of Database Inconsistency. 195-209 - Sihem Belabbes, Salem Benferhat, Jan Chomicki:
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies. 210-223 - Yi Wang, Joohyung Lee:
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. 224-238
Systems
- Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of Disjunctive Programs in WASP. 241-255 - Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub:
telingo = ASP + Time. 256-269 - Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Strong Equivalence of Programs in the Input Language of gringo. 270-283 - Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub:
The Return of xorro. 284-297 - Richard Taupe, Antonius Weinzierl, Gerhard Friedrich:
Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. 298-311 - Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Enhancing DLV for Large-Scale Reasoning. 312-325 - Thomas Eiter, Tobias Kaminski:
Pruning External Minimality Checking for ASP Using Semantic Dependencies. 326-339 - Tu-San Pham, Jo Devriendt, Patrick De Causmaecker:
Declarative Local Search for Predicate Logic. 340-346
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-08 20:17 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:
