DECLARATIVEAI-22: DECLARATIVE AI 2022

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

A
Action and change	On the generalization of learnt constraints in ASP solving for temporal domains
Action Rules	High-Utility Action Rules Mining
Answer Set Programming	The I-DLV-sr system for Stream Reasoning in Smart City Applications 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) ASP in Industry, Here and There Declarative Smart Contract Testing by Domain Experts
Answer set programming in dynamic domains	On the generalization of learnt constraints in ASP solving for temporal domains
application	The Evolution of Decisioning in IT, and What Happens Next
Applications	The I-DLV-sr system for Stream Reasoning in Smart City Applications Knowledge Graphs: Theory, Applications and Challenges
ArgQL	Extending the ArgQL Specification
AspectOWL	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
Automated Reasoning	Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
Automated Theorem Proving	Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
Autonomous Driving	A Rule-Based Behaviour Planner for Autonomous Driving Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
Autonomous Vehicle (AV)	Validation of Autonomous Vehicle Overtaking under Queensland Road Rules
B
base change	Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics (Best student paper)
Behaviour Planning	A Rule-Based Behaviour Planner for Autonomous Driving
belief change	KLM-Style Defeasibility for Restricted First-Order Logic
belief revision	Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics (Best student paper)
Benchmark	RUBEN: A Rule Engine Benchmarking Framework
Benchmark Generator	iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
Biology	Expressing Biological Problems with Logical Reasoning Languages
C
Challenges	Knowledge Graphs: Theory, Applications and Challenges Opening of Rule Challenge
Cognitive assistants	Prudens: An Argumentation-Based Language for Cognitive Assistants
Computational argumentation	Extending the ArgQL Specification
Computational Complexity	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Conflict-driven constraint learning	On the generalization of learnt constraints in ASP solving for temporal domains
connection method
Cooperative agents	Cooperation among groups of agents in the epistemic logic L-DINF
Counterfactual reasoning	From Defeasible Logic to Counterfactual Reasoning
COVID-19	Expressing Biological Problems with Logical Reasoning Languages
D
Datalog	Rule-Based Data Access: A use-case in Agroecology
datalog provenance	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
datalog(S)	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
DatalogMTL	Seminaive Materialisation in DatalogMTL The Temporal Vadalog System
Decision model and notation	On the semantics of "null" in DMN: Undefined is not unknown
Declarative Language	Declarative Smart Contract Testing by Domain Experts
Defeasible Deontic Logic (DDL)	Validation of Autonomous Vehicle Overtaking under Queensland Road Rules
Defeasible Logic	From Defeasible Logic to Counterfactual Reasoning
defeasible reasoning	KLM-Style Defeasibility for Restricted First-Order Logic
democratization	The Evolution of Decisioning in IT, and What Happens Next
Description logic	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Description logic EL	Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs
E
Epistemic Logics	Cooperation among groups of agents in the epistemic logic L-DINF
Error-tolerant reasoning	Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs
existential rules	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
experience in logic	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
Expert System	A Rule-Based Behaviour Planner for Autonomous Driving
Explainable AI	A Rule-Based Behaviour Planner for Autonomous Driving
Explainable Machine Learning	High-Utility Action Rules Mining
Explanation	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
F
first-order logic	KLM-Style Defeasibility for Restricted First-Order Logic
formal proof	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
G
GDPR	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
H
High-Utility Action Rules Mining	High-Utility Action Rules Mining
High-Utility Mining	High-Utility Action Rules Mining
hybrid ASP	ASP in Industry, Here and There
Hybrid Learning	Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
I
Industrial Application	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
industrial applications	ASP in Industry, Here and There
K
Keyword search	Extending the ArgQL Specification
Knowledge Graphs	Knowledge Graphs: Theory, Applications and Challenges
Knowledge Representation	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL On the semantics of "null" in DMN: Undefined is not unknown Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
Knowledge Representation and Reasoning	The I-DLV-sr system for Stream Reasoning in Smart City Applications
L
Legal Logic	Declarative Smart Contract Testing by Domain Experts
LegalRuleML	Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
Logic programming	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Logical Programming	Prudens: An Argumentation-Based Language for Cognitive Assistants
Logical reasoning	Expressing Biological Problems with Logical Reasoning Languages
LP^MLN	plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
M
Magic Set Transformation	Magic Sets in Interpolation-based Rule Driven Query Optimization
Materialisation	Seminaive Materialisation in DatalogMTL
Metadata	Extending the ArgQL Specification
Model theoretic semantics	On the semantics of "null" in DMN: Undefined is not unknown
Modelling	Declarative Smart Contract Testing by Domain Experts
Multi-Agent Systems	Cooperation among groups of agents in the epistemic logic L-DINF
Multi-Component Machine	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
N
neural networks	Neuro-Symbolic AI and Decision Rules
Neuro-Symbolic AI	Neuro-Symbolic AI and Decision Rules
non-monotonic reasoning	KLM-Style Defeasibility for Restricted First-Order Logic Prudens: An Argumentation-Based Language for Cognitive Assistants
Normative Reasoning	Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
NP-Hardness	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
O
Ontological Reasoning	iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
Ontology	Declarative Smart Contract Testing by Domain Experts
Ontology Based Data Access	Rule-Based Data Access: A use-case in Agroecology
Optimal repair	Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs
Overtaking	Validation of Autonomous Vehicle Overtaking under Queensland Road Rules
Overview	Opening of Declarative AI and RuleML+RR
P
Partial functions	On the semantics of "null" in DMN: Undefined is not unknown
PhD	Opening of Doctoral Consortium
Preventive Maintenance Scheduling	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Probabilistic reasoning	plingo: A system for probabilistic reasoning in clingo based on lpmln (Harold Boley best system description)
Problem Formalization	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
process automation	The Evolution of Decisioning in IT, and What Happens Next
Proof	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
proof representations	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
Prova	Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
Q
Query answering	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Query rewriting and optimization	Magic Sets in Interpolation-based Rule Driven Query Optimization
Querying argumentative information	Extending the ArgQL Specification
R
Reasoning	Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
representability	Semantic Characterizations of AGM Revision for Arbitrary Tarskian Logics (Best student paper)
Rotating Machinery	Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
RUBEN	RUBEN: A Rule Engine Benchmarking Framework
Rule Engine	A Rule-Based Behaviour Planner for Autonomous Driving
Rule Engines	RUBEN: A Rule Engine Benchmarking Framework
Rule Formalization	Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving
Rule Learning	A Rule-Based Behaviour Planner for Autonomous Driving High-Utility Action Rules Mining
Rule-driven interpolation-based query optimization	Magic Sets in Interpolation-based Rule Driven Query Optimization
Rules	Neuro-Symbolic AI and Decision Rules RUBEN: A Rule Engine Benchmarking Framework Opening of Rule Challenge Opening of Doctoral Consortium
S
SARS-CoV-2	Expressing Biological Problems with Logical Reasoning Languages
Skolem functions	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Smart City	The I-DLV-sr system for Stream Reasoning in Smart City Applications
Smart Contract	Declarative Smart Contract Testing by Domain Experts
Stream Processing	The I-DLV-sr system for Stream Reasoning in Smart City Applications
Stream Reasoning	The I-DLV-sr system for Stream Reasoning in Smart City Applications
Structured Rule Base	A Rule-Based Behaviour Planner for Autonomous Driving
T
Temporal Reasoning	Seminaive Materialisation in DatalogMTL The Temporal Vadalog System
Theory	Knowledge Graphs: Theory, Applications and Challenges
Theory revision	From Defeasible Logic to Counterfactual Reasoning
TPTP	Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
U
Universal model	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models
Use-case in agroecology	Rule-Based Data Access: A use-case in Agroecology
user study	In the Head of the Beholder: Comparing Different Proof Representations (Best paper)
V
Vadalog	The Temporal Vadalog System iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning Expressing Biological Problems with Logical Reasoning Languages
Validation	Validation of Autonomous Vehicle Overtaking under Queensland Road Rules Declarative Smart Contract Testing by Domain Experts
Verbalisation	Declarative Smart Contract Testing by Domain Experts
Verification	Declarative Smart Contract Testing by Domain Experts
Virology	Expressing Biological Problems with Logical Reasoning Languages
Visualisation	Declarative Smart Contract Testing by Domain Experts
W
Warded Datalog+/-	iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning
why-provenance	An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Ο
Οnline debating	Extending the ArgQL Specification

Disclaimer | Powered by EasyChair Smart Program