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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 505-510, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Fandinno, Zachary Hansen, Yuliya Lierler |
Arguing Correctness of ASP Programs with Aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 190-202, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo |
Computing Smallest MUSes of Quantified Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 301-314, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi |
Statistical Statements in Probabilistic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 43-55, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Patrik Schneider |
A Qualitative Temporal Extension of Here-and-There Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 159-176, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani |
Inference to the Stable Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 245-258, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 273-286, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann |
Metric Temporal Answer Set Programming over Timed Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 117-130, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Vandesande, Wolf De Wulf, Bart Bogaerts 0001 |
QMaxSATpb: A Certified MaxSAT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 429-442, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 145-158, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner |
Towards Causality-Based Conflict Resolution in Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 350-362, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Elisa Böhl, Sarah Alice Gaggl |
Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 89-102, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 231-244, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner |
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 177-189, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann |
Clingraph: ASP-Based Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 401-414, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Sotiris Batsakis, George Baryannis |
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 16-28, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Francesco Santini 0001 |
A Definition of Sceptical Semantics in the Constellations Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 62-74, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 387-400, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 415-428, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski |
Solving Problems in the Polynomial Hierarchy with ASP(Q). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 373-386, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Hansen, Yuliya Lierler |
Semantics for Conditional Literals via the SM Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 259-272, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Akihiro Takemura, Katsumi Inoue |
Gradient-Based Supported Model Computation in Vector Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 336-349, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 287-300, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
Enumeration of Minimal Models and MUSes in WASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 29-42, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters, Joost Vennekens |
Knowledge-Based Support for Adhesive Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 445-455, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Callewaert, Joost Vennekens |
ASP for Flexible Payroll Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 456-469, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 3-15, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Brännström, Juan Carlos Nieves |
Emotional Reasoning in an Action Language for Emotion-Aware Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 103-116, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bart Bogaerts 0001, Maxime Jakubowski, Jan Van den Bussche |
SHACL: A Description Logic in Disguise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 75-88, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Masood Feyzbakhsh Rankooh, Tomi Janhunen |
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 203-216, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
xASP: An Explanation Generation System for Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 363-369, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Peñaloza, Francesco Ricca |
Pinpointing Axioms in Ontologies via ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 315-321, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![Springer, 978-3-031-15706-6 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davide Beretta, Stefania Monica, Federico Bergenti |
A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 56-61, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac |
IASCAR: Incremental Answer Set Counting by Anytime Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 217-230, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly |
Analysis of Cyclic Fault Propagation via ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 470-483, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chiaki Sakama, Tran Cao Son |
Interlinking Logic Programs and Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 322-335, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 484-497, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Epistemic Logic Programs: A Study of Some Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 131-144, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, pp. 498-504, 2022, Springer, 978-3-031-15706-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Splitting Epistemic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 120-133, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Tobias Kaminski |
Pruning External Minimality Checking for ASP Using Semantic Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 326-339, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 163-177, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![Springer, 978-3-030-20527-0 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub |
telingo = ASP + Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 256-269, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 298-311, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 312-325, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Heyninck, Ofer Arieli |
Simple Contrapositive Assumption-Based Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 75-88, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jori Bomanson, Alex Brik |
Diagnosing Data Pipeline Failures Using Action Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 181-194, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka |
Argumentation-Based Explanations for Answer Sets Using ADF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 89-102, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard |
Assessing Arguments with Schemes and Fallacies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 61-74, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sihem Belabbes, Salem Benferhat, Jan Chomicki |
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 210-223, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anduo Wang, Zhijia Chen |
Internet Routing and Non-monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 51-57, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo |
C-ASP: Continuous ASP-Based Reasoning over RDF Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 45-50, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tu-San Pham, Jo Devriendt, Patrick De Causmaecker |
Declarative Local Search for Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 340-346, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher |
Treewidth and Counting Projected Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 105-119, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leopoldo E. Bertossi |
Repair-Based Degrees of Database Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 195-209, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 32-44, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
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+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 224-238, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko |
Train Scheduling with Hybrid ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 3-17, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro |
Founded World Views with Autoepistemic Equilibrium Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 134-147, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Towards Dynamic Answer Set Programming over Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 148-162, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub |
The Return of xorro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 284-297, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 18-31, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca |
Evaluation of Disjunctive Programs in WASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 241-255, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz, Patrick Lühne, Torsten Schaub |
Verifying Strong Equivalence of Programs in the Input Language of gringo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 270-283, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | João Leite 0001 |
A Bird's-Eye View of Forgetting in Answer-Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 10-22, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli 0001 |
Modular Construction of Minimal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 43-48, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
Hybrid Metabolic Network Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 308-321, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antonius Weinzierl |
Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 191-204, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son |
Answer Set Programming and Its Applications in Planning and Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 23-35, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 236-249, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Greßler, Johannes Oetsch, Hans Tompits |
\mathsf Harvey : A System for Random Testing in ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 229-235, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Wrona |
Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 101-113, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Seventh Answer Set Programming Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 3-9, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub |
plasp 3: Towards Effective ASP Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 286-300, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Dodaro, Marco Maratea |
Nurse Scheduling via Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 301-307, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond, Yuanlin Zhang 0002 |
Vicious Circle Principle and Formation of Sets in ASP Based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 146-159, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 215-221, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira |
Contextual Reasoning: Usually Birds Can Abductively Fly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 64-77, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schüller |
Adjudication of Coreference Annotations via Answer Set Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 343-357, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![Springer, 978-3-319-61659-9 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Pensel, Anni-Yasmin Turhan |
Including Quantification in Defeasible Reasoning for the Description Logic EL⊥. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 78-84, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Toni |
From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 36-39, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 279-285, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 265-278, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
Answer Set Solving with Bounded Treewidth Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 132-145, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alex Brik, Jeffrey B. Remmel |
Action Language Hybrid AL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 322-335, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Redl |
Answer Set Programs with Queries over Subprograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 160-175, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Orkunt Sabuncu, João Leite 0001 |
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 336-342, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Pührer |
ArgueApply: A Mobile App for Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 250-262, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller 0002 |
Foundations for a Probabilistic Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 57-63, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ezgi Iraz Su |
A Monotonic View on Reflexive Autoepistemic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 85-100, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Francesco Santini 0001 |
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 49-56, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Gelfond-Zhang Aggregates as Propositional Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 117-131, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jori Bomanson |
lp2normal - A Normalization Tool for Extended Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 222-228, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhizheng Zhang 0002 |
Answer Set Programming with Graded Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 205-211, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Redl |
Explaining Inconsistency in Answer Set Programs and Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, pp. 176-190, 2017, Springer, 978-3-319-61659-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-level Algorithm Selection for ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, pp. 439-445, 2015, Springer, 978-3-319-23263-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Denecker, Gerhard Brewka, Hannes Strass |
A Formal Theory of Justifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, pp. 250-264, 2015, Springer, 978-3-319-23263-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|