| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pierangela Bruno, Francesco Calimeri, Cinzia Marte |
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models.  |
LPNMR  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
Arguing Correctness of ASP Programs with Aggregates. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo |
Computing Smallest MUSes of Quantified Boolean Formulas. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi |
Statistical Statements in Probabilistic Logic Programming. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Patrik Schneider |
A Qualitative Temporal Extension of Here-and-There Logic. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani |
Inference to the Stable Explanations. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli |
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann |
Metric Temporal Answer Set Programming over Timed Traces. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Vandesande, Wolf De Wulf, Bart Bogaerts 0001 |
QMaxSATpb: A Certified MaxSAT Solver. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca |
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner |
Towards Causality-Based Conflict Resolution in Answer Set Programs. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Böhl, Sarah Alice Gaggl |
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré |
Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner |
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann |
Clingraph: ASP-Based Visualization. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Sotiris Batsakis, George Baryannis |
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
A Definition of Sceptical Semantics in the Constellations Approach. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Jerzy Gorczyca, Markus Hecher |
A Practical Account into Counting Dung's Extensions by Dynamic Programming. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Liu Liu, Mirek Truszczynski, Yuliya Lierler |
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski |
Solving Problems in the Polynomial Hierarchy with ASP(Q). |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary Hansen, Yuliya Lierler |
Semantics for Conditional Literals via the SM Operator. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiro Takemura, Katsumi Inoue |
Gradient-Based Supported Model Computation in Vector Spaces. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Knorr 0001, Carlos Viegas Damásio, Ricardo Gonçalves 0001, João Leite 0001 |
Towards Provenance in Heterogeneous Knowledge Bases. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
Enumeration of Minimal Models and MUSes in WASP. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens |
Knowledge-Based Support for Adhesive Selection. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Callewaert, Joost Vennekens |
ASP for Flexible Payroll Management. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal |
Syntactic ASP Forgetting with Forks. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Brännström, Juan Carlos Nieves |
Emotional Reasoning in an Action Language for Emotion-Aware Planning. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Maxime Jakubowski, Jan Van den Bussche |
SHACL: A Description Logic in Disguise. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Masood Feyzbakhsh Rankooh, Tomi Janhunen |
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
xASP: An Explanation Generation System for Answer Set Programming. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Peñaloza, Francesco Ricca |
Pinpointing Axioms in Ontologies via ASP. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Daniela Inclezan, Marco Maratea (eds.) |
Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Beretta, Stefania Monica, Federico Bergenti |
A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac |
IASCAR: Incremental Answer Set Counting by Anytime Refinement. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly |
Analysis of Cyclic Fault Propagation via ASP. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Tran Cao Son |
Interlinking Logic Programs and Argumentation Frameworks. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Law, Théophile Sautory, Ludovico Mitchener, Kari Davies, Matthew Tonkin, Jessica Woodhams, Dalal Alrajeh |
Learning to Rank the Distinctiveness of Behaviour in Serial Offending. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001 |
Epistemic Logic Programs: A Study of Some Properties. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris |
Optimising Business Process Discovery Using Answer Set Programming. |
LPNMR |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Splitting Epistemic Logic Programs. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Tobias Kaminski |
Pruning External Minimality Checking for ASP Using Semantic Dependencies. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sopo Pkhakadze, Hans Tompits |
A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Yuliya Lierler, Stefan Woltran (eds.) |
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub |
telingo = ASP + Time. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Taupe, Antonius Weinzierl, Gerhard Friedrich |
Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Heyninck, Ofer Arieli |
Simple Contrapositive Assumption-Based Frameworks. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jori Bomanson, Alex Brik |
Diagnosing Data Pipeline Failures Using Action Languages. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka |
Argumentation-Based Explanations for Answer Sets Using ADF. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard |
Assessing Arguments with Schemes and Fallacies. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sihem Belabbes, Salem Benferhat, Jan Chomicki |
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anduo Wang, Zhijia Chen |
Internet Routing and Non-monotonic Reasoning. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo |
C-ASP: Continuous ASP-Based Reasoning over RDF Streams. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tu-San Pham, Jo Devriendt, Patrick De Causmaecker |
Declarative Local Search for Predicate Logic. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher |
Treewidth and Counting Projected Answer Sets. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi |
Repair-Based Degrees of Database Inconsistency. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Wang 0048, Joohyung Lee 0002 |
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko |
Train Scheduling with Hybrid ASP. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Founded World Views with Autoepistemic Equilibrium Logic. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Towards Dynamic Answer Set Programming over Finite Traces. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub |
The Return of xorro. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr 0001, João Leite 0001 |
Telco Network Inventory Validation with NoHR. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
Evaluation of Disjunctive Programs in WASP. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Patrick Lühne, Torsten Schaub |
Verifying Strong Equivalence of Programs in the Input Language of gringo. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite 0001 |
A Bird's-Eye View of Forgetting in Answer-Set Programming. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli 0001 |
Modular Construction of Minimal Models. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
Hybrid Metabolic Network Completion. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonius Weinzierl |
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son |
Answer Set Programming and Its Applications in Planning and Multi-agent Systems. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Lopes, Matthias Knorr 0001, João Leite 0001 |
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Greßler, Johannes Oetsch, Hans Tompits |
\mathsf Harvey : A System for Random Testing in ASP. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Wrona |
Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Seventh Answer Set Programming Competition. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub |
plasp 3: Towards Effective ASP Planning. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Marco Maratea |
Nurse Scheduling via Answer Set Programming. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gelfond, Yuanlin Zhang 0002 |
Vicious Circle Principle and Formation of Sets in ASP Based Languages. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
The ASP System DLV2. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira |
Contextual Reasoning: Usually Birds Can Abductively Fly. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schüller |
Adjudication of Coreference Annotations via Answer Set Optimization. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini, Tomi Janhunen (eds.) |
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Pensel, Anni-Yasmin Turhan |
Including Quantification in Defeasible Reasoning for the Description Logic EL⊥. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni |
From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Dahlem, Tripti Jain, Klaus Schneider 0001, Michael Gillmann |
Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
Answer Set Solving with Bounded Treewidth Revisited. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Brik, Jeffrey B. Remmel |
Action Language Hybrid AL. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Redl |
Answer Set Programs with Queries over Subprograms. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Orkunt Sabuncu, João Leite 0001 |
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Pührer |
ArgueApply: A Mobile App for Argumentation. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller 0002 |
Foundations for a Probabilistic Event Calculus. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezgi Iraz Su |
A Monotonic View on Reflexive Autoepistemic Reasoning. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Gelfond-Zhang Aggregates as Propositional Formulas. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jori Bomanson |
lp2normal - A Normalization Tool for Extended Logic Programs. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhizheng Zhang 0002 |
Answer Set Programming with Graded Modality. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Redl |
Explaining Inconsistency in Answer Set Programs and Extensions. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-level Algorithm Selection for ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Gerhard Brewka, Hannes Strass |
A Formal Theory of Justifications. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license