KR 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A B C D E F G H I J K L M N O P Q R S T U V W

A
Abductive Reasoning	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
abstract argumentation	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (PDF, talk) Characteristics of Multiple Viewpoints in Abstract Argumentation (PDF, talk) Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (PDF, talk) Justified Beliefs by Justified Arguments (PDF, talk)
abstract argumentation semantics	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (PDF, talk)
abstraction	An Abstraction Technique for the Verification of Multi-Agent Systems against ATL Specifications (PDF, talk)
action and change	Dynamic Causal Calculus (PDF, talk)
Action histories	Transforming Situation Calculus Action Theories for Optimised Reasoning (PDF, talk)
aggregators in probabilistic models	Relational Logistic Regression (PDF, talk)
Algebra of maps	Knowledge Maps of Web Graphs (PDF, talk)
Allen algebra	Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk)
alternating temporal logic	A Temporal Logic of Strategic Knowledge (PDF, talk)
angry birds	Qualitative Spatial Representation and Reasoning in Angry Bird: the Extended Rectangle Algebra (PDF, talk)
answer set programming	Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (PDF, talk) The Semantics of Gringo and Infinitary Propositional Formulas (PDF, talk) Stable Models of Multi-Valued Formulas: Partial versus Total Functions (PDF, talk) Strong Equivalence of Non-Monotonic Temporal Theories (PDF, talk) Using Answer Set Programming for Solving Boolean Games (PDF, talk) Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (PDF, talk) First-Order Default Logic Revisited (PDF, talk)
applied KR for design computing	Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer Aided Architecture Design (PDF, talk)
Approximation Fixpoint Theory	Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (PDF, talk)
argumentation	David Poole’s Specificity Revised (PDF, talk) Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (PDF, talk) Interval Methods for Judgment Aggregation in Argumentation (PDF, talk)
argumentation framework	A Dynamic Logic Framework for Abstract Argumentation (PDF, talk)
Argumentation frameworks	How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (PDF, talk)
argumentation semantics	Characteristics of Multiple Viewpoints in Abstract Argumentation (PDF, talk)
artifact-centric systems	Model Checking Unbounded Artifact-Centric Systems (PDF, talk)
ATL	An Abstraction Technique for the Verification of Multi-Agent Systems against ATL Specifications (PDF, talk)
Automata-Based Reasoning	Decidable Gödel Description Logics without the Finitely-Valued Model Property (PDF, talk)
automated reasoning	Answering Instance Queries Relaxed by Concept Similarity (PDF, talk)
awareness	Toward a Knowledge Level Analysis of Forgetting (PDF, talk)
axiomatization	Axiomatizing Rationality (PDF, talk) How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (PDF, talk)
Ayciclicity conditions	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
B
belief base	Belief Change and Base Dependence (PDF, talk)
Belief bias	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
belief change	A Dynamic Logic Framework for Abstract Argumentation (PDF, talk) Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (PDF, talk) Belief Change and Base Dependence (PDF, talk) Toward a Knowledge Level Analysis of Forgetting (PDF, talk) Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk)
belief merging	On Egalitarian Belief Merging (PDF, talk)
belief revision	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (PDF, talk) Belief Change and Base Dependence (PDF, talk) Belief Change and Semiorders (PDF, talk) Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk) Minimal Change in AGM Revision for Non-Classical Logics (PDF, talk)
Boolean Games	GuaranteeNash for Boolean games is NEXP-hard (PDF, talk) Using Answer Set Programming for Solving Boolean Games (PDF, talk)
boosting completeness	Simultaneous Learning and Prediction (PDF, talk)
Branching Time	Representing and Reasoning About Time Travel Narratives: Foundational Concepts (PDF, talk)
Business Process Management	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk)
C
Causality	Appropriate Causal Models and Stability of Causation (PDF, talk)
causation	Dynamic Causal Calculus (PDF, talk)
certain answers	Certain Answers as Objects and Knowledge (PDF, talk)
certain knowledge	Certain Answers as Objects and Knowledge (PDF, talk)
chaining predictors	Simultaneous Learning and Prediction (PDF, talk)
Classical Planning	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk) Heuristic Guided Optimization for Propositional Planning (PDF, talk)
cognitive robotics	How To Progress Beliefs in Continuous Domains (PDF, talk) A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (PDF, talk)
Combined Approach	Polynomial Combined Rewritings for Existential Rules (PDF, talk)
combined complexity	Nominal Schemas in Description Logics: Complexities Clarified (PDF, talk)
complexity	Exact Learning of Lightweight Description Logic Ontologies (PDF, talk)
complexity analysis	Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (PDF, talk) Decidable Gödel Description Logics without the Finitely-Valued Model Property (PDF, talk)
complexity theory	GuaranteeNash for Boolean games is NEXP-hard (PDF, talk)
comprehension model	A Psychology-Inspired Approach to Automated Narrative Text Comprehension (PDF, talk)
Computational Complexity	Characteristics of Multiple Viewpoints in Abstract Argumentation (PDF, talk) Query Inseparability for Description Logic Knowledge Bases (PDF, talk) Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (PDF, talk)
computational logic	ASP Encodings of Acyclicity Properties (PDF, talk)
computational model of narrative	Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer Aided Architecture Design (PDF, talk)
Computational Pragmatics	Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk)
computer-aided architecture design	Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer Aided Architecture Design (PDF, talk)
Concept Similarity	Answering Instance Queries Relaxed by Concept Similarity (PDF, talk)
conformant planning	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
ConGolog	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (PDF, talk)
constructive negation	Constructive Negation in Extensional Higher-Order Logic Programming (PDF, talk)
Contextual Reasoning	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
contingent planning	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
continuous noise in effectors and sensors	How To Progress Beliefs in Continuous Domains (PDF, talk)
contraction	Belief Change and Base Dependence (PDF, talk)
D
data complexity	Nominal Schemas in Description Logics: Complexities Clarified (PDF, talk)
Data-aware dynamic systems	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
database querying	Certain Answers as Objects and Knowledge (PDF, talk)
decidability and complexity	Model Checking Unbounded Artifact-Centric Systems (PDF, talk)
decision diagrams	Probabilistic Sentential Decision Diagrams (PDF, talk)
Decision Rules	Axiomatizing Rationality (PDF, talk)
Declarative modeling	ASP Encodings of Acyclicity Properties (PDF, talk)
Default logic	First-Order Default Logic Revisited (PDF, talk)
Defeasible reasoning	David Poole’s Specificity Revised (PDF, talk)
degrees of belief	How To Progress Beliefs in Continuous Domains (PDF, talk)
Deontic logic	Aggregative Deontic Detachment for Normative Reasoning (PDF, talk)
dependence	Belief Change and Base Dependence (PDF, talk)
Description logic	Finite Model Reasoning in Horn Description Logics (PDF, talk) Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (PDF, talk)
Description Logics	Nested Regular Path Queries in Description Logics (PDF, talk) Answering Instance Queries Relaxed by Concept Similarity (PDF, talk) Lightweight Description Logics and Branching Time: a Troublesome Marriage (PDF, talk) Exact Learning of Lightweight Description Logic Ontologies (PDF, talk) Concept Dissimilarity with Triangle Inequality (PDF, talk) Minimal Change in AGM Revision for Non-Classical Logics (PDF, talk)
Description Logics and Ontologies	Query Inseparability for Description Logic Knowledge Bases (PDF, talk)
diagnosis	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
Dialogue Modeling	Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk)
Dominance	Transforming Situation Calculus Action Theories for Optimised Reasoning (PDF, talk)
Doxastic Logic	Justified Beliefs by Justified Arguments (PDF, talk) Axioms .2 and .4 as Interaction Axioms (PDF, talk)
dynamic logic	A Dynamic Logic Framework for Abstract Argumentation (PDF, talk) Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (PDF, talk)
E
egalitarianism	On Egalitarian Belief Merging (PDF, talk)
empirical analysis	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (PDF, talk)
epistemic logic	Justified Beliefs by Justified Arguments (PDF, talk) Satisfiability of Alternating-Time Temporal Epistemic Logic through Tableaux (PDF, talk) A Temporal Logic of Strategic Knowledge (PDF, talk) Axioms .2 and .4 as Interaction Axioms (PDF, talk)
epistemic planning	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
Equality constraints	Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (PDF, talk)
equilibrium logic	Strong Equivalence of Non-Monotonic Temporal Theories (PDF, talk)
Equilibrium Semantics	Generalized Multi-Context Systems (PDF, talk)
Exact Learning	Exact Learning of Lightweight Description Logic Ontologies (PDF, talk)
existential rules	Stable Model Semantics for Guarded Existential Rules and Description Logics (PDF, talk) Polynomial Combined Rewritings for Existential Rules (PDF, talk)
Experimental evaluation	Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (PDF, talk)
expressiveness	Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (PDF, talk)
F
finite satisfiability	Finite Model Reasoning in Horn Description Logics (PDF, talk)
first-order	First-Order Default Logic Revisited (PDF, talk)
first-order logic	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (PDF, talk)
first-order logic of discrete linear order	A Formalization of Programs in First-Order Logic with a Discrete Linear Order (PDF, talk)
Fixed-Parameter Tractability	The Parameterized Complexity of Reasoning Problems Beyond NP (PDF, talk)
Forgetting	Toward a Knowledge Level Analysis of Forgetting (PDF, talk)
Forgetting in Reasoning about Actions	Forgetting in Action (PDF, talk)
Forgetting in the Situation Calculus	Forgetting in Action (PDF, talk)
formalization	Dynamic Causal Calculus (PDF, talk)
Fuzzy Description Logics	Decidable Gödel Description Logics without the Finitely-Valued Model Property (PDF, talk)
G
Game theory	GuaranteeNash for Boolean games is NEXP-hard (PDF, talk)
general theory of stable models	Stable Models of Multi-Valued Formulas: Partial versus Total Functions (PDF, talk)
Generalized databases	Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (PDF, talk)
Golog	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (PDF, talk)
Grounded Equilibrium Semantics	Generalized Multi-Context Systems (PDF, talk)
Gödel Semantics	Decidable Gödel Description Logics without the Finitely-Valued Model Property (PDF, talk)
H
higher-order logic programming	Constructive Negation in Extensional Higher-Order Logic Programming (PDF, talk)
Horn logic	Minimal Change in AGM Revision for Non-Classical Logics (PDF, talk)
Human Reasoning	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
I
Identity	Rough Set Semantics for Identity on the Web (PDF, talk)
incomplete databases	Certain Answers as Objects and Knowledge (PDF, talk)
inconsistency in probabilistic knowledge bases	Linear Programs for Measuring Inconsistency in Probabilistic Logics (PDF, talk)
inconsistency measures	Linear Programs for Measuring Inconsistency in Probabilistic Logics (PDF, talk)
IndiGolog	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk)
Infinitary Formulas	The Semantics of Gringo and Infinitary Propositional Formulas (PDF, talk)
Informal semantics	The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (PDF, talk)
Input/output logic	Aggregative Deontic Detachment for Normative Reasoning (PDF, talk)
Inspection Points	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
Intention and Belief	Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk)
iterative process	Simultaneous Learning and Prediction (PDF, talk)
J
Jeffrey's rule of conditioning	Reasoning with Uncertain Inputs in Possibilistic Networks (PDF, talk)
Judgment Aggregation	Interval Methods for Judgment Aggregation in Argumentation (PDF, talk)
justified belief	Justified Beliefs by Justified Arguments (PDF, talk)
K
Knowledge Acquisition and Forgetting	Forgetting in Action (PDF, talk)
knowledge compilation	On OBDDs for CNFs of Bounded Treewidth (PDF, talk) Probabilistic Sentential Decision Diagrams (PDF, talk)
knowledge representation	Answering Instance Queries Relaxed by Concept Similarity (PDF, talk) Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (PDF, talk) ASP Encodings of Acyclicity Properties (PDF, talk)
L
labellings enumeration algorithm	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (PDF, talk)
Lifted inference	Skolemization for Weighted First-Order Model Counting (PDF, talk)
Linked Data	Rough Set Semantics for Identity on the Web (PDF, talk)
logic	Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (PDF, talk)
Logic Programming	The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (PDF, talk) An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
logical difference	Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (PDF, talk)
logistic regression	Relational Logistic Regression (PDF, talk)
Lukasiewicz logic	How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (PDF, talk)
M
machine learning	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
Maps of graphs	Knowledge Maps of Web Graphs (PDF, talk)
Mathematical Morphology	Concept Dissimilarity with Triangle Inequality (PDF, talk)
minimal change	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (PDF, talk)
minimal network	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
missing information	Simultaneous Learning and Prediction (PDF, talk)
modal logic	Axioms .2 and .4 as Interaction Axioms (PDF, talk)
Modal Temporal Logics	Strong Equivalence of Non-Monotonic Temporal Theories (PDF, talk)
model checking	An Abstraction Technique for the Verification of Multi-Agent Systems against ATL Specifications (PDF, talk) Model Checking Unbounded Artifact-Centric Systems (PDF, talk)
model counting	Skolemization for Weighted First-Order Model Counting (PDF, talk)
model theory of incompleteness	Certain Answers as Objects and Knowledge (PDF, talk)
models of incompleteness	Certain Answers as Objects and Knowledge (PDF, talk)
Multi Context Systems	Generalized Multi-Context Systems (PDF, talk)
Multi-agent systems	Reasoning about Equilibria in Game-Like Concurrent Systems (PDF, talk) An Abstraction Technique for the Verification of Multi-Agent Systems against ATL Specifications (PDF, talk)
multiagent dynamic systems	On the Progression of Knowledge in Multiagent Systems (PDF, talk)
N
Narrative	Representing and Reasoning About Time Travel Narratives: Foundational Concepts (PDF, talk)
Nash equilibrium	Reasoning about Equilibria in Game-Like Concurrent Systems (PDF, talk)
negation as failure	Constructive Negation in Extensional Higher-Order Logic Programming (PDF, talk)
nominal schemas	Nominal Schemas in Description Logics: Complexities Clarified (PDF, talk)
Non-circular Justifications	Generalized Multi-Context Systems (PDF, talk)
non-classical logics	Minimal Change in AGM Revision for Non-Classical Logics (PDF, talk)
Non-monotonic reasoning	Generalized Multi-Context Systems (PDF, talk) How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (PDF, talk)
Nonmonotonic Reasoning	First-Order Default Logic Revisited (PDF, talk)
Normative reasoning	Aggregative Deontic Detachment for Normative Reasoning (PDF, talk)
O
OBDD	On OBDDs for CNFs of Bounded Treewidth (PDF, talk)
ontology	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
ontology languages	Stable Model Semantics for Guarded Existential Rules and Description Logics (PDF, talk)
open/closed world semantics	Certain Answers as Objects and Knowledge (PDF, talk)
Ordered Disjunction	Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (PDF, talk)
P
parameter estimation	Probabilistic Sentential Decision Diagrams (PDF, talk)
PCA	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
Pearl's virtual evidence method	Reasoning with Uncertain Inputs in Possibilistic Networks (PDF, talk)
performance prediction	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
Petri nets	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
planning	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
Planning and Pseudo-boolean Optimization	Heuristic Guided Optimization for Propositional Planning (PDF, talk)
Planning as Satisfiability	Heuristic Guided Optimization for Propositional Planning (PDF, talk)
Plausibility Rankings	Belief Change and Semiorders (PDF, talk)
Polynomial Hierarchy	The Parameterized Complexity of Reasoning Problems Beyond NP (PDF, talk)
population size in relational models	Relational Logistic Regression (PDF, talk)
Possibilistic networks	Reasoning with Uncertain Inputs in Possibilistic Networks (PDF, talk)
Preference	Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (PDF, talk)
Preorders	Belief Change and Semiorders (PDF, talk)
preserving soundness	Simultaneous Learning and Prediction (PDF, talk)
prime network	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
probabilistic logic	Linear Programs for Measuring Inconsistency in Probabilistic Logics (PDF, talk)
probabilistic logics	Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (PDF, talk)
probabilistic models	Probabilistic Sentential Decision Diagrams (PDF, talk)
Process Adaptation	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk)
Product Modal Logics	Lightweight Description Logics and Branching Time: a Troublesome Marriage (PDF, talk)
program semantics	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (PDF, talk)
program verification	A Formalization of Programs in First-Order Logic with a Discrete Linear Order (PDF, talk)
progression	Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (PDF, talk)
progression of basic action theories	How To Progress Beliefs in Continuous Domains (PDF, talk) On the Progression of Knowledge in Multiagent Systems (PDF, talk)
Projection	Transforming Situation Calculus Action Theories for Optimised Reasoning (PDF, talk)
proof procedure	Constructive Negation in Extensional Higher-Order Logic Programming (PDF, talk)
propositional assignments	Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (PDF, talk)
propositional closure	Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk)
psychological validation	A Psychology-Inspired Approach to Automated Narrative Text Comprehension (PDF, talk)
Pure Nash Equilibria	Using Answer Set Programming for Solving Boolean Games (PDF, talk)
Q
qualitative algebras	Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk)
qualitative constraint networks	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
qualitative spatial reasoning	Qualitative Spatial Representation and Reasoning in Angry Bird: the Extended Rectangle Algebra (PDF, talk) On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
query answering	Query Inseparability for Description Logic Knowledge Bases (PDF, talk) Polynomial Combined Rewritings for Existential Rules (PDF, talk) Finite Model Reasoning in Horn Description Logics (PDF, talk)
query entailment	Nested Regular Path Queries in Description Logics (PDF, talk)
Query Evaluation	Certain Answers as Objects and Knowledge (PDF, talk)
query rewriting	Polynomial Combined Rewritings for Existential Rules (PDF, talk)
R
rationality	Axiomatizing Rationality (PDF, talk)
reasoner	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
reasoning about action and change	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
reasoning about actions	A Formalization of Programs in First-Order Logic with a Discrete Linear Order (PDF, talk)
reasoning about actions and change	Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (PDF, talk)
reasoning about knowledge and action	On the Progression of Knowledge in Multiagent Systems (PDF, talk)
reasoning about knowledge and belief	Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (PDF, talk)
Reasoning under uncertain inputs	Reasoning with Uncertain Inputs in Possibilistic Networks (PDF, talk)
Reductions to SAT	The Parameterized Complexity of Reasoning Problems Beyond NP (PDF, talk)
redundancy	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
region connection calculus	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
regular path queries	Nested Regular Path Queries in Description Logics (PDF, talk)
relational logistic regression	Relational Logistic Regression (PDF, talk)
relational probabilistic models	Relational Logistic Regression (PDF, talk)
Relevance	Belief Change and Base Dependence (PDF, talk)
Relevance Theory	Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (PDF, talk)
Reordering	Transforming Situation Calculus Action Theories for Optimised Reasoning (PDF, talk)
revision	Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (PDF, talk)
rough sets	Rough Set Semantics for Identity on the Web (PDF, talk)
rules	First-Order Default Logic Revisited (PDF, talk)
S
Satisfiability in Alternating-time Temporal Logic	Satisfiability of Alternating-Time Temporal Epistemic Logic through Tableaux (PDF, talk)
Sceptical reasoning	How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (PDF, talk)
Semantic Web	Rough Set Semantics for Identity on the Web (PDF, talk)
Semantics and pragmatics	Rough Set Semantics for Identity on the Web (PDF, talk)
Semantics of Aggregates	The Semantics of Gringo and Infinitary Propositional Formulas (PDF, talk)
Semantics of Conditional Literals	The Semantics of Gringo and Infinitary Propositional Formulas (PDF, talk)
Side-effects	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
Similarity	Concept Dissimilarity with Triangle Inequality (PDF, talk)
Situation Calculus	How To Progress Beliefs in Continuous Domains (PDF, talk) Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (PDF, talk) Forgetting in Action (PDF, talk) SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk) On the Progression of Knowledge in Multiagent Systems (PDF, talk) Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk) Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (PDF, talk)
skolemization	Skolemization for Weighted First-Order Model Counting (PDF, talk)
Social Choice	Interval Methods for Judgment Aggregation in Argumentation (PDF, talk)
social choice theory	On Egalitarian Belief Merging (PDF, talk)
software description	Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (PDF, talk)
specificity	David Poole’s Specificity Revised (PDF, talk)
stability	Appropriate Causal Models and Stability of Causation (PDF, talk)
stability analysis	Qualitative Spatial Representation and Reasoning in Angry Bird: the Extended Rectangle Algebra (PDF, talk)
stable model semantics	Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (PDF, talk) Stable Model Semantics for Guarded Existential Rules and Description Logics (PDF, talk) Stable Models of Multi-Valued Formulas: Partial versus Total Functions (PDF, talk)
standard reasoning	Nominal Schemas in Description Logics: Complexities Clarified (PDF, talk)
State-boundedness	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
Story Telling	Representing and Reasoning About Time Travel Narratives: Foundational Concepts (PDF, talk)
story understanding	A Psychology-Inspired Approach to Automated Narrative Text Comprehension (PDF, talk)
strategies	A Temporal Logic of Strategic Knowledge (PDF, talk)
Strong Equivalence	Strong Equivalence of Non-Monotonic Temporal Theories (PDF, talk)
structural equations	Appropriate Causal Models and Stability of Causation (PDF, talk)
Succinctness	Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (PDF, talk)
T
Tableau-based Decision Methods	Satisfiability of Alternating-Time Temporal Epistemic Logic through Tableaux (PDF, talk)
Temporal Description Logics	Lightweight Description Logics and Branching Time: a Troublesome Marriage (PDF, talk)
temporal logic	Satisfiability of Alternating-Time Temporal Epistemic Logic through Tableaux (PDF, talk) Reasoning about Equilibria in Game-Like Concurrent Systems (PDF, talk) Model Checking Unbounded Artifact-Centric Systems (PDF, talk)
Temporal projection	Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (PDF, talk)
Temporal Reasoning	Strong Equivalence of Non-Monotonic Temporal Theories (PDF, talk)
Three-valued Lukasiewicz Logic	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
three-valued semantics	An Abstraction Technique for the Verification of Multi-Agent Systems against ATL Specifications (PDF, talk)
Time Travel	Representing and Reasoning About Time Travel Narratives: Foundational Concepts (PDF, talk)
treewidth	On OBDDs for CNFs of Bounded Treewidth (PDF, talk)
U
Uniform Interpolation	Toward a Knowledge Level Analysis of Forgetting (PDF, talk)
Uniform interpolation and forgetting	Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (PDF, talk)
update	A Dynamic Logic Framework for Abstract Argumentation (PDF, talk) Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (PDF, talk)
V
verification	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
visual and spatial cognition and computation	Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer Aided Architecture Design (PDF, talk)
W
Weak Completion Semantics	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
Web of Linked Data	Knowledge Maps of Web Graphs (PDF, talk)
Well-Founded Semantics	The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (PDF, talk)
Winograd Schema Challenge	Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (PDF, talk)
Winograd Schemas	Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (PDF, talk)
world view	First-Order Default Logic Revisited (PDF, talk)