LPNMR 2015: 13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING

A
Abseher, Michael	Shift-design with Answer Set Programming
Alviano, Mario	Advances in WASP
Andres, Benjamin	Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics Integrating ASP into ROS for Reasoning in Robots
Athakravi, Duangtida	Automated inference of rules with exception from past legal cases using ASP
B
Babb, Joseph	Online Action Language oBC+
Balduccini, Marcello	A Theory of Intentions for Intelligent Agents
Banbara, Mutsunori	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Baral, Chitta	"Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication
Bhatt, Mehul	ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
Biewer, Alexander	Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics
Blount, Justin	A Theory of Intentions for Intelligent Agents
Bomanson, Jori	Answer Set Programming modulo Acyclicity
Brass, Stefan	A Framework for Goal-Directed Query Evaluation with Negation
Brewka, Gerhard	A Formal Theory of Justifications Implementing preferences with asprin
Brik, Alex	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
Broda, Krysia	Automated inference of rules with exception from past legal cases using ASP
Buddenhagen, Matt	Performance Tuning in Constraint Programming
C
Cabalar, Pedro	Enablers and Inhibitors in Causal Justifications of Logic Programs Invited Talk: Stable Models for Temporal Theories
Charwat, Günther	Democratix: A Declarative Approach to Winner Determination Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams
Confalonieri, Roberto	ASP, Amalgamation, and the Conceptual Blending Workflow
Costantini, Stefania	Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments
D
De Cock, Martine	Solving disjunctive fuzzy answer set programs
De Gasperis, Giovanni	Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
Delgrande, James	An Implementation of Consistency-Based Multi-Agent Belief Change using ASP Implementing preferences with asprin
Denecker, Marc	A Formal Theory of Justifications
Dietz, Emmanuelle-Anna	A New Computational Logic Approach to Reason with Conditionals
Dodaro, Carmine	Advances in WASP Interactive debugging of non-ground ASP programs
E
Eiter, Thomas	Reasoning with Forest Logic Programs Using Fully Enriched Automata Linking Open-world Knowledge Bases using Nonmonotonic Rules
Eppe, Manfred	ASP, Amalgamation, and the Conceptual Blending Workflow
Erdem, Esra	Diagnostic Reasoning for Robotics using Action Languages
F
Falkner, Andreas A.	OOASP: Connecting Object-oriented and Logic Programming
Fandiño, Jorge	Enablers and Inhibitors in Causal Justifications of Logic Programs
Feier, Cristina	Reasoning with Forest Logic Programs Using Fully Enriched Automata
G
Gasteiger, Philip	Interactive debugging of non-ground ASP programs
Gebser, Martin	Progress in clasp series 3 The Design of the Sixth Answer Set Programming Competition & Winners Announcement aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming ASP Solving for Expanding Universes Shift-design with Answer Set Programming Answer Set Programming modulo Acyclicity Combining Heuristics for Configuration Problems Using Answer Set Programming
Gelfond, Michael	A Theory of Intentions for Intelligent Agents
H
Harrison, Amelia	Infinitary Equilibrium Logic and Strong Equivalence
Haubelt, Christian	Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics
Hölldobler, Steffen	A New Computational Logic Approach to Reason with Conditionals
I
Ianni, Giovambattista
Inclezan, Daniela	On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM
Inoue, Katsumi	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
J
Janhunen, Tomi	ASP Solving for Expanding Universes Answer Set Programming modulo Acyclicity
Janssens, Gerda	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
Jost, Holger	ASP Solving for Expanding Universes
K
Kaminski, Roland	Progress in clasp series 3 ASP Solving for Expanding Universes
Kaufmann, Benjamin	Progress in clasp series 3 Answer Set Programming modulo Acyclicity
Khandelwal, Piyush	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
Kutz, Oliver	ASP, Amalgamation, and the Conceptual Blending Workflow
L
Lang, Jérôme	Invited Talk: Algorithmic Decision Theory meets Logic
Lavrač, Nada	Invited Talk: Relational and Semantic Data Mining
Law, Mark	Automated inference of rules with exception from past legal cases using ASP
Lee, Joohyung	Online Action Language oBC+
Leone, Nicola	Advances in WASP
Lierler, Yuliya	Performance Tuning in Constraint Programming
Lifschitz, Vladimir	Infinitary Equilibrium Logic and Strong Equivalence
M
MacLean, Ewen	ASP, Amalgamation, and the Conceptual Blending Workflow
Mantadelis, Theofrastos	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
Maratea, Marco	The Design of the Sixth Answer Set Programming Competition & Winners Announcement Multi-Level Algorithm Selection for ASP
Mattei, Nicholas	Social Choice as a source of (Hard) Computational Problems
Mitchell, David	Clause-Learning for Modular Systems
Mushthofa, Mushthofa	Solving disjunctive fuzzy answer set programs
Musitsch, Benjamin	Interactive debugging of non-ground ASP programs
Musliu, Nysret	Shift-design with Answer Set Programming
O
Olivieri, Raffaele	Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
Ostrowski, Max	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
P
Patoglu, Volkan	Diagnostic Reasoning for Robotics using Action Languages
Peano, Andrea	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Pearce, David	Infinitary Equilibrium Logic and Strong Equivalence
Pfandler, Andreas	Democratix: A Declarative Approach to Winner Determination
Plaza, Enric	ASP, Amalgamation, and the Conceptual Blending Workflow
Pulina, Luca	Multi-Level Algorithm Selection for ASP
R
Rajaratnam, David	Integrating ASP into ROS for Reasoning in Robots
Remmel, Jeffrey	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
Ricca, Francesco	The Design of the Sixth Answer Set Programming Competition & Winners Announcement Advances in WASP Interactive debugging of non-ground ASP programs Multi-Level Algorithm Selection for ASP
Romero, Javier	Progress in clasp series 3 Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics Implementing preferences with asprin
Russo, Alessandra	Automated inference of rules with exception from past legal cases using ASP
Ryabokon, Anna	Combining Heuristics for Configuration Problems Using Answer Set Programming OOASP: Connecting Object-oriented and Logic Programming
S
Sabuncu, Orkunt	Integrating ASP into ROS for Reasoning in Robots
Saribatur, Zeynep Gozen	Diagnostic Reasoning for Robotics using Action Languages
Satoh, Ken	Characterising and Explaining Inconsistency in Logic Programs Automated inference of rules with exception from past legal cases using ASP
Schaub, Torsten	Progress in clasp series 3 aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming ASP Solving for Expanding Universes Shift-design with Answer Set Programming Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics Pocket calculators for hard combinatorial search and optimization problems An Implementation of Consistency-Based Multi-Agent Belief Change using ASP Answer Set Programming modulo Acyclicity Implementing preferences with asprin Integrating ASP into ROS for Reasoning in Robots
Schenner, Gottfried	Combining Heuristics for Configuration Problems Using Answer Set Programming OOASP: Connecting Object-oriented and Logic Programming
Schockaert, Steven	Solving disjunctive fuzzy answer set programs
Schorlemmer, Marco	ASP, Amalgamation, and the Conceptual Blending Workflow
Schultz, Carl	ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
Schulz, Claudia	Characterising and Explaining Inconsistency in Logic Programs
Shchekotykhin, Kostyantyn	Interactive debugging of non-ground ASP programs OOASP: Connecting Object-oriented and Logic Programming
Shterionov, Dimitar	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
Simkus, Mantas	Linking Open-world Knowledge Bases using Nonmonotonic Rules
Soh, Takehide	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Son, Tran Cao	"Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication
Stone, Peter	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
Strass, Hannes	A Formal Theory of Justifications
T
Tamura, Naoyuki	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Ternovska, Eugenia	Clause-Learning for Modular Systems
Toni, Francesca	Characterising and Explaining Inconsistency in Logic Programs
V
Valverde, Agustin	Infinitary Equilibrium Logic and Strong Equivalence
Vavpetič, Anže	Invited Talk: Relational and Semantic Data Mining
Vicol, Paul	An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
W
Wałęga, Przemysław	ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
Weise, Matthias	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Woltran, Stefan	Shift-design with Answer Set Programming Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams
Y
Yang, Fangkai	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
Z
Zhang, Shiqi	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
Zhang, Shutao	Logic Programming with Graded Modality
Zhang, Zhizheng	Logic Programming with Graded Modality

Disclaimer | Powered by EasyChair Smart Program