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

This page contains an index consisting of author-provided keywords.

A
Abduction	A New Computational Logic Approach to Reason with Conditionals
Abstraction Hierarchy	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
Action Language	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy Online Action Language oBC+
action languages	On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM Diagnostic Reasoning for Robotics using Action Languages
Acyclicity	Answer Set Programming modulo Acyclicity
algebraic specifications	ASP, Amalgamation, and the Conceptual Blending Workflow
Algorithm Selection	Multi-Level Algorithm Selection for ASP
Answer Set	Logic Programming with Graded Modality
answer set planning	"Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication
Answer Set Programming	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy Integrating ASP into ROS for Reasoning in Robots ASP, Amalgamation, and the Conceptual Blending Workflow Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses Shift-design with Answer Set Programming Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP ASP Solving for Expanding Universes Combining Heuristics for Configuration Problems Using Answer Set Programming A Theory of Intentions for Intelligent Agents OOASP: Connecting Object-oriented and Logic Programming Performance Tuning in Constraint Programming Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics Diagnostic Reasoning for Robotics using Action Languages Automated inference of rules with exception from past legal cases using ASP Interactive debugging of non-ground ASP programs Implementing preferences with asprin Solving disjunctive fuzzy answer set programs Advances in WASP An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
answer set programming modulo theories	ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
Answer Set Solving	Answer Set Programming modulo Acyclicity aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming Progress in clasp series 3 Multi-Level Algorithm Selection for ASP
Applications of Answer Set Programming	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
Applications of Logic Programming	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
Applications of Non Monotonic Reasoning	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
Artificial Intelligence	Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
ASP	Multi-Level Algorithm Selection for ASP Interactive debugging of non-ground ASP programs
ASP computational tasks	Advances in WASP
ASP modulo Theories	Answer Set Programming modulo Acyclicity
ASP systems	Advances in WASP
Automated inference	Automated inference of rules with exception from past legal cases using ASP
automatic configuration tuning	Performance Tuning in Constraint Programming
Automatic Investigation	Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
B
belief change	An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
belief merging	An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
binary decision diagram	Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams
Boolean formula simplification	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
C
Causality	Enablers and Inhibitors in Causal Justifications of Logic Programs
CDCL	Clause-Learning for Modular Systems
clause learning	Clause-Learning for Modular Systems
Cognitive Robotics	Integrating ASP into ROS for Reasoning in Robots
commonsense reasoning	ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
complexity	Reasoning with Forest Logic Programs Using Fully Enriched Automata
computational complexity	Linking Open-world Knowledge Bases using Nonmonotonic Rules
conceptual blending	ASP, Amalgamation, and the Conceptual Blending Workflow
Conditionals	A New Computational Logic Approach to Reason with Conditionals
configuration problem	Combining Heuristics for Configuration Problems Using Answer Set Programming
Constraint Processing	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
D
Debugging	Interactive debugging of non-ground ASP programs
descriptive goal	"Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication
diagnostic reasoning	Diagnostic Reasoning for Robotics using Action Languages
Digital Forensics	Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
dl-programs	Linking Open-world Knowledge Bases using Nonmonotonic Rules
Domain Specific Heuristic	Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics
dynamic programming algorithms	Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams
dynamic systems	On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM
E
elementary program transformations	A Framework for Goal-Directed Query Evaluation with Negation
Expanding Herbrand Universe	ASP Solving for Expanding Universes
Explanation	Characterising and Explaining Inconsistency in Logic Programs
Extensions of Answer Set Programming	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
External data search	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
F
Forensic models	Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
forest logic programs	Reasoning with Forest Logic Programs Using Fully Enriched Automata
fully enriched automata	Reasoning with Forest Logic Programs Using Fully Enriched Automata
fuzzy and many-valued logic	Solving disjunctive fuzzy answer set programs
G
geometric and qualitative spatial reasoning	ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
goal-directed query evaluation	A Framework for Goal-Directed Query Evaluation with Negation
Graded Modality	Logic Programming with Graded Modality
H
heuristics	Combining Heuristics for Configuration Problems Using Answer Set Programming
Human Reasoning	A New Computational Logic Approach to Reason with Conditionals
I
implementation	Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams
Inconsistency	Characterising and Explaining Inconsistency in Logic Programs
infinitary propositional logic	Infinitary Equilibrium Logic and Strong Equivalence
Integration of logics	A Formal Theory of Justifications
Intelligent Agents	A Theory of Intentions for Intelligent Agents
J
justifications	Enablers and Inhibitors in Causal Justifications of Logic Programs A Formal Theory of Justifications
K
knowledge compilation	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
L
Legal reasoning	Automated inference of rules with exception from past legal cases using ASP
libraries of knowledge	On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM
logic of here-and-there	Infinitary Equilibrium Logic and Strong Equivalence
Logic Programming	A New Computational Logic Approach to Reason with Conditionals Logic Programming with Graded Modality Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP Characterising and Explaining Inconsistency in Logic Programs
Logical Agents	Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments
Lukasiewicz logic	Solving disjunctive fuzzy answer set programs
M
magic sets	A Framework for Goal-Directed Query Evaluation with Negation
Mobile Robot	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
modular systems	Clause-Learning for Modular Systems
Modularity	ASP Solving for Expanding Universes
module theorem	Online Action Language oBC+
Multi-Context Systems	Linking Open-world Knowledge Bases using Nonmonotonic Rules Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments
Multivalued	Enablers and Inhibitors in Causal Justifications of Logic Programs
N
natural language processing	"Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication
Negation	Characterising and Explaining Inconsistency in Logic Programs
Non Monotonic Reasoning	Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
non-monotonic reasoning	ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
O
object-oriented modeling	OOASP: Connecting Object-oriented and Logic Programming
online answer set solving	Online Action Language oBC+
Ontology-based Data Access	Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments
open answer set programming	Reasoning with Forest Logic Programs Using Fully Enriched Automata
open-world assumption	Linking Open-world Knowledge Bases using Nonmonotonic Rules
Optimization	Shift-design with Answer Set Programming Progress in clasp series 3 Implementing preferences with asprin
Order Encoding	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
P
Parallel solving	Progress in clasp series 3
partial evaluation	A Framework for Goal-Directed Query Evaluation with Negation
performance analysis	Performance Tuning in Constraint Programming
plan failure analysis	"Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication
Preference Handling	Implementing preferences with asprin
probabilistic inference	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
probabilistic logic programming	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
ProbLog	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
product configuration	OOASP: Connecting Object-oriented and Logic Programming
Python	An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
R
Reasoning about Actions	Integrating ASP into ROS for Reasoning in Robots
Reasoning about Actions and Change	A Theory of Intentions for Intelligent Agents
relationship between formalisms	On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM
reuse of knowledge	On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM
S
satisfiability	Clause-Learning for Modular Systems
Semantics	A Formal Theory of Justifications
Shift Design Problem	Shift-design with Answer Set Programming
software systems	OOASP: Connecting Object-oriented and Logic Programming
stable models	Infinitary Equilibrium Logic and Strong Equivalence
system optimization	Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
System Synthesis	Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics
T
Task planning	Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
Three-valued Lukasiewicz Semantics	A New Computational Logic Approach to Reason with Conditionals
tree decomposition	Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams
W
Weak Completion Semantics	A New Computational Logic Approach to Reason with Conditionals
Well-founded Semantics	Enablers and Inhibitors in Causal Justifications of Logic Programs A Framework for Goal-Directed Query Evaluation with Negation

Disclaimer | Powered by EasyChair Smart Program