Search results for "LPNMR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Robert A. Kowalski	Logic Programming in the 1970s.	LPNMR	2013	DBLP DOI BibTeX RDF
1	Jianmin Ji, Fangzhen Lin	Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming.	LPNMR	2013	DBLP DOI BibTeX RDF
1	Michael Fink 0001, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller	ActHEX: Implementing HEX Programs with Action Atoms.	LPNMR	2013	DBLP DOI BibTeX RDF
1	Ho-Pun Lam, Guido Governatori	What Are the Necessity Rules in Defeasible Reasoning?	LPNMR	2011	DBLP DOI BibTeX RDF
1	Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub	Advances in gringo Series 3.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Ringo Baumann	Splitting an Argumentation Framework.	LPNMR	2011	DBLP DOI BibTeX RDF
1	James P. Delgrande, Wolfgang Faber 0001 (eds.)	Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings	LPNMR	2011	DBLP DOI BibTeX RDF
1	Johannes Oetsch, Jörg Pührer, Hans Tompits	Stepping through an Answer-Set Program.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Diego R. García, Sebastian Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier García	On Influence and Contractions in Defeasible Logic Programming.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Ana Sofia Gomes, José Júlio Alferes	Transaction Logic with External Actions.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Erdi Aker, Ahmetcan Erdogan, Esra Erdem 0001, Volkan Patoglu	Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock	Communicating ASP and the Polynomial Hierarchy.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Emad Saad, Gerhard Brewka	Aggregates in Answer Set Optimization.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama	ASP-Prolog for Negotiation among Dishonest Agents.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Mauricio Osorio 0001, José Luis Carballido, Claudia Zepeda	An Application of Clasp in the Study of Logics.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Christian Drescher, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Toby Walsh	Symmetry Breaking for Distributed Multi-Context Systems.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Yuliya Lierler, Vladimir Lifschitz	Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Pedro Cabalar, Martín Diéguez	STeLP - A Tool for Temporal Answer Set Programming.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Michael Fink 0001, Lucantonio Ghionna, Antonius Weinzierl	Relational Information Exchange and Aggregation in Multi-Context Systems.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Thomas Eiter, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller	Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor	Cluster-Based ASP Solving with claspar.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Ricardo Gonçalves 0001, José Júlio Alferes	Parametrized Equilibrium Logic.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Johannes Oetsch, Hans Tompits	Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Antonis Bikakis, Grigoris Antoniou	Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Joohyung Lee 0002, Ravi Palla	Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report).	LPNMR	2011	DBLP DOI BibTeX RDF
1	Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub	Reactive Answer Set Programming.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits	Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Thomas Eiter, Michael Fink 0001, Peter Schüller	Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Michael Gelfond	New Semantics for Epistemic Specifications.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You	Strong Equivalence of Logic Programs with Abstract Constraint Atoms.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You	Compiling Answer Set Programs into Event-Driven Action Rules.	LPNMR	2011	DBLP DOI BibTeX RDF
1	David Pearce 0001	Foundations and Extensions of Answer Set Programming: The Logical Approach.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Marcello Balduccini	Industrial-Size Scheduling with ASP+CP.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Matti Järvisalo	Itemset Mining as a Challenge Application for Answer Set Enumeration.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina	Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Steve Barker, Valerio Genovese	Secommunity: A Framework for Distributed Access Control.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Luis Fariñas del Cerro, Andreas Herzig	Contingency-Based Equilibrium Logic.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri	The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Mario Alviano, Gianluigi Greco, Nicola Leone	Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Chitta Baral	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl	VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Mikolás Janota, João Marques-Silva 0001	cmMUS: A Tool for Circumscription-Based MUS Membership Testing.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Carlos Viegas Damásio, João Moura Pires	Modularity of P-Log Programs.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller	A Portfolio Solver for Answer Set Programming: Preliminary Report.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Onofrio Febbraro, Kristian Reale, Francesco Ricca	ASPIDE: Integrated Development Environment for Answer Set Programming.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal	Loop Formulas for Splitable Temporal Logic Programs.	LPNMR	2011	DBLP DOI BibTeX RDF
1	David Poole 0001	Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub	plasp: A Prototype for PDDL-Based Planning in ASP.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Martin Slota, João Leite 0001	Back and Forth between Rules and SE-Models.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Stefania Costantini, Andrea Formisano 0001	Weight Constraints with Preferences in ASP.	LPNMR	2011	DBLP DOI BibTeX RDF
1	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran	ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	An ASP System with Functions, Lists, and Sets.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Armin Biere	SAT, SMT and Applications.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Nicola Leone, Francesco Ricca, Giorgio Terracina	An ASP-Based Data Integration System.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Gayathri Namasivayam, Miroslaw Truszczynski	Simple Random Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Jörg Pührer, Hans Tompits	Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Ping Hou, Marc Denecker	A Deductive System for FO(ID) Based on Least Fixpoint Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Michael Thomas 0001	The Complexity of Circumscriptive Inference in Post's Lattice.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	Representing Multi-agent Planning in CLP.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Marina De Vos	ASP: The Future Is Bright.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Chiaki Sakama	Social Default Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Alexander Bockmayr	Logic-Based Modeling in Systems Biology.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Reinhard Pichler, Stefan Rümmele, Stefan Woltran	Belief Revision with Bounded Treewidth.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Antonis Bikakis, Grigoris Antoniou	Contextual Argumentation in Ambient Intelligence.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele	On the Input Language of ASP Grounder Gringo.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor	A Simple Distributed Conflict-Driven Answer Set Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Georg Boenn, Martin Brain, Marina De Vos, John ffitch	ANTON: Composing Logic and Logic Composing.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Duygu Çakmak, Esra Erdem 0001, Halit Erdogan	Computing Weighted Solutions in Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Wolfgang Faber 0001, Stefan Woltran	Manifold Answer-Set Programs for Meta-reasoning.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Marcello Balduccini	Splitting a CR-Prolog Program.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Tom Crick, Martin Brain, Marina De Vos, John P. Fitch	Generating Optimal Code Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Torsten Schaub	Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Mauricio Osorio 0001, Simone Pascucci	The Logical Consequence Role in LPNMR: A Parameterized Computation Approach.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Alexandre Miguel Pinto	Layer Supported Models of Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF	Semantics, Relevance, Layering, Stable Models
1	Vernon Asuncion, Yan Zhang 0003	Translating Preferred Answer Set Programs to Propositional Logic.	LPNMR	2009	DBLP DOI BibTeX RDF	prioritized logic programs, answer set computations, answer set semantics
1	Marc Denecker, Joost Vennekens	Using Lightweight Inference to Solve Lightweight Problems.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Miroslaw Truszczynski	Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Giovanni Grasso 0001, Salvatore Iiritano, Nicola Leone, Francesco Ricca	Some DLV Applications for Knowledge Management.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä	A Module-Based Framework for Multi-language Constraint Modeling.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Marcello Balduccini	CR-Prolog as a Specification Language for Constraint Satisfaction Problems.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Tim Kimber, Krysia Broda, Alessandra Russo	Induction on Failure: Learning Connected Horn Theories.	LPNMR	2009	DBLP DOI BibTeX RDF	Inverse Entailment, Abductio, Inductive Logic Programming
1	Alessandra Mileo, Davide Merico, Roberto Bisiani	Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Esra Erdem 0001	PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Owen Cliffe, Marina De Vos, Julian A. Padget	Modelling Normative Frameworks Using Answer Set Programing.	LPNMR	2009	DBLP DOI BibTeX RDF
1	James P. Delgrande, Torsten Grote, Aaron Hunter 0001	A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Esra Erdem 0001, Ozan Erdem, Ferhan Türe	HAPLO-ASP: Haplotype Inference Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Yi-Dong Shen, Jia-Huai You	A Default Approach to Semantics of Logic Programs with Constraint Atoms.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Esra Erdem 0001, Fangzhen Lin, Torsten Schaub (eds.)	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings	LPNMR	2009	DBLP DOI BibTeX RDF
1	Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget	AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Ozan Çaldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem 0001, Volkan Patoglu	Bridging the Gap between High-Level Reasoning and Low-Level Control.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Marcello Balduccini	How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Stefania Costantini	Integrating Answer Set Modules into Agent Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	François Gagnon, Babak Esfandiari	Using Answer Set Programming to Enhance Operating System Discovery.	LPNMR	2009	DBLP DOI BibTeX RDF
1	James P. Delgrande	What Next for ASP? (A Not-Entirely-Well-Informed Opinion).	LPNMR	2009	DBLP DOI BibTeX RDF
1	Agostino Dovier, Enrico Pontelli	Present and Future Challenges for ASP Systems.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Joohyung Lee 0002, Yunsong Meng	On Reductive Semantics of Aggregates in Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Hui Wan 0001, Michael Kifer	Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Claire Lefèvre, Pascal Nicolas	A First Order Forward Chaining Approach for Answer Set Computing.	LPNMR	2009	DBLP DOI BibTeX RDF

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