JELIA 2019: EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE

A
Allocca, Carlo	Memory saving evaluation plans for Datalog
Alpuente, María	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
Alviano, Mario	Chain Answer Sets for Logic Programs with Generalized Atoms
Amendola, Giovanni	Algorithm Selection for Paracoherent Answer Set Computation Extending Bell Numbers for Parsimonious Chase Estimation
Areces, Carlos	Interpolation and Beth Definability for Default Logics
B
Baader, Franz	Privacy-Preserving Ontology Publishing for EL Instance Stores Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
Balduccini, Marcello	Explaining Actual Causation via Reasoning about Actions and Change
Ballis, Demis	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
Baumann, Ringo	AGM Meets Abstract Argumentation: Contraction for Dung Frameworks
Bednarczyk, Bartosz	On the Complexity of Graded Modal Logics with Converse
Beierle, Christoph	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
Berg, Jeremias	Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
Bistarelli, Stefano	A Possible World View and a Normal Form for the Constellation Semantics Well-foundedness in Weighted Argumentation Frameworks
Bogaerts, Bart	Explaining actual causation in terms of possible causal processes
Bolander, Thomas	The dynamic logic of policies and contingent planning
Borgwardt, Stefan	Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies
Botha, Leonard	A Bayesian Extension of the Description Logic ALC
Boudou, Joseph	Axiomatic systems and topological semantics for intuitionistic temporal logic
Breu, Christian	The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
Brewka, Gerhard	Multi-Valued GRAPPA
Broersen, Jan	A logic of objective and subjective oughts
Brunello, Andrea	Interval Temporal Logic Decision Tree Learning
C
Cabalar, Pedro	Lower Bound Founded Logic of Here-and-There
Casini, Giovanni	Taking Defeasible Entailment beyond Rational Closure
Cassano, Valentin	Interpolation and Beth Definability for Default Logics
Castro, Pablo	Interpolation and Beth Definability for Default Logics
Chen, Jieying	Computing Minimal Projection Modules of Description Logic Terminologies
Costabile, Roberta	Memory saving evaluation plans for Datalog
Costantini, Stefania	Towards applying Computational Logic to Digital Forensics and Digital Investigations: the European COST Action DigForASP
Cramer, Marcos	Empirical Study on Human Evaluation of Complex Argumentation Frameworks
Cristani, Matteo	Advancements in Resource-driven Substructural Defeasible Logic
Cropper, Andrew	Typed meta-interpretive learning of logic programs SLD-Resolution Reduction of Second-Order Horn Fragments
Cuenca-Ortega, Angel	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
Cuteri, Bernardo	A Logic-Based Question Answering System for Cultural Heritage
D
Demri, Stéphane	Axiomatising Logics with Separating Conjunction and Modalities
Denecker, Marc	Explaining actual causation in terms of possible causal processes
Diéguez, Martín	Axiomatic systems and topological semantics for intuitionistic temporal logic
Dodaro, Carmine	Algorithm Selection for Paracoherent Answer Set Computation
Dubois, Didier	Possibilistic logic: From certainty-qualified statements to two-tiered logics -- A prospective survey
Dvořák, Wolfgang	Preprocessing Argumentation Frameworks via Replacement Patterns
E
Ecke, Andreas	Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
Eiter, Thomas	Abstraction for Non-Ground Answer Set Programs
Engesser, Thorsten	The dynamic logic of policies and contingent planning
Escobar, Santiago	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
F
Faber, Wolfgang	Algorithm Selection for Paracoherent Answer Set Computation Chain Answer Sets for Logic Programs with Generalized Atoms
Fandinno, Jorge	Lower Bound Founded Logic of Here-and-There
Fernández-Duque, David	Axiomatic systems and topological semantics for intuitionistic temporal logic
Fervari, Raul	Axiomatising Logics with Separating Conjunction and Modalities Interpolation and Beth Definability for Default Logics
Fiorentino, Alessio	Memory saving evaluation plans for Datalog
Forkel, Walter	Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies
G
Geibinger, Tobias	Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set Programs
Giordano, Laura	Extending ALC with the power-set construct
Girlando, Marianna	Nested sequents for the logic of conditional belief
Gottlob, Georg	Vadalog: Recent Advances and Applications
Governatori, Guido	Advancements in Resource-driven Substructural Defeasible Logic
Guillaume, Mathieu	Empirical Study on Human Evaluation of Complex Argumentation Frameworks
H
Hannula, Miika	Facets of Distribution Identities in Probabilistic Team Semantics
Haret, Adrian	Manipulating Skeptical and Credulous Consequences when Merging Beliefs
Herzig, Andreas	The dynamic logic of policies and contingent planning
Hirvonen, Åsa	Facets of Distribution Identities in Probabilistic Team Semantics
I
Ind, Axel	The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
J
Järvisalo, Matti	Preprocessing Argumentation Frameworks via Replacement Patterns Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
K
Kain, Tobias	Uhura: An Authoring Tool for Specifying Answer-Set Programs using Controlled Natural Language
Kern-Isberner, Gabriele	Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
Kieroński, Emanuel	On the Complexity of Graded Modal Logics with Converse
Kontinen, Juha	Facets of Distribution Identities in Probabilistic Team Semantics
Kriegel, Francesco	Privacy-Preserving Ontology Publishing for EL Instance Stores Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
Kulikov, Vadim	Facets of Distribution Identities in Probabilistic Team Semantics
Kutsch, Steven	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence
L
LeBlanc, Emily	Explaining Actual Causation via Reasoning about Actions and Change
Lellmann, Bjoern	Nested sequents for the logic of conditional belief
Linker, Felix	AGM Meets Abstract Argumentation: Contraction for Dung Frameworks
Linsbichler, Thomas	Preprocessing Argumentation Frameworks via Replacement Patterns
Lorini, Emiliano	Reasoning about Cognitive Attitudes in a Qualitative Setting
Ludwig, Michel	Computing Minimal Projection Modules of Description Logic Terminologies
Lyon, Tim	Cut-free Calculi and Relational Semantics for Temporal STIT logics
M
Ma, Yue	Computing Minimal Projection Modules of Description Logic Terminologies
Mansutti, Alessio	Axiomatising Logics with Separating Conjunction and Modalities
Mantadelis, Theofrastos	A Possible World View and a Normal Form for the Constellation Semantics
Marte, Cinzia	Extending Bell Numbers for Parsimonious Chase Estimation
Mattmüller, Robert	The dynamic logic of policies and contingent planning
Mertesdorf, Julia	The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
Meseguer, Jose	ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
Meyer, Thomas	A Bayesian Extension of the Description Logic ALC Taking Defeasible Entailment beyond Rational Closure
Morel, Rolf	Typed meta-interpretive learning of logic programs
N
Nebel, Bernhard	The dynamic logic of policies and contingent planning
Nieves, Juan Carlos	Stable-Ordered Models for Propositional Theories with Order Operators
Niskanen, Andreas	Preprocessing Argumentation Frameworks via Replacement Patterns
Nuradiansyah, Adrian	Privacy-Preserving Ontology Publishing for EL Instance Stores
O
Oetsch, Johannes	Stable-Ordered Models for Propositional Theories with Order Operators
Olivetti, Nicola	Nested sequents for the logic of conditional belief
Olivieri, Francesco	Advancements in Resource-driven Substructural Defeasible Logic
Ong, Luke	Typed meta-interpretive learning of logic programs
Ozaki, Ana	Learning Ontologies with Epistemic Reasoning: The EL Case
P
Perri, Simona	Memory saving evaluation plans for Datalog
Peñaloza, Rafael	A Bayesian Extension of the Description Logic ALC
Pieris, Andreas	Vadalog: Recent Advances and Applications
Policriti, Alberto	Extending ALC with the power-set construct
Prade, Henri	Possibilistic logic: From certainty-qualified statements to two-tiered logics -- A prospective survey
Puehrer, Joerg	Multi-Valued GRAPPA
Pulina, Luca	Algorithm Selection for Paracoherent Answer Set Computation
R
Ragni, Marco	The Weak Completion Semantics can Model Inferences of Individual Human Reasoner
Ramírez Abarca, Aldo Iván	A logic of objective and subjective oughts
Reale, Kristian	A Logic-Based Question Answering System for Cultural Heritage
Ricca, Francesco	Algorithm Selection for Paracoherent Answer Set Computation A Logic-Based Question Answering System for Cultural Heritage
Romero, Fabián	Axiomatic systems and topological semantics for intuitionistic temporal logic
S
Santini, Francesco	Well-foundedness in Weighted Argumentation Frameworks
Saribatur, Zeynep G.	Abstraction for Non-Ground Answer Set Programs
Schaub, Torsten	Lower Bound Founded Logic of Here-and-There
Schellhorn, Sebastian	Lower Bound Founded Logic of Here-and-There
Schüller, Peter	Abstraction for Non-Ground Answer Set Programs The Hexlite Solver
Sciavicco, Guido	Interval Temporal Logic Decision Tree Learning
Stan, Ionel Eduard	Interval Temporal Logic Decision Tree Learning
Su, Ezgi Iraz	Epistemic Answer Set Programming
T
Tompits, Hans	Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set Programs Uhura: An Authoring Tool for Specifying Answer-Set Programs using Controlled Natural Language
Tourret, Sophie	SLD-Resolution Reduction of Second-Order Horn Fragments
Troquard, Nicolas	Learning Ontologies with Epistemic Reasoning: The EL Case
U
Ulbricht, Markus	Repairing Non-monotonic Knowledge Bases
V
van Berkel, Kees	Cut-free Calculi and Relational Semantics for Temporal STIT logics
Varzinczak, Ivan	Taking Defeasible Entailment beyond Rational Closure
Vennekens, Joost	Explaining Actual Causation via Reasoning about Actions and Change Explaining actual causation in terms of possible causal processes
Virtema, Jonni	Facets of Distribution Identities in Probabilistic Team Semantics
W
Wallner, Johannes P.	Manipulating Skeptical and Credulous Consequences when Merging Beliefs
Walther, Dirk	Computing Minimal Projection Modules of Description Logic Terminologies
Wałęga, Przemysław Andrzej	Computational Complexity of Core Fragments of Modal Logics T, K4, and S4
Wilhelm, Marco	Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy
Witkowski, Piotr	On the Complexity of Graded Modal Logics with Converse
Woltran, Stefan	Preprocessing Argumentation Frameworks via Replacement Patterns Multi-Valued GRAPPA
Z
Zangari, Jessica	Memory saving evaluation plans for Datalog

Disclaimer | Powered by EasyChair Smart Program