VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

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

Disclaimer | Powered by EasyChair Smart Program