The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/lpnmr

Publication years (Num. hits)
1990 (19) 1991 (19) 1993 (30) 1995 (30) 1997 (35) 1999 (31) 2001 (40) 2004 (35) 2005 (45) 2007 (33) 2009 (76) 2011 (47) 2013 (56) 2015 (49) 2017 (32) 2019 (26)
Publication types (Num. hits)
inproceedings(587) proceedings(16)
Venues (Conferences, Journals, ...)
LPNMR(603)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 28 keywords

Results
Found 603 publication records. Showing 603 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Splitting Epistemic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Tobias Kaminski Pruning External Minimality Checking for ASP Using Semantic Dependencies. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sopo Pkhakadze, Hans Tompits A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcello 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 LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub telingo = ASP + Time. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Richard Taupe, Antonius Weinzierl, Gerhard Friedrich Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicola 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 LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jesse Heyninck, Ofer Arieli Simple Contrapositive Assumption-Based Frameworks. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Alex Brik Diagnosing Data Pipeline Failures Using Action Languages. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka Argumentation-Based Explanations for Answer Sets Using ADF. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard Assessing Arguments with Schemes and Fallacies. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sihem Belabbes, Salem Benferhat, Jan Chomicki Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anduo Wang, Zhijia Chen Internet Routing and Non-monotonic Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo C-ASP: Continuous ASP-Based Reasoning over RDF Streams. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tu-San Pham, Jo Devriendt, Patrick De Causmaecker Declarative Local Search for Predicate Logic. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Treewidth and Counting Projected Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leopoldo E. Bertossi Repair-Based Degrees of Database Inconsistency. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Riccardo 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 LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yi Wang 0048, Joohyung Lee Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko Train Scheduling with Hybrid ASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro Founded World Views with Autoepistemic Equilibrium Logic. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Torsten Schaub Towards Dynamic Answer Set Programming over Finite Traces. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub The Return of xorro. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite Telco Network Inventory Validation with NoHR. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca Evaluation of Disjunctive Programs in WASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Patrick Lühne, Torsten Schaub Verifying Strong Equivalence of Programs in the Input Language of gringo. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1João Leite A Bird's-Eye View of Forgetting in Answer-Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli Modular Construction of Minimal Models. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid Metabolic Network Completion. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antonius Weinzierl Blending Lazy-Grounding and CDNL Search for Answer-Set Solving. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tran Cao Son Answer Set Programming and Its Applications in Planning and Multi-agent Systems. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Lopes, Matthias Knorr, João Leite NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Greßler, Johannes Oetsch, Hans Tompits \mathsf Harvey : A System for Random Testing in ASP. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michal Wrona Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Seventh Answer Set Programming Competition. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Marco Maratea Nurse Scheduling via Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Yuanlin Zhang Vicious Circle Principle and Formation of Sets in ASP Based Languages. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV2. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira Contextual Reasoning: Usually Birds Can Abductively Fly. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Schüller Adjudication of Coreference Annotations via Answer Set Optimization. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Tomi Janhunen (eds.) Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maximilian Pensel, Anni-Yasmin Turhan Including Quantification in Defeasible Reasoning for the Description Logic EL⊥. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesca Toni From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marc Dahlem, Tripti Jain, Klaus Schneider 0001, Michael Gillmann Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori 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 LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Answer Set Solving with Bounded Treewidth Revisited. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alex Brik, Jeffrey B. Remmel Action Language Hybrid AL. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Redl Answer Set Programs with Queries over Subprograms. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Orkunt Sabuncu, João Leite moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jörg Pührer ArgueApply: A Mobile App for Argumentation. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller 0002 Foundations for a Probabilistic Event Calculus. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ezgi Iraz Su A Monotonic View on Reflexive Autoepistemic Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001 A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn Gelfond-Zhang Aggregates as Propositional Formulas. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jori Bomanson lp2normal - A Normalization Tool for Extended Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhizheng Zhang Answer Set Programming with Graded Modality. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christoph Redl Explaining Inconsistency in Answer Set Programs and Extensions. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Multi-level Algorithm Selection for ASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Gerhard Brewka, Hannes Strass A Formal Theory of Justifications. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar Stable Models for Temporal Theories - - Invited Talk -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo Automated Inference of Rules with Exception from Past Legal Cases Using ASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Alexander Biewer, Javier Romero 0003, Christian Haubelt, Torsten Schaub Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhizheng Zhang, Shutao Zhang Logic Programming with Graded Modality. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristina Feier, Thomas Eiter Reasoning with Forest Logic Programs Using Fully Enriched Automata. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler A New Computational Logic Approach to Reason with Conditionals. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Anna Ryabokon, Gottfried Schenner Combining Heuristics for Configuration Problems Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn M. Shchekotykhin OOASP: Connecting Object-Oriented and Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manfred Eppe, Ewen Maclean, Roberto Confalonieri 0001, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza ASP, Amalgamation, and the Conceptual Blending Workflow. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, James P. Delgrande, Javier Romero 0003, Torsten Schaub Implementing Preferences with asprin. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mutsunori 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. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca Advances in WASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub Answer Set Programming Modulo Acyclicity. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mushthofa Mushthofa, Steven Schockaert, Martine De Cock Solving Disjunctive Fuzzy Answer Set Programs. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Brass A Framework for Goal-Directed Query Evaluation with Negation. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Infinitary Equilibrium Logic and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph Babb, Joohyung Lee Online Action Language oBC +. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Basseda Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jérôme Lang Algorithmic Decision Theory Meets Logic - - Invited Talk -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tiep Le Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Volkan Patoglu, Zeynep Gozen Saribatur Diagnostic Reasoning for Robotics Using Action Languages. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefania Costantini Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero 0003, Torsten Schaub Progress in clasp Series 3. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno Enablers and Inhibitors in Causal Justifications of Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Claudia Schulz 0001, Ken Satoh, Francesca Toni Characterising and Explaining Inconsistency in Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Sixth Answer Set Programming Competition - - Report -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Stefan Woltran Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nada Lavrac, Anze Vavpetic Relational and Semantic Data Mining - - Invited Talk -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel P. Lupp Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.) Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniela Inclezan On the Relationship Between Two Modular Action Languages: A Translation from MAD into ALM ALM. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub ASP Solving for Expanding Universes. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Tran Cao Son "Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David G. Mitchell, Eugenia Ternovska Clause-Learning for Modular Systems. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Mantas Simkus Linking Open-World Knowledge Bases Using Nonmonotonic Rules. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Justin Blount, Michael Gelfond, Marcello Balduccini A Theory of Intentions for Intelligent Agents - (Extended Abstract). Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthew Buddenhagen, Yuliya Lierler Performance Tuning in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 603 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license