default search action
13. LPNMR 2015: Lexington, KY, USA
- Francesco Calimeri
, Giovambattista Ianni, Miroslaw Truszczynski:
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Lecture Notes in Computer Science 9345, Springer 2015, ISBN 978-3-319-23263-8 - Pedro Cabalar:
Stable Models for Temporal Theories - - Invited Talk -. 1-13 - Jérôme Lang:
Algorithmic Decision Theory Meets Logic - - Invited Talk -. 14-19 - Nada Lavrac, Anze Vavpetic:
Relational and Semantic Data Mining - - Invited Talk -. 20-31 - Michael Abseher, Martin Gebser, Nysret Musliu
Shift Design with Answer Set Programming. 32-39 - Mario Alviano, Carmine Dodaro
Advances in WASP. 40-54 - Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. 55-68 - Benjamin Andres, David Rajaratnam
Integrating ASP into ROS for Reasoning in Robots. 69-82 - Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo
Automated Inference of Rules with Exception from Past Legal Cases Using ASP. 83-96 - Joseph Babb, Joohyung Lee:
Online Action Language oBC +. 97-111 - Mutsunori Banbara, Martin Gebser, Katsumi Inoue
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. 112-126 - Chitta Baral, Tran Cao Son:
"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. 127-133 - Justin Blount, Michael Gelfond, Marcello Balduccini:
A Theory of Intentions for Intelligent Agents - (Extended Abstract). 134-142 - Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
Answer Set Programming Modulo Acyclicity. 143-150 - Stefan Brass:
A Framework for Goal-Directed Query Evaluation with Negation. 151-157 - Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
Implementing Preferences with asprin. 158-172 - Alex Brik, Jeffrey B. Remmel:
Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP. 173-185 - Matthew Buddenhagen, Yuliya Lierler:
Performance Tuning in Answer Set Programming. 186-198 - Pedro Cabalar, Jorge Fandinno
Enablers and Inhibitors in Causal Justifications of Logic Programs. 199-212 - Günther Charwat, Stefan Woltran:
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. 213-227 - Stefania Costantini:
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. 228-241 - Stefania Costantini, Giovanni De Gasperis
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses. 242-249 - Marc Denecker, Gerhard Brewka, Hannes Strass:
A Formal Theory of Justifications. 250-264 - Emmanuelle-Anna Dietz, Steffen Hölldobler:
A New Computational Logic Approach to Reason with Conditionals. 265-278 - Carmine Dodaro
Interactive Debugging of Non-ground ASP Programs. 279-293 - Thomas Eiter, Mantas Simkus
Linking Open-World Knowledge Bases Using Nonmonotonic Rules. 294-308 - Manfred Eppe, Ewen Maclean, Roberto Confalonieri
ASP, Amalgamation, and the Conceptual Blending Workflow. 309-316 - Esra Erdem
Diagnostic Reasoning for Robotics Using Action Languages. 317-331 - Andreas A. Falkner, Anna Ryabokon
OOASP: Connecting Object-Oriented and Logic Programming. 332-345 - Cristina Feier
Reasoning with Forest Logic Programs Using Fully Enriched Automata. 346-353 - Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
ASP Solving for Expanding Universes. 354-367 - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
Progress in clasp Series 3. 368-383 - Martin Gebser, Anna Ryabokon
Combining Heuristics for Configuration Problems Using Answer Set Programming. 384-397 - Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde:
Infinitary Equilibrium Logic and Strong Equivalence. 398-410 - Daniela Inclezan:
On the Relationship Between Two Modular Action Languages: A Translation from MAD into ALM ALM. 411-424 - Theofrastos Mantadelis
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. 425-438 - Marco Maratea, Luca Pulina
Multi-level Algorithm Selection for ASP. 439-445 - David G. Mitchell, Eugenia Ternovska:
Clause-Learning for Modular Systems. 446-452 - Mushthofa Mushthofa
Solving Disjunctive Fuzzy Answer Set Programs. 453-466 - Claudia Schulz
Characterising and Explaining Inconsistency in Logic Programs. 467-479 - Paul Vicol, James P. Delgrande, Torsten Schaub
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. 480-487 - Przemyslaw Andrzej Walega, Mehul Bhatt
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. 488-501 - Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, Peter Stone:
Mobile Robot Planning Using Action Language BC with an Abstraction Hierarchy. 502-516 - Zhizheng Zhang, Shutao Zhang
Logic Programming with Graded Modality. 517-530 - Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Sixth Answer Set Programming Competition - - Report -. 531-544 - Reza Basseda:
Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic. 545-551 - Tiep Le:
Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences. 552-558 - Daniel P. Lupp:
Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access. 559-564 - Przemyslaw Andrzej Walega:
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. 565-571
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: