LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT

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

A
accord project	(DecisionCAMP) Accord Project for Smart Legal Contracts
Active Learning	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Aggregative cumulativity	(MIREL)
agreement technologies	(GCAI) Responsible Technologies
AI	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Air Traffic Control	(RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
ALCHQ++	(RuleML+RR) Cardinality Restrictions within Description Logic Connection Calculi
alignments	(Deduktionstreffen) Mathematical Interface Theories for System Integration
analysis	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
Analytic Explain	(DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics
Answer Set Programming	(MIREL) The Logic of Silence in Testimonies (RuleML+RR) Answer Set Programming Modulo `Space-Time' (RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development (RuleML+RR) A new approach to conceive ASP solvers
Answer-Set Programming	(RuleML+RR) Justifications under the Fixed-Domain Semantics (RuleML+RR) Faceted Answer-Set Navigation
Artificial Intelligence	(GCAI) On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals (RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Association Rule	(RuleML+RR) Classification based on Associations (CBA) - a performance analysis
Attack Graph	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Automated Planning	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Automated reasoning	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Automated Theorem Proving	(Deduktionstreffen) Deep Reasoning - Hardware Accelerated Artificial Intelligence (Deduktionstreffen) Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (RuleML+RR) Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
automatic generation	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
B
Background Knowledge	(RW Summer School) Machine Learning with and for Knowledge Graphs
Bayesian Inference	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM
Bayesian Networks	(GCAI) Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams (RuleML+RR) Improving Probabilistic Rules Compilation using PRM
benchmark	(RuleML+RR) Classification based on Associations (CBA) - a performance analysis
benchmarking	(Deduktionstreffen) A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
Big Data	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
bilevel optimisation	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
blockchain	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !! (DecisionCAMP) Accord Project for Smart Legal Contracts
boundedness	(RuleML+RR) On the k-Boundedness for Existential Rules
BPMN	(DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN (DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Business Decision Model	(RuleML+RR) Building and Analyzing Goal-Oriented Decision Models
Business Process Diagrams	(GCAI) Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Business process management	(DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN
business rule	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !! (RuleML+RR) Improving Probabilistic Rules Compilation using PRM
Business Rule Management System	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM
C
C-SPARQL	(RW Summer School) Engineering of Web Stream Processing Applications
calculus	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
Capability	(DecisionCAMP) Fusion Project – replacing a legacy system elephant, one bite at a time
CAPTCHAs	(GCAI) Using the Winograd Schema Challenge as a CAPTCHA
Case management	(DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN
catchphrase generation	(MIREL) Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Causality	(GCAI) Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
CBA	(RuleML+RR) Classification based on Associations (CBA) - a performance analysis
CEN MetaLex	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
chase	(RuleML+RR) On the k-Boundedness for Existential Rules
chase variants	(RuleML+RR) On the k-Boundedness for Existential Rules
Chronicles	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Classical higher-order logic	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Classification	(RuleML+RR) Classification based on Associations (CBA) - a performance analysis
Classification by Associations	(RuleML+RR) Classification based on Associations (CBA) - a performance analysis
Clause selection heuristic	(Deduktionstreffen) Deep Reasoning - Hardware Accelerated Artificial Intelligence
Climate change	(DecisionCAMP) Modeling progress on Climate Change and Social Value Acts
Clinical Decision Support	(RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
cloud computing frameworks	(RW Summer School) Scalable Semantic Data Management
CMMN	(DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN
cognitive reasoning	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Collections	(DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action
Common Language	(DecisionCAMP) Fusion Project – replacing a legacy system elephant, one bite at a time
Common-Sense Reasoning	(GCAI) A Data-Driven Metric of Hardness for WSC Sentences
commonsense reasoning	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Community	(DecisionCAMP) Introduction and Updates on DMN TCK
Competition	(Deduktionstreffen) Competitive Proving for Fun
Compiler	(RuleML+RR) CHR.js: A CHR Implementation in JavaScript
complex authorization	(DecisionCAMP) Automatic judgment of decision authority using OpenRules
Complex Decisions	(DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Complex event Processing	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
complex systems	(RuleML+RR) Learning condition action rules for personalised journey recommendations
Compliance	(DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics
Computable set theory	(RuleML+RR) An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
concept composition	(Deduktionstreffen) Leibniz on Reasoning about Impossible Concepts (RuleML+RR) Concepts as Modalities in Description Logics (poster teaser)
concurrent	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
concurrent programs	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
condition-action rules	(RuleML+RR) Learning condition action rules for personalised journey recommendations
conditional random fields	(RW Summer School) Cold-start knowledge base population using ontology-based information extraction based on factor graph models
Conformance	(DecisionCAMP) Introduction and Updates on DMN TCK
connection method	(Deduktionstreffen) A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi (RuleML+RR) Cardinality Restrictions within Description Logic Connection Calculi
Constraint Handling Rules	(RuleML+RR) CHR.js: A CHR Implementation in JavaScript (RuleML+RR)
constraint programming	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
constraint satisfaction	(GCAI) Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Constraints and uncertainty	(GCAI) Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Contingent planning	(GCAI) Iterative Planning for Deterministic QDec-POMDPs
convolutional neural networks	(MIREL) Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Coreference Resolution	(GCAI) A Data-Driven Metric of Hardness for WSC Sentences (GCAI) Using the Winograd Schema Challenge as a CAPTCHA
Correction Sets	(RuleML+RR) Faceted Answer-Set Navigation
critical complexity region	(GCAI) Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Cyber Security	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
D
Data Complexity	(RW Summer School) Query answering and reasoning over probabilistic knowledge bases
data distribution strategy	(RW Summer School) Scalable Semantic Data Management
data integration	(RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
data visualization	(RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
datalog	(RW Summer School) Reasoning at Scale
Datalog+	(RuleML+RR) On the k-Boundedness for Existential Rules
decision	(DecisionCAMP) jDMN: An execution engine for DMN in Java
Decision Explanation	(RuleML+RR) Building and Analyzing Goal-Oriented Decision Models
Decision Making	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM
Decision making support	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
Decision management	(DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action (DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN
Decision mining	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
Decision Model	(DecisionCAMP) Goal-Oriented Business Decision Modeling (DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
Decision Model and Notation	(DecisionCAMP) The support of Decision Modeling features and concepts in tooling (RuleML+RR) A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Decision Model Testing	(DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action
Decision Modeling	(DecisionCAMP) Implementing Decision Modeling in a Large Organization (DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics (DecisionCAMP) The support of Decision Modeling features and concepts in tooling
Decision Modelling	(DecisionCAMP) Modeling progress on Climate Change and Social Value Acts (RuleML+RR) A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Decision Optimization	(DecisionCAMP) Make Faster, Smarter Decisions by combining Machine Learning and Decision Optimization
Decision procedures	(RuleML+RR) An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
decision services	(DecisionCAMP) High-Performance Decision Model Execution by Compilation of DMN into Machine Code
Decision Transparency	(DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics
Decision Tree	(GCAI) Historical Gradient Boosting Machine
Decisioning Analytics	(DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action
declarative business logic	(DecisionCAMP) Accord Project for Smart Legal Contracts
Deductive Reasoning	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Deep Learning	(Deduktionstreffen) Deep Reasoning - Hardware Accelerated Artificial Intelligence (GCAI) Classifier-Based Evaluation of Image Feature Importance
defeasible logic	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Defeasible Reasoning	(MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs (RuleML+RR) A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling (RuleML+RR) A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
Dependable Robots	(GCAI) Classifier Labels as Language Grounding for Explanations
description logic	(Deduktionstreffen) A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi (GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata (RuleML+RR) Cardinality Restrictions within Description Logic Connection Calculi
Description Logics	(GCAI) Computing minimal subsumption modules of ELHr terminologies (GCAI) Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams (RuleML+RR) Justifications under the Fixed-Domain Semantics (RuleML+RR) An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$ (RuleML+RR) Concepts as Modalities in Description Logics (poster teaser)
Difference	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Diophantine equations	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Distributed Planning	(GCAI) Iterative Planning for Deterministic QDec-POMDPs
distributed query processing	(RW Summer School) Scalable Semantic Data Management
distributed RDF stores	(RW Summer School) Scalable Semantic Data Management
DMN	(DecisionCAMP) Introduction and Updates on DMN TCK (DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action (DecisionCAMP) Goal-Oriented Business Decision Modeling (DecisionCAMP) Decision Automation using Models, Services and Dashboards (DecisionCAMP) Driving FinTech and RegTech with Industry and Technology Standards (DecisionCAMP) The support of Decision Modeling features and concepts in tooling (DecisionCAMP) Decision Modeling at AXA CH (DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN (DecisionCAMP) jDMN: An execution engine for DMN in Java (DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions) (DecisionCAMP) Accord Project for Smart Legal Contracts (RuleML+RR) A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm (RuleML+RR) Building and Analyzing Goal-Oriented Decision Models
DMN compilation	(DecisionCAMP) High-Performance Decision Model Execution by Compilation of DMN into Machine Code
DMN execution	(DecisionCAMP) High-Performance Decision Model Execution by Compilation of DMN into Machine Code
DMN TCK	(DecisionCAMP) Introduction and Updates on DMN TCK
DPRM Theorem	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Dyadic deontic logic E	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
dynamic programming	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
E
Efficiency	(RW Summer School) Efficient SPARQL queries on very large Knowledge Graphs
engines	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
entity linking	(RW Summer School) Cold-start knowledge base population using ontology-based information extraction based on factor graph models
equality	(RuleML+RR) Cardinality Restrictions within Description Logic Connection Calculi
ethereum	(DecisionCAMP) Accord Project for Smart Legal Contracts
Ethics	(GCAI) On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
ethics and AI	(GCAI) Responsible Technologies
European Legislation Identifier	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
evaluation	(DecisionCAMP) jDMN: An execution engine for DMN in Java
Event uncertainty	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Evolutionary algorithm	(GCAI) Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
existential rules	(RW Summer School) Reasoning at Scale (RuleML+RR) On Horn Conjunctive Queries (RuleML+RR) Restricted Chase Termination: a Hierarchical Approach and Experimentation (RuleML+RR) A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling (RuleML+RR) On the k-Boundedness for Existential Rules
Experimental Methodology/Replicability	(GCAI) Classifier-Based Evaluation of Image Feature Importance
Explainable AI	(GCAI) Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
Explanations	(RuleML+RR) Justifications under the Fixed-Domain Semantics
F
Faceted Browsing	(RuleML+RR) Faceted Answer-Set Navigation
Faceted Search	(RuleML+RR) Faceted Answer-Set Navigation
federated RDF stores	(RW Summer School) Scalable Semantic Data Management
FEEL	(DecisionCAMP) Decision Automation using Models, Services and Dashboards (DecisionCAMP) jDMN: An execution engine for DMN in Java (DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Financial services	(DecisionCAMP) Driving FinTech and RegTech with Industry and Technology Standards
FinTech	(DecisionCAMP) Driving FinTech and RegTech with Industry and Technology Standards
Fixed-Domain Semantics	(RuleML+RR) Justifications under the Fixed-Domain Semantics
fixpoint	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
FL0	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Formalization	(Deduktionstreffen) Leibniz on Reasoning about Impossible Concepts
G
Game Programming	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
geospatial data	(RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
Goal-oriented approach	(DecisionCAMP) Goal-Oriented Business Decision Modeling
Goal-Oriented Decision Modeling	(RuleML+RR) Building and Analyzing Goal-Oriented Decision Models
Gradient Boosting Machine	(GCAI) Historical Gradient Boosting Machine
graph algorithms	(RuleML+RR)
graph analysis	(RuleML+RR)
graph generation	(RuleML+RR)
graph recognition	(RuleML+RR)
H
Hermeneutics	(Deduktionstreffen) Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
Heuristics	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
High levels constraints on data stream	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
higher-order logic	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities (RuleML+RR) Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
higher-order modal logic	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
Hilbert's tenth problem	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Historical Gradient	(GCAI) Historical Gradient Boosting Machine
Horn Queries	(RuleML+RR) On Horn Conjunctive Queries
Human Robot Interaction	(GCAI) Classifier Labels as Language Grounding for Explanations
Human-Robot Interaction	(GCAI) Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
hyperledger	(DecisionCAMP) Accord Project for Smart Legal Contracts
I
IDP	(RuleML+RR) A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Implementation	(DecisionCAMP) Implementing Decision Modeling in a Large Organization
imps	(Deduktionstreffen) Proof Recovery for the IMPS system
Incompleteness	(RW Summer School) Rule Induction and Reasoning over Knowledge Graphs
Inference Proof	(MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Inferential-role semantics	(RuleML+RR) Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
information extraction	(RW Summer School) Cold-start knowledge base population using ontology-based information extraction based on factor graph models
Input-output logics	(MIREL)
intention	(MIREL) The Logic of Silence in Testimonies
Interactive Theorem Proving	(Deduktionstreffen) Competitive Proving for Fun
Interpretability	(GCAI) Classifier-Based Evaluation of Image Feature Importance (GCAI) Classifier Labels as Language Grounding for Explanations
interpretation	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
Interval Operators	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
intra-mart	(DecisionCAMP) Automatic judgment of decision authority using OpenRules
invariant	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
Invariant checking	(Deduktionstreffen) On Inductive Verification and Synthesis
Invariant synthesis	(Deduktionstreffen) On Inductive Verification and Synthesis
Iron ore railway network	(GCAI) Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
Isabelle	(Deduktionstreffen) Competitive Proving for Fun (Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (Deduktionstreffen) IsaSAT, a verified SAT Solver using Isabelle/HOL
J
JavaScript	(RuleML+RR) CHR.js: A CHR Implementation in JavaScript
Justifications	(RuleML+RR) Justifications under the Fixed-Domain Semantics
K
KE-tableau system	(RuleML+RR) An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Knowledge Base	(RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
Knowledge Base Paradigm	(RuleML+RR) A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
knowledge base population	(RW Summer School) Cold-start knowledge base population using ontology-based information extraction based on factor graph models
Knowledge Bases	(RW Summer School) Efficient SPARQL queries on very large Knowledge Graphs (RW Summer School) Reasoning at Scale (RuleML+RR) RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
Knowledge Graph	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser)
Knowledge Graphs	(RW Summer School) Rule Induction and Reasoning over Knowledge Graphs (RW Summer School) Machine Learning with and for Knowledge Graphs
Knowledge Representation	(GCAI) Computing minimal subsumption modules of ELHr terminologies (RuleML+RR) Restricted Chase Termination: a Hierarchical Approach and Experimentation
Knowledge Representation and Reasoning	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Knowledge-as-a-Service	(RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Knowledge-based Learning	(GCAI) A Data-Driven Metric of Hardness for WSC Sentences
L
Language and Vision	(GCAI) Classifier Labels as Language Grounding for Explanations
Large Organization	(DecisionCAMP) Implementing Decision Modeling in a Large Organization
Large-Scale Reasoning	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
law	(DecisionCAMP) Accord Project for Smart Legal Contracts
learning classifier systems	(RuleML+RR) Learning condition action rules for personalised journey recommendations
learning from raw data	(GCAI) Learning to Plan from Raw Data in Grid-based Games
Least Common Subsumer	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
legal case documents	(MIREL) Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Legal Documents	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Legal Ontology	(MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Legal Reasoning	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
legal-tech	(DecisionCAMP) Accord Project for Smart Legal Contracts
Legislative Knowledge Representation	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Leibniz	(Deduktionstreffen) Leibniz on Reasoning about Impossible Concepts
Leo prover	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
libraries	(Deduktionstreffen) Mathematical Interface Theories for System Integration
Linked Open Data	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Local theory extensions	(Deduktionstreffen) On Inductive Verification and Synthesis
Logic	(Deduktionstreffen) Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
Logic programming	(RuleML+RR) A new approach to conceive ASP solvers
Logic Programs	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Logical Analysis	(Deduktionstreffen) Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (RuleML+RR) Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
Logical Difference	(GCAI) Computing minimal subsumption modules of ELHr terminologies
M
Machine Bias	(GCAI) On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Machine Learning	(DecisionCAMP) Make Faster, Smarter Decisions by combining Machine Learning and Decision Optimization (DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics (RW Summer School) Machine Learning with and for Knowledge Graphs (GCAI) On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Markov Chain Monte-Carlo	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Markov Decision Processes	(GCAI) What if the world were different? Gradient-based exploration for new optimal policies
Markov Process	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
mason's marks	(RuleML+RR)
medical	(DecisionCAMP) Outpatient Waitlist Analysis for Irish Hospitals
Medical Devices	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML
MET	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
mmt	(Deduktionstreffen) Mathematical Interface Theories for System Integration (Deduktionstreffen) Proof Recovery for the IMPS system
Mobile Service Robots	(GCAI) Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
modal embedding tool	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
modal logic	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
Model-based architecture	(DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN
modelling	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
Modern Architecture	(DecisionCAMP) Fusion Project – replacing a legacy system elephant, one bite at a time
Multi-agent Planning	(GCAI) Iterative Planning for Deterministic QDec-POMDPs
Multi-agent Systems	(RuleML+RR) A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
Multi-Armed Bandit	(GCAI) Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
multi-modal logic	(RuleML+RR) Concepts as Modalities in Description Logics (poster teaser)
multi-modal transport	(RuleML+RR) Learning condition action rules for personalised journey recommendations
N
natural language processing	(GCAI) Responsible Technologies
network interdiction	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
neural networks	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning (GCAI) Learning to Plan from Raw Data in Grid-based Games (RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Neurological Disorders	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
NLP Applications and Tools	(GCAI) Using the Winograd Schema Challenge as a CAPTCHA
Non Homogenous Markov Chain	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Non-financial reporting	(DecisionCAMP) Modeling progress on Climate Change and Social Value Acts
non-monotonic reasoning	(RuleML+RR) Answer Set Programming Modulo `Space-Time'
Normative reasoning	(MIREL)
normative systems	(GCAI) Responsible Technologies
O
Object Model	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM
omdoc	(Deduktionstreffen) Proof Recovery for the IMPS system
ontologies	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning (RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture (RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies (RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
Ontology	(RuleML+RR) An Ontology for Transportation System (poster teaser)
Ontology Debugging	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Ontology Modularity	(GCAI) Computing minimal subsumption modules of ELHr terminologies
onward journey recommendations	(RuleML+RR) Learning condition action rules for personalised journey recommendations
OpenRules	(DecisionCAMP) Automatic judgment of decision authority using OpenRules
Optimisation	(DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action
optimization	(DecisionCAMP) High-Performance Decision Model Execution by Compilation of DMN into Machine Code
optimizations	(Deduktionstreffen) A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
OWL	(RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
OWL queries	(RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
P
passenger preferences	(RuleML+RR) Learning condition action rules for personalised journey recommendations
Pattern recognition	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Pentesting	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
personalised recommendations	(RuleML+RR) Learning condition action rules for personalised journey recommendations
Planning	(DecisionCAMP) Make Faster, Smarter Decisions by combining Machine Learning and Decision Optimization
Planning Graph	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Planning under uncertainty	(GCAI) Iterative Planning for Deterministic QDec-POMDPs (GCAI) What if the world were different? Gradient-based exploration for new optimal policies
plug-n-play query system	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
PMML	(DecisionCAMP) Decision Automation using Models, Services and Dashboards
POMDPs	(GCAI) Iterative Planning for Deterministic QDec-POMDPs
predicate transformer	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
Predictive Analytics	(DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics
Preference models	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Prescriptive Analytics	(DecisionCAMP) Make Faster, Smarter Decisions by combining Machine Learning and Decision Optimization
Probabilistic Databases	(RW Summer School) Query answering and reasoning over probabilistic knowledge bases
Probabilistic Knowledge Bases Query Answering	(RW Summer School) Query answering and reasoning over probabilistic knowledge bases
Probabilistic planning	(GCAI) What if the world were different? Gradient-based exploration for new optimal policies
Probabilistic Reasoning	(RW Summer School) Query answering and reasoning over probabilistic knowledge bases
Probabilistic Relational Models	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM
Process discovery	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
Process mining	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
Process Model for Engineering	(DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Production Rule Systems	(DecisionCAMP) Modernising Production Rule Systems
production rules	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Prolog	(RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN (RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
proof extraction	(Deduktionstreffen) Proof Recovery for the IMPS system
Prova	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
PSOA	(RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
PSOA RuleML	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML (RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
PSOA TransRun	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML
PSOATransRun	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
public health	(DecisionCAMP) Outpatient Waitlist Analysis for Irish Hospitals
Q
qualified number restrictions	(RuleML+RR) Cardinality Restrictions within Description Logic Connection Calculi
Queries with Negated Atoms	(RuleML+RR) On Horn Conjunctive Queries
Query Rewriting	(RuleML+RR) On Horn Conjunctive Queries (RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Query Selection	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
R
rdf	(RW Summer School) Reasoning at Scale
RDF data analysis	(RuleML+RR) RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
RDF stream	(RW Summer School) Engineering of Web Stream Processing Applications
RDF Stream Processing	(RW Summer School) Engineering of Web Stream Processing Applications
RDFa	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser)
Reaction RuleML	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
reactive rules	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Ready for change	(DecisionCAMP) Fusion Project – replacing a legacy system elephant, one bite at a time
real time optimisation	(GCAI) Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
reasoning	(RW Summer School) Reasoning at Scale (Deduktionstreffen) A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
recursively enumerable	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
RedHat Drools	(DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Refinement Framework	(Deduktionstreffen) IsaSAT, a verified SAT Solver using Isabelle/HOL
Reflective Equilibrium	(Deduktionstreffen) Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
RegTech	(DecisionCAMP) Driving FinTech and RegTech with Industry and Technology Standards
Regulation	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML
Regulation Formalization	(RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
replaceability	(GCAI) Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Requirements Engineering	(DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Requirements modelling	(DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN
resource management	(DecisionCAMP) Outpatient Waitlist Analysis for Irish Hospitals
responsible technologies	(GCAI) Responsible Technologies
REST	(DecisionCAMP) Decision Automation using Models, Services and Dashboards
Restricted chase termination	(RuleML+RR) Restricted Chase Termination: a Hierarchical Approach and Experimentation
Rete	(DecisionCAMP) Modernising Production Rule Systems
Robot Learning	(GCAI) Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
Robot Planning	(GCAI) Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
RSP-QL	(RW Summer School) Engineering of Web Stream Processing Applications
Rule Engine	(DecisionCAMP) Modernising Production Rule Systems (DecisionCAMP) Decision Modeling at AXA CH (DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
Rule Induction	(RW Summer School) Rule Induction and Reasoning over Knowledge Graphs
Rule Mining	(RuleML+RR) RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
rule-based	(RW Summer School) Reasoning at Scale
rule-based inference	(RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
Rule-based Systems	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis (RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
RuleML	(RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
Rules	(DecisionCAMP) Modernising Production Rule Systems (DecisionCAMP) Accord Project for Smart Legal Contracts (RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
S
Sales activity	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
SAT	(Deduktionstreffen) Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
SAT Solver	(Deduktionstreffen) IsaSAT, a verified SAT Solver using Isabelle/HOL
Saturation	(Deduktionstreffen) Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
Says predicate	(MIREL) The Logic of Silence in Testimonies
scalability	(RW Summer School) Reasoning at Scale
Schema.org	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser)
Semantic embedding	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Semantic Embeddings	(Deduktionstreffen) Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (RuleML+RR) Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
Semantic Interoperability	(RuleML+RR) An Ontology for Transportation System (poster teaser)
Semantic Markup	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser)
Semantic Search	(RW Summer School) Efficient SPARQL queries on very large Knowledge Graphs
Semantic Web	(RW Summer School) Machine Learning with and for Knowledge Graphs (RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
Semantic Web tool	(RuleML+RR) RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
Sequent Calculus	(MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Sequential decision making	(GCAI) What if the world were different? Gradient-based exploration for new optimal policies
Service Robot	(GCAI) Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
shallow semantical embedding	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
Silence interpretation	(MIREL) The Logic of Silence in Testimonies
smart contract	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
smart contracts	(DecisionCAMP) Accord Project for Smart Legal Contracts
SMT	(Deduktionstreffen) On Inductive Verification and Synthesis
Social value	(DecisionCAMP) Modeling progress on Climate Change and Social Value Acts
software generation	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
solidity	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
SPARQL	(RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
SPARQL+Text	(RW Summer School) Efficient SPARQL queries on very large Knowledge Graphs
spatiotemporal reasoning	(RuleML+RR) Answer Set Programming Modulo `Space-Time'
speech acts	(MIREL) The Logic of Silence in Testimonies
SPIN	(RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
Stable models	(RuleML+RR) A new approach to conceive ASP solvers
Standards integration	(DecisionCAMP) Driving FinTech and RegTech with Industry and Technology Standards
state space search	(GCAI) Learning to Plan from Raw Data in Grid-based Games
Statistical modelling	(DecisionCAMP) Modeling progress on Climate Change and Social Value Acts
Stream Processing	(RW Summer School) Engineering of Web Stream Processing Applications
Stream Reasoning	(RW Summer School) Engineering of Web Stream Processing Applications
Structured Data	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser)
substitutability	(GCAI) Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Subsumption	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Superposition	(Deduktionstreffen) Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
SWRL	(RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
system integration	(Deduktionstreffen) Mathematical Interface Theories for System Integration
systems	(RW Summer School) Reasoning at Scale
T
Test-Driven Debugging	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
testimonies	(MIREL) The Logic of Silence in Testimonies
The Decision Model	(DecisionCAMP) Decision Modeling at AXA CH
theorem prover	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Theorem proving	(Deduktionstreffen) Proof Recovery for the IMPS system (Deduktionstreffen) Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
Tool Comparison	(RuleML+RR) A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
transformation	(DecisionCAMP) jDMN: An execution engine for DMN in Java (RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
transition model learning	(GCAI) Learning to Plan from Raw Data in Grid-based Games
translation	(DecisionCAMP) jDMN: An execution engine for DMN in Java (Deduktionstreffen) Proof Recovery for the IMPS system
translators	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Transport Ontology	(RuleML+RR) An Ontology for Transportation System (poster teaser)
Transportation System	(RuleML+RR) An Ontology for Transportation System (poster teaser)
Tree Automata	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Trisotech Digital Enterprise Suite	(DecisionCAMP) Decision Automation using Models, Services and Dashboards
Trustworthiness	(RuleML+RR) A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
U
Unity	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
use case	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
User Interaction	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
User Interfaces	(RW Summer School) Efficient SPARQL queries on very large Knowledge Graphs
V
validation	(DecisionCAMP) jDMN: An execution engine for DMN in Java
Verification	(Deduktionstreffen) IsaSAT, a verified SAT Solver using Isabelle/HOL
vertex centric representation	(RuleML+RR)
virtual assistants	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
VoCaLS	(RW Summer School) Engineering of Web Stream Processing Applications
W
Weakening of the output	(MIREL)
weakest invariant	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
Web	(RW Summer School) Engineering of Web Stream Processing Applications
Web Data Commons	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser)
Web Science	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser)
Winograd Schema Challenge	(GCAI) A Data-Driven Metric of Hardness for WSC Sentences (GCAI) Using the Winograd Schema Challenge as a CAPTCHA
workflow	(DecisionCAMP) Automatic judgment of decision authority using OpenRules
WSC as a CAPTCHA	(GCAI) Using the Winograd Schema Challenge as a CAPTCHA
WSC Sentence Hardness	(GCAI) A Data-Driven Metric of Hardness for WSC Sentences
X
XCS	(RuleML+RR) Learning condition action rules for personalised journey recommendations
XCSI	(RuleML+RR) Learning condition action rules for personalised journey recommendations
XML	(DecisionCAMP) Decision Automation using Models, Services and Dashboards

Disclaimer | Powered by EasyChair Smart Program