Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pedro Cabalar |
Stable Models for Temporal Theories - - Invited Talk -. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo |
Automated Inference of Rules with Exception from Past Legal Cases Using ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Andres, Alexander Biewer, Javier Romero 0003, Christian Haubelt, Torsten Schaub |
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens |
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri |
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhizheng Zhang 0002, Shutao Zhang 0001 |
Logic Programming with Graded Modality. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Feier, Thomas Eiter |
Reasoning with Forest Logic Programs Using Fully Enriched Automata. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuelle-Anna Dietz, Steffen Hölldobler |
A New Computational Logic Approach to Reason with Conditionals. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Anna Ryabokon, Gottfried Schenner |
Combining Heuristics for Configuration Problems Using Answer Set Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn M. Shchekotykhin |
OOASP: Connecting Object-Oriented and Logic Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Eppe, Ewen Maclean, Roberto Confalonieri 0001, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza |
ASP, Amalgamation, and the Conceptual Blending Workflow. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka, James P. Delgrande, Javier Romero 0003, Torsten Schaub |
Implementing Preferences with asprin. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise |
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
Advances in WASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
Answer Set Programming Modulo Acyclicity. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mushthofa Mushthofa, Steven Schockaert, Martine De Cock |
Solving Disjunctive Fuzzy Answer Set Programs. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass |
A Framework for Goal-Directed Query Evaluation with Negation. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde |
Infinitary Equilibrium Logic and Strong Equivalence. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Babb, Joohyung Lee 0002 |
Online Action Language oBC +. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Reza Basseda |
Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Andrzej Walega |
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Lang |
Algorithmic Decision Theory Meets Logic - - Invited Talk -. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tiep Le |
Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Esra Erdem 0001, Volkan Patoglu, Zeynep G. Saribatur |
Diagnostic Reasoning for Robotics Using Action Languages. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini |
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero 0003, Torsten Schaub |
Progress in clasp Series 3. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Jorge Fandinno |
Enablers and Inhibitors in Causal Justifications of Logic Programs. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Schulz 0001, Ken Satoh, Francesca Toni |
Characterising and Explaining Inconsistency in Logic Programs. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Sixth Answer Set Programming Competition - - Report -. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Günther Charwat, Stefan Woltran |
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nada Lavrac, Anze Vavpetic |
Relational and Semantic Data Mining - - Invited Talk -. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel P. Lupp |
Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.) |
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Inclezan |
On the Relationship Between Two Modular Action Languages: A Translation from MAD into ALM ALM. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub |
ASP Solving for Expanding Universes. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral, Tran Cao Son |
"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David G. Mitchell, Eugenia Ternovska |
Clause-Learning for Modular Systems. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Mantas Simkus |
Linking Open-World Knowledge Bases Using Nonmonotonic Rules. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Justin Blount, Michael Gelfond, Marcello Balduccini |
A Theory of Intentions for Intelligent Agents - (Extended Abstract). |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Buddenhagen, Yuliya Lierler |
Performance Tuning in Answer Set Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran |
Shift Design with Answer Set Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin |
Interactive Debugging of Non-ground ASP Programs. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Brik, Jeffrey B. Remmel |
Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub |
Integrating ASP into ROS for Reasoning in Robots. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz 0001 |
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shiqi Zhang 0001, Fangkai Yang, Piyush Khandelwal, Peter Stone |
Mobile Robot Planning Using Action Language BC with an Abstraction Hierarchy. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Vicol, James P. Delgrande, Torsten Schaub |
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Babb, Joohyung Lee 0002 |
Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ying Zhu, Miroslaw Truszczynski |
On Optimal Solutions of Answer Set Optimization Problems. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 |
The Fourth Answer Set Programming Competition: Preliminary Report. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001 |
Negation as a Resource: A Novel View on Answer Set Semantics. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider 0001 |
Ricochet Robots: A Transverse ASP Benchmark. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Eppe, Mehul Bhatt, Frank Dylla |
Approximate Epistemic Planning with Postdiction as Answer-Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii Balai, Michael Gelfond, Yuanlin Zhang 0002 |
Towards Answer Set Programming with Sorts. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis |
Game Semantics for Non-monotonic Intensional Logic Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Melanie Frühstück, Jörg Pührer, Gerhard Friedrich |
Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jori Bomanson, Tomi Janhunen |
Normalizing Cardinality Rules Using Merging and Sorting Constructions. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Gonçalves 0001, Matthias Knorr 0001, João Leite 0001, Martin Slota |
Non-monotonic Temporal Goals. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Felicidad Aguado, Gilberto Pérez 0001, Concepción Vidal |
Integrating Temporal Extensions of Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou |
Justifications for Logic Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral, Nguyen Ha Vo |
Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anna Ryabokon, Gerhard Friedrich, Andreas A. Falkner |
Conflict-Based Program Rewriting for Solving Configuration Problems. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski |
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Matthias Knorr 0001, Kewen Wang 0001 |
Forgetting under the Well-Founded Semantics. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Saadat Anwar, Chitta Baral, Katsumi Inoue |
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 |
VCWC: A Versioning Competition Workflow Compiler. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca |
WASP: A Native ASP Solver Based on Constraint Learning. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wu Chen, Dongmo Zhang, Maonian Wu |
A Sequential Model for Reasoning about Bargaining in Logic Programs. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Terracina, Alessandra Martello, Nicola Leone |
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent 0001, Torsten Schaub, Anne Siegel, Sven Thiele |
Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Borchmann |
Experience Based Nonmonotonic Reasoning. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chris Martens 0001, Anne-Gwenn Bosser, João F. Ferreira 0001, Marc Cavazza |
Linear Logic Programming for Narrative Generation. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel Polleres, Melanie Frühstück, Gottfried Schenner, Gerhard Friedrich |
Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Drescher, Toby Walsh |
Efficient Approximation of Well-Founded Justification and Well-Founded Domination. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Markus Krötzsch, Despoina Magka, Ian Horrocks 0001 |
Concrete Results on Abstract Rules. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rosamaria Barilaro, Michael Fink 0001, Francesco Ricca, Giorgio Terracina |
Towards Query Answering in Relational Multi-Context Systems. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar, Tran Cao Son (eds.) |
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Balduccini, Yuliya Lierler, Peter Schüller |
Prolog and ASP Inference under One Roof. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Inclezan |
An Application of ASP to the Field of Second Language Acquisition. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher |
Evaluating Answer Set Clause Learning for General Game Playing. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher |
Implementing Belief Change in the Situation Calculus and an Application. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Towards Reactive Multi-Context Systems. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Slota, Martin Baláz, João Leite 0001 |
Early Recovery in Logic Program Updates. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ari Saptawijaya, Luís Moniz Pereira |
Program Updating by Incremental and Answer Subsumption Tabling. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Antic, Thomas Eiter, Michael Fink 0001 |
Hex Semantics via Approximation Fixpoint Theory. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande, Pavlos Peppas, Stefan Woltran |
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Decidability and Implementation of Parametrized Logic Programs. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Samy Sá, João F. L. Alcântara |
Preference Handling for Belief-Based Rational Decisions. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Artur Mikitiuk, Miroslaw Truszczynski |
Implementing Informal Semantics of ASP. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Andres, Matthias Sauer 0002, Martin Gebser, Tobias Schubert 0001, Bernd Becker 0001, Torsten Schaub |
Accurate Computation of Sensitizable Paths Using Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran |
ARVis: Visualizing Relations between Answer Sets. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario Alviano, Wolfgang Faber 0001 |
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ringo Baumann, Gerhard Brewka |
Spectra in Abstract Argumentation: An Analysis of Minimal Change. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schüller |
Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yisong Wang, Zhiqiang Zhuang, Kewen Wang 0001 |
Belief Change in Nonmonotonic Multi-Context Systems. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Schwind, Katsumi Inoue |
Characterization Theorems for Revision of Logic Programs. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su |
Combining Equilibrium Logic and Dynamic Logic. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß |
Symbolic System Synthesis Using Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub |
Matchmaking with Answer Set Programming. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele |
An ASP Application in Integrative Biology: Identification of Functional Gene Units. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|