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)
Publication types (Num. hits)
inproceedings(562) proceedings(15)
Venues (Conferences, Journals, ...)
LPNMR(577)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 28 keywords

Results
Found 577 publication records. Showing 577 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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
1Ezgi Iraz Su A Monotonic View on Reflexive Autoepistemic Reasoning. 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
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
1Jörg Pührer ArgueApply: A Mobile App for Argumentation. 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
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
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
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
1Alex Brik, Jeffrey B. Remmel Action Language Hybrid AL. 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
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
1Carmine Dodaro, Marco Maratea Nurse Scheduling via Answer Set Programming. 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
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
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
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
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
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
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
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
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
1Jori Bomanson lp2normal - A Normalization Tool for Extended Logic Programs. 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
1Peter Schüller Adjudication of Coreference Annotations via Answer Set Optimization. Search on Bibsonomy LPNMR The full citation details ... 2017 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
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
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
1Zhizheng Zhang Answer Set Programming with Graded Modality. 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
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
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
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
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
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
1Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub Integrating ASP into ROS for Reasoning in Robots. 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
1Alex Brik, Jeffrey B. Remmel Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP. 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
1Tiep Le Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences. 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
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
1Przemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. 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
1Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca Advances in WASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Vicol, James P. Delgrande, Torsten Schaub An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. 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
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
1Pedro Cabalar Stable Models for Temporal Theories - - Invited Talk -. 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
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
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
1Reza Basseda Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic. 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
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
1Jérôme Lang Algorithmic Decision Theory Meets Logic - - Invited Talk -. 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
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
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
1David G. Mitchell, Eugenia Ternovska Clause-Learning for Modular Systems. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin Interactive Debugging of Non-ground ASP Programs. 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
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
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
1Marc Denecker, Gerhard Brewka, Hannes Strass A Formal Theory of Justifications. 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
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
1Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran Shift Design with Answer Set Programming. 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
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
1Przemyslaw Andrzej Walega Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. 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
1Matthew Buddenhagen, Yuliya Lierler Performance Tuning in Answer Set 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
1Nada Lavrac, Anze Vavpetic Relational and Semantic Data Mining - - Invited Talk -. 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
1Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, Peter Stone Mobile Robot Planning Using Action Language BC with an Abstraction Hierarchy. 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
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
1Peter Schüller Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub Matchmaking with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis Game Semantics for Non-monotonic Intensional Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher Implementing Belief Change in the Situation Calculus and an Application. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou Justifications for Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Kewen Wang Forgetting under the Well-Founded Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza Linear Logic Programming for Narrative Generation. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Pavlos Peppas, Stefan Woltran AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski Logic Programming in the 1970s. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rosamaria Barilaro, Michael Fink 0001, Francesco Ricca, Giorgio Terracina Towards Query Answering in Relational Multi-Context Systems. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider Ricochet Robots: A Transverse ASP Benchmark. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Matthias Sauer 0002, Martin Gebser, Tobias Schubert 0001, Bernd Becker 0001, Torsten Schaub Accurate Computation of Sensitizable Paths Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ringo Baumann, Gerhard Brewka Spectra in Abstract Argumentation: An Analysis of Minimal Change. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saadat Anwar, Chitta Baral, Katsumi Inoue Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Antic, Thomas Eiter, Michael Fink 0001 Hex Semantics via Approximation Fixpoint Theory. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, José Júlio Alferes Decidability and Implementation of Parametrized Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Negation as a Resource: A Novel View on Answer Set Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario 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 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 577 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
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