Search results for "LPNMR"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "LPNMR"( http://dblp.L3S.de/Venues/LPNMR )