LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT

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

A
Active Learning	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Air Traffic Control	Formalizing Air Traffic Control Regulations in PSOA RuleML
ALCHQ++	Cardinality Restrictions within Description Logic Connection Calculi
Answer Set Programming	Answer Set Programming Modulo `Space-Time' Integrating Rule-Based AI Tools into Mainstream Game Development A new approach to conceive ASP solvers
Answer-Set Programming	Justifications under the Fixed-Domain Semantics Faceted Answer-Set Navigation
Artificial Intelligence	Integrating Rule-Based AI Tools into Mainstream Game Development
Association Rule	Classification based on Associations (CBA) - a performance analysis
Automated Theorem Proving	Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
B
Bayesian Inference	Improving Probabilistic Rules Compilation using PRM
Bayesian Networks	Improving Probabilistic Rules Compilation using PRM
benchmark	Classification based on Associations (CBA) - a performance analysis
boundedness	On the k-Boundedness for Existential Rules
Business Decision Model	Building and Analyzing Goal-Oriented Decision Models
business rule	Improving Probabilistic Rules Compilation using PRM
Business Rule Management System	Improving Probabilistic Rules Compilation using PRM
C
CBA	Classification based on Associations (CBA) - a performance analysis
chase	On the k-Boundedness for Existential Rules
chase variants	On the k-Boundedness for Existential Rules
Chronicles	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Classification	Classification based on Associations (CBA) - a performance analysis
Classification by Associations	Classification based on Associations (CBA) - a performance analysis
Clinical Decision Support	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Compiler	CHR.js: A CHR Implementation in JavaScript
Complex event Processing	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
complex systems	Learning condition action rules for personalised journey recommendations
Computable set theory	An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
concept composition	Concepts as Modalities in Description Logics (poster teaser)
condition-action rules	Learning condition action rules for personalised journey recommendations
connection method	Cardinality Restrictions within Description Logic Connection Calculi
Constraint Handling Rules	CHR.js: A CHR Implementation in JavaScript
Correction Sets	Faceted Answer-Set Navigation
D
data integration	Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
data visualization	Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
Datalog+	On the k-Boundedness for Existential Rules
Decision Explanation	Building and Analyzing Goal-Oriented Decision Models
Decision Making	Improving Probabilistic Rules Compilation using PRM
Decision Model and Notation	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Decision Modelling	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Decision procedures	An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Deductive Reasoning	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Defeasible Reasoning	A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
description logic	Cardinality Restrictions within Description Logic Connection Calculi
Description Logics	Justifications under the Fixed-Domain Semantics An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$ Concepts as Modalities in Description Logics (poster teaser)
DMN	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm Building and Analyzing Goal-Oriented Decision Models
E
engines	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
equality	Cardinality Restrictions within Description Logic Connection Calculi
Event uncertainty	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
existential rules	On Horn Conjunctive Queries Restricted Chase Termination: a Hierarchical Approach and Experimentation A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling On the k-Boundedness for Existential Rules
Explanations	Justifications under the Fixed-Domain Semantics
F
Faceted Browsing	Faceted Answer-Set Navigation
Faceted Search	Faceted Answer-Set Navigation
Fixed-Domain Semantics	Justifications under the Fixed-Domain Semantics
G
Game Programming	Integrating Rule-Based AI Tools into Mainstream Game Development
geospatial data	Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
Goal-Oriented Decision Modeling	Building and Analyzing Goal-Oriented Decision Models
graph algorithms
graph analysis
graph generation
graph recognition
H
Heuristics	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
High levels constraints on data stream	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
higher-order logic	The MET: The Art of Flexible Reasoning with Modalities Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
higher-order modal logic	The MET: The Art of Flexible Reasoning with Modalities
Horn Queries	On Horn Conjunctive Queries
I
IDP	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Inferential-role semantics	Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
Interval Operators	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
J
JavaScript	CHR.js: A CHR Implementation in JavaScript
Justifications	Justifications under the Fixed-Domain Semantics
K
KE-tableau system	An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Knowledge Base	Formalizing Air Traffic Control Regulations in PSOA RuleML
Knowledge Base Paradigm	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Knowledge Bases	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
Knowledge Graph	Inducing Schema.org markup from Natural Language Context (poster teaser)
Knowledge Representation	Restricted Chase Termination: a Hierarchical Approach and Experimentation
Knowledge Representation and Reasoning	Integrating Rule-Based AI Tools into Mainstream Game Development
Knowledge-as-a-Service	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
L
learning classifier systems	Learning condition action rules for personalised journey recommendations
Leo prover	The MET: The Art of Flexible Reasoning with Modalities
Logic programming	A new approach to conceive ASP solvers
Logic Programs	Integrating Rule-Based AI Tools into Mainstream Game Development
Logical Analysis	Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
M
Markov Chain Monte-Carlo	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Markov Process	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
mason's marks
Medical Devices	Computational Regulation of Medical Devices in PSOA RuleML
MET	The MET: The Art of Flexible Reasoning with Modalities
modal embedding tool	The MET: The Art of Flexible Reasoning with Modalities
modal logic	The MET: The Art of Flexible Reasoning with Modalities
Multi-agent Systems	A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
multi-modal logic	Concepts as Modalities in Description Logics (poster teaser)
multi-modal transport	Learning condition action rules for personalised journey recommendations
N
neural networks	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Neurological Disorders	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Non Homogenous Markov Chain	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
non-monotonic reasoning	Answer Set Programming Modulo `Space-Time'
O
Object Model	Improving Probabilistic Rules Compilation using PRM
ontologies	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies SWRL2SPIN: Converting SWRL to SPIN
Ontology	An Ontology for Transportation System (poster teaser)
Ontology Debugging	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
onward journey recommendations	Learning condition action rules for personalised journey recommendations
OWL	SWRL2SPIN: Converting SWRL to SPIN
OWL queries	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
P
passenger preferences	Learning condition action rules for personalised journey recommendations
Pattern recognition	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
personalised recommendations	Learning condition action rules for personalised journey recommendations
plug-n-play query system	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Probabilistic Relational Models	Improving Probabilistic Rules Compilation using PRM
production rules	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Prolog	SWRL2SPIN: Converting SWRL to SPIN PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Prova	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
PSOA	Formalizing Air Traffic Control Regulations in PSOA RuleML
PSOA RuleML	Computational Regulation of Medical Devices in PSOA RuleML PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
PSOA TransRun	Computational Regulation of Medical Devices in PSOA RuleML
PSOATransRun	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Q
qualified number restrictions	Cardinality Restrictions within Description Logic Connection Calculi
Queries with Negated Atoms	On Horn Conjunctive Queries
Query Rewriting	On Horn Conjunctive Queries Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Query Selection	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
R
RDF data analysis	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
RDFa	Inducing Schema.org markup from Natural Language Context (poster teaser)
Reaction RuleML	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
reactive rules	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Regulation	Computational Regulation of Medical Devices in PSOA RuleML
Regulation Formalization	Formalizing Air Traffic Control Regulations in PSOA RuleML
Restricted chase termination	Restricted Chase Termination: a Hierarchical Approach and Experimentation
Rule Mining	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
rule-based inference	Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
Rule-based Systems	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis Integrating Rule-Based AI Tools into Mainstream Game Development
RuleML	Formalizing Air Traffic Control Regulations in PSOA RuleML
Rules	SWRL2SPIN: Converting SWRL to SPIN
S
Schema.org	Inducing Schema.org markup from Natural Language Context (poster teaser)
Semantic Embeddings	Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
Semantic Interoperability	An Ontology for Transportation System (poster teaser)
Semantic Markup	Inducing Schema.org markup from Natural Language Context (poster teaser)
Semantic Web	Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
Semantic Web tool	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
shallow semantical embedding	The MET: The Art of Flexible Reasoning with Modalities
SPARQL	SWRL2SPIN: Converting SWRL to SPIN
spatiotemporal reasoning	Answer Set Programming Modulo `Space-Time'
SPIN	SWRL2SPIN: Converting SWRL to SPIN
Stable models	A new approach to conceive ASP solvers
Structured Data	Inducing Schema.org markup from Natural Language Context (poster teaser)
SWRL	SWRL2SPIN: Converting SWRL to SPIN
T
Test-Driven Debugging	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Tool Comparison	A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
transformation	SWRL2SPIN: Converting SWRL to SPIN
translators	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Transport Ontology	An Ontology for Transportation System (poster teaser)
Transportation System	An Ontology for Transportation System (poster teaser)
Trustworthiness	A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
U
Unity	Integrating Rule-Based AI Tools into Mainstream Game Development
use case	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
User Interaction	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
V
vertex centric representation
virtual assistants	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
W
Web Data Commons	Inducing Schema.org markup from Natural Language Context (poster teaser)
Web Science	Inducing Schema.org markup from Natural Language Context (poster teaser)
X
XCS	Learning condition action rules for personalised journey recommendations
XCSI	Learning condition action rules for personalised journey recommendations

Disclaimer | Powered by EasyChair Smart Program