DECLARATIVEAI-22: DECLARATIVE AI 2022

A
Alfonsi, Tommaso	Expressing Biological Problems with Logical Reasoning Languages
Alrabbaa, Christian	In the Head of the Beholder: Comparing Different Proof Representations (Best paper) Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Angele, Jürgen	RUBEN: A Rule Engine Benchmarking Framework
Angele, Kevin	RUBEN: A Rule Engine Benchmarking Framework
Arndt, Dörthe	Opening of Rule Challenge
Atzeni, Paolo	iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
B
Baader, Franz	Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs
Baget, Jean-François	Rule-Based Data Access: A use-case in Agroecology
Baldazzi, Teodoro	iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
Bellomarini, Luigi	Expressing Biological Problems with Logical Reasoning Languages iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning The Temporal Vadalog System
Bernasconi, Anna	Expressing Biological Problems with Logical Reasoning Languages
Bhuiyan, Hanif	Validation of Autonomous Vehicle Overtaking under Queensland Road Rules
Blasi, Livia	The Temporal Vadalog System
Borgwardt, Stefan	In the Head of the Beholder: Comparing Different Proof Representations (Best paper) Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Bouchard, Frédéric	A Rule-Based Behaviour Planner for Autonomous Driving
C
Calimeri, Francesco	The I-DLV-sr system for Stream Reasoning in Smart City Applications
Casini, Giovanni	KLM-Style Defeasibility for Restricted First-Order Logic
Ceri, Stefano	Expressing Biological Problems with Logical Reasoning Languages
Costantini, Stefania	Cooperation among groups of agents in the epistemic logic L-DINF
Cristani, Matteo	From Defeasible Logic to Counterfactual Reasoning
Cuenca Grau, Bernardo	Seminaive Materialisation in DatalogMTL
Czarnecki, Krzysztof	A Rule-Based Behaviour Planner for Autonomous Driving
D
de Saint Marie, Christian	Neuro-Symbolic AI and Decision Rules
Denecker, Marc	On the semantics of "null" in DMN: Undefined is not unknown
E
Elhalawati, Ali	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
F
Falakh, Faiq Miftakhul	Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics (Best student paper)
Feng, Eva	Magic Sets in Interpolation-based Rule Driven Query Optimization
Fensel, Dieter	RUBEN: A Rule Engine Benchmarking Framework
Flouris, Giorgos	Extending the ArgQL Specification
Formisano, Andrea	Cooperation among groups of agents in the epistemic logic L-DINF
Fuenmayor, David	Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
G
Governatori, Guido	From Defeasible Logic to Counterfactual Reasoning
Governatori, Guido	Opening of Declarative AI and RuleML+RR
H
Hahn, Susana	plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
Hirsch, Anke	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
Horrocks, Ian	Knowledge Graphs: Theory, Applications and Challenges
Hrudkova, Katerina	High-Utility Action Rules Mining
J
Janhunen, Tomi	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
K
Kaminski, Roland	plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
Kharlamov, Evgeny	Opening of Doctoral Consortium
Kliegr, Tomas	High-Utility Action Rules Mining
Knieriemen, Nina	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
Koopmann, Patrick	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Kovtunova, Alisa	In the Head of the Beholder: Comparing Different Proof Representations (Best paper) Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Kriegel, Francesco	Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs
Krötzsch, Markus	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
M
Manas, Kumar	Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
Markos, Vasileios Theodoros	Prudens: An Argumentation-Based Language for Cognitive Assistants
Markovic, Djordje	On the semantics of "null" in DMN: Undefined is not unknown
Mastria, Elena	The I-DLV-sr system for Stream Reasoning in Smart City Applications
Mennicke, Stephan	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Meyer, Thomas	KLM-Style Defeasibility for Restricted First-Order Logic
Michael, Loizos	Prudens: An Argumentation-Based Language for Cognitive Assistants
Mitsikas, Theodoros	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
Mugnier, Marie-Laure	Rule-Based Data Access: A use-case in Agroecology
N
Najm, Elie	Rule-Based Data Access: A use-case in Agroecology
Nissl, Markus	The Temporal Vadalog System
Nuradiansyah, Adrian	Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs
O
Olivieri, Francesco	From Defeasible Logic to Counterfactual Reasoning
P
Paschke, Adrian	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
Paschke, Adrian	Opening of Declarative AI and RuleML+RR
Paterson-Jones, Guy	KLM-Style Defeasibility for Restricted First-Order Logic
Perri, Simona	The I-DLV-sr system for Stream Reasoning in Smart City Applications
Pitoni, Valentina	Cooperation among groups of agents in the epistemic logic L-DINF
Purnell, Kevin	Declarative Smart Contract Testing by Domain Experts
R
Romero, Javier	On the generalization of learnt constraints in ASP solving for temporal domains plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
Rothermel, Anna Milena	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
Rotolo, Antonino	From Defeasible Logic to Counterfactual Reasoning
Roussakis, Yannis	Extending the ArgQL Specification
Rudolph, Sebastian	Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics (Best student paper)
Ruehling, Nicolas	plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
S
Sallinger, Emanuel	iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning The Temporal Vadalog System
Sauerwald, Kai	Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics (Best student paper)
Schaub, Torsten	ASP in Industry, Here and There On the generalization of learnt constraints in ASP solving for temporal domains plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
Schwitter, Rolf	Declarative Smart Contract Testing by Domain Experts
Schäfermeier, Ralph	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
Sedwards, Sean	A Rule-Based Behaviour Planner for Autonomous Driving
Soylu, Ahmet	Opening of Rule Challenge
Steen, Alexander	Opening of Doctoral Consortium Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
Strauch, Klaus	On the generalization of learnt constraints in ASP solving for temporal domains
Sykora, Lukas	High-Utility Action Rules Mining
T
Toman, David	Magic Sets in Interpolation-based Rule Driven Query Optimization
Turhan, Anni-Yasmin	Opening of Declarative AI and RuleML+RR
V
Vandevelde, Simon	On the semantics of "null" in DMN: Undefined is not unknown
Vanthienen, Jan	Opening of Rule Challenge
Varzinczak, Ivan	KLM-Style Defeasibility for Restricted First-Order Logic
Vennekens, Joost	On the semantics of "null" in DMN: Undefined is not unknown
Vincent, Paul	The Evolution of Decisioning in IT, and What Happens Next
W
Wang, Dingmin	Seminaive Materialisation in DatalogMTL
Wałęga, Przemysław Andrzej	Seminaive Materialisation in DatalogMTL
Weddell, Grant	Magic Sets in Interpolation-based Rule Driven Query Optimization
Wiehr, Frederik	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
Y
Yli-Jyrä, Anssi	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Z
Zangari, Jessica	The I-DLV-sr system for Stream Reasoning in Smart City Applications
Zwicklbauer, Stefan	Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
Ş
Şimşek, Umutcan	RUBEN: A Rule Engine Benchmarking Framework

Disclaimer | Powered by EasyChair Smart Program