JELIA 2019: EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE

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

A
abstract argumentation	Preprocessing Argumentation Frameworks via Replacement Patterns Empirical Study on Human Evaluation of Complex Argumentation Frameworks Well-foundedness in Weighted Argumentation Frameworks AGM Meets Abstract Argumentation: Contraction for Dung Frameworks Repairing Non-monotonic Knowledge Bases
abstraction	Abstraction for Non-Ground Answer Set Programs
Actual Causation	Explaining actual causation in terms of possible causal processes
aggregates	Chain Answer Sets for Logic Programs with Generalized Atoms
Aggregating Semantics	Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
algebraic axioms	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
Algorithm Selection	Algorithm Selection for Paracoherent Answer Set Computation
Answer Set Programming	Epistemic Answer Set Programming Chain Answer Sets for Logic Programs with Generalized Atoms A Logic-Based Question Answering System for Cultural Heritage Abstraction for Non-Ground Answer Set Programs The Hexlite Solver Algorithm Selection for Paracoherent Answer Set Computation
answer-set programming	Uhura: An Authoring Tool for Specifying Answer-Set Programs using Controlled Natural Language Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set Programs
Argumentation	Multi-Valued GRAPPA
argumentation semantics	Empirical Study on Human Evaluation of Complex Argumentation Frameworks
associativity	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
autoepistemic equilibrium models	Epistemic Answer Set Programming
Axiomatic Systems	Axiomatic systems and topological semantics for intuitionistic temporal logic
B
Bayesian networks	A Bayesian Extension of the Description Logic ALC
BDDs
belief merging	Manipulating Skeptical and Credulous Consequences when Merging Beliefs
belief revision	Nested sequents for the logic of conditional belief AGM Meets Abstract Argumentation: Contraction for Dung Frameworks
Bell numbers	Extending Bell Numbers for Parsimonious Chase Estimation
Beth Definability	Interpolation and Beth Definability for Default Logics
C
Causal ambiguities	Explaining actual causation in terms of possible causal processes
Causal knowledge representation	Explaining actual causation in terms of possible causal processes
Causal reasoning	Explaining actual causation in terms of possible causal processes Explaining Actual Causation via Reasoning about Actions and Change
closed world semantics	Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies
Cognitive modeling	The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
commutativity	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
complexity	Privacy-Preserving Ontology Publishing for EL Instance Stores On the Complexity of Graded Modal Logics with Converse Manipulating Skeptical and Credulous Consequences when Merging Beliefs
Computational Complexity	Computational Complexity of Core Fragments of Modal Logics T, K4, and S4
Concept inclusion	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
conditional	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
Conditional Doxastic Logic	Nested sequents for the logic of conditional belief
conditional independence	Facets of Distribution Identities in Probabilistic Team Semantics
Constellation Semantics	A Possible World View and a Normal Form for the Constellation Semantics
Contingent planning	The dynamic logic of policies and contingent planning
controlled natural language	Uhura: An Authoring Tool for Specifying Answer-Set Programs using Controlled Natural Language
core-guided reasoning	Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
CP-logic	Explaining actual causation in terms of possible causal processes
Cultural Heritage	A Logic-Based Question Answering System for Cultural Heritage
Cut-free completeness	Cut-free Calculi and Relational Semantics for Temporal STIT logics
D
data indexing	Memory saving evaluation plans for Datalog
Data mining	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
Datalog	Memory saving evaluation plans for Datalog
Decision trees	Interval Temporal Logic Decision Tree Learning
Default Logics	Interpolation and Beth Definability for Default Logics
defeasible entailment	Taking Defeasible Entailment beyond Rational Closure
defeasible reasoning	Taking Defeasible Entailment beyond Rational Closure
Deontic Logic	A logic of objective and subjective oughts
description logic	Privacy-Preserving Ontology Publishing for EL Instance Stores Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies Learning Ontologies with Epistemic Reasoning: The EL Case
Description Logics	Computing Minimal Projection Modules of Description Logic Terminologies Extending ALC with the power-set construct
Domain-lifted Inference	Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
Dynamic Topological Logic	Axiomatic systems and topological semantics for intuitionistic temporal logic
E
EL	Privacy-Preserving Ontology Publishing for EL Instance Stores
elimination of connectives	Axiomatising Logics with Separating Conjunction and Modalities
empirical cognitive study	Empirical Study on Human Evaluation of Complex Argumentation Frameworks
Epistemic Logic	A logic of objective and subjective oughts Learning Ontologies with Epistemic Reasoning: The EL Case
epistemic specifications	Epistemic Answer Set Programming
epistemic splitting property	Epistemic Answer Set Programming
equivalence	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
Exact Learning	Learning Ontologies with Epistemic Reasoning: The EL Case
Existential rules	Extending Bell Numbers for Parsimonious Chase Estimation
Extensions of PDL	The dynamic logic of policies and contingent planning
F
Foundedness	Lower Bound Founded Logic of Here-and-There
G
generalization	Privacy-Preserving Ontology Publishing for EL Instance Stores
generalized atoms	Chain Answer Sets for Logic Programs with Generalized Atoms
generation of knowledge bases	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
graded modalities	On the Complexity of Graded Modal Logics with Converse
H
HEX Programs	The Hexlite Solver
Hilbert-style axiomatisation	Axiomatising Logics with Separating Conjunction and Modalities
Horn clauses	SLD-Resolution Reduction of Second-Order Horn Fragments
Hybrid Knowledge Representation	The Hexlite Solver
hypergraph duality	Privacy-Preserving Ontology Publishing for EL Instance Stores
I
identity	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
Inconsistency handling	Repairing Non-monotonic Knowledge Bases
inductive logic programming	Typed meta-interpretive learning of logic programs SLD-Resolution Reduction of Second-Order Horn Fragments
inductive program synthesis	Typed meta-interpretive learning of logic programs
inprocessing	Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
instance store	Privacy-Preserving Ontology Publishing for EL Instance Stores
instance transformations	Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
Interpolation	Interpolation and Beth Definability for Default Logics
Interval temporal logics	Interval Temporal Logic Decision Tree Learning
Intuitionistic Temporal Logic	Axiomatic systems and topological semantics for intuitionistic temporal logic
isomorphism	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
K
Knowledge acquisition	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
knowledge base	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
knowledge representation	A Bayesian Extension of the Description Logic ALC Stable-Ordered Models for Propositional Theories with Order Operators
Knowledge Representation and Reasoning	Explaining Actual Causation via Reasoning about Actions and Change
L
Labelled sequent calculi	Cut-free Calculi and Relational Semantics for Temporal STIT logics
least general generalization	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
Logic of action	A logic of objective and subjective oughts
Logic of beliefs	Reasoning about Cognitive Attitudes in a Qualitative Setting
Logic of Here-and-There	Lower Bound Founded Logic of Here-and-There
Logic of preferences	Reasoning about Cognitive Attitudes in a Qualitative Setting
logic programming	Chain Answer Sets for Logic Programs with Generalized Atoms The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
Logical Difference	Computing Minimal Projection Modules of Description Logic Terminologies
M
manipulation	Manipulating Skeptical and Credulous Consequences when Merging Beliefs
maximum satisfiability	Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
metarules	SLD-Resolution Reduction of Second-Order Horn Fragments
modal logic	Epistemic Answer Set Programming Computational Complexity of Core Fragments of Modal Logics T, K4, and S4 On the Complexity of Graded Modal Logics with Converse Axiomatising Logics with Separating Conjunction and Modalities Stable-Ordered Models for Propositional Theories with Order Operators
model updates	Axiomatising Logics with Separating Conjunction and Modalities
model-theoretic characterisations	Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set Programs
Multi-agent epistemic logic	Nested sequents for the logic of conditional belief
Multi-agent STIT logic	Cut-free Calculi and Relational Semantics for Temporal STIT logics
Multi-valued Logics	Multi-Valued GRAPPA
N
Nested sequent calculus	Nested sequents for the logic of conditional belief
non-Boolean domains	Lower Bound Founded Logic of Here-and-There
Non-classical logics	Extending ALC with the power-set construct
Non-monotonic logic	Advancements in Resource-driven Substructural Defeasible Logic The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
non-monotonic reasoning	Taking Defeasible Entailment beyond Rational Closure AGM Meets Abstract Argumentation: Contraction for Dung Frameworks Repairing Non-monotonic Knowledge Bases
Non-monotonic sub-structural logic	Advancements in Resource-driven Substructural Defeasible Logic
Nonmonotonic Reasoning	Multi-Valued GRAPPA Stable-Ordered Models for Propositional Theories with Order Operators
normal form	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
O
ontologies	Memory saving evaluation plans for Datalog
Ontology Modularity	Computing Minimal Projection Modules of Description Logic Terminologies
Ontology-based query answering	Extending Bell Numbers for Parsimonious Chase Estimation
order-sorted theories	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
over-approximation	Abstraction for Non-Ground Answer Set Programs
P
Paracoherent Semantics	Algorithm Selection for Paracoherent Answer Set Computation
Parsimonious chase	Extending Bell Numbers for Parsimonious Chase Estimation
Plans as programs	The dynamic logic of policies and contingent planning
Policies in automated planning	The dynamic logic of policies and contingent planning
Possible Worlds	A Possible World View and a Normal Form for the Constellation Semantics
preprocessing	Unifying Reasoning and Core-Guided Search for Maximum Satisfiability Preprocessing Argumentation Frameworks via Replacement Patterns
Principle of Maximum Entropy	Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
privacy	Privacy-Preserving Ontology Publishing for EL Instance Stores
Probabilistic Abstract Argumentation Frameworks	A Possible World View and a Normal Form for the Constellation Semantics
Probabilistic Attack Normal Form	A Possible World View and a Normal Form for the Constellation Semantics
Probabilistic description logic	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
probabilistic description logics	Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy A Bayesian Extension of the Description Logic ALC
Probabilistic interpretation	Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
probabilistic logic	Facets of Distribution Identities in Probabilistic Team Semantics
Probabilistic Logic Programming	A Possible World View and a Normal Form for the Constellation Semantics
program equivalence	Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set Programs
program induction	Typed meta-interpretive learning of logic programs
program templates	SLD-Resolution Reduction of Second-Order Horn Fragments
programming-support tools	Uhura: An Authoring Tool for Specifying Answer-Set Programs using Controlled Natural Language
Propositional Dynamic Logic (PDL)	The dynamic logic of policies and contingent planning
Pseudo-Boolean constraints
Q
Qualitative decision theory	Reasoning about Cognitive Attitudes in a Qualitative Setting
query answering	Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies Memory saving evaluation plans for Datalog
query rewriting	Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies
query-plan	Memory saving evaluation plans for Datalog
Question Answering	A Logic-Based Question Answering System for Cultural Heritage
R
Reasoning about Actions and Change	Explaining Actual Causation via Reasoning about Actions and Change
Relational Semantics	Cut-free Calculi and Relational Semantics for Temporal STIT logics
renaming	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
replacement patterns	Preprocessing Argumentation Frameworks via Replacement Patterns
S
SAT encodings
satisfiability	On the Complexity of Graded Modal Logics with Converse
second-order	SLD-Resolution Reduction of Second-Order Horn Fragments
separation logic	Axiomatising Logics with Separating Conjunction and Modalities
Set-Theory	Extending ALC with the power-set construct
SLD-resolution	SLD-Resolution Reduction of Second-Order Horn Fragments
Stable Models	Lower Bound Founded Logic of Here-and-There
stable-model semantics	Stable-Ordered Models for Propositional Theories with Order Operators
strategy-proofness	Manipulating Skeptical and Credulous Consequences when Merging Beliefs
Sub-propositional Fragments	Computational Complexity of Core Fragments of Modal Logics T, K4, and S4
Sub-structural logic	Advancements in Resource-driven Substructural Defeasible Logic
Symbolic learning	Interval Temporal Logic Decision Tree Learning
System Description	Uhura: An Authoring Tool for Specifying Answer-Set Programs using Controlled Natural Language The Hexlite Solver
T
team semantics	Facets of Distribution Identities in Probabilistic Team Semantics
Temporal logic	Cut-free Calculi and Relational Semantics for Temporal STIT logics
theory reduction	SLD-Resolution Reduction of Second-Order Horn Fragments
Topological Systems	Axiomatic systems and topological semantics for intuitionistic temporal logic
U
uncertainty reasoning	A Bayesian Extension of the Description Logic ALC
W
Wason Selection Task	The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
Weak Completion Semantics	The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
Weighted Argumentation	Well-foundedness in Weighted Argumentation Frameworks
Well-foundedness	Well-foundedness in Weighted Argumentation Frameworks
world views	Epistemic Answer Set Programming

Disclaimer | Powered by EasyChair Smart Program