LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT

A
Almpani, Sofia	Formalizing Air Traffic Control Regulations in PSOA RuleML Computational Regulation of Medical Devices in PSOA RuleML
Alrabbaa, Christian	Faceted Answer-Set Navigation
B
Barreto, Renan Gomes	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Bassiliades, Nick	SWRL2SPIN: Converting SWRL to SPIN A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
Bast, Hannah	Efficient and Convenient Search on Very Large Knowledge Bases
Bast, Wim	Automating the transition from tax law to automatic decision making
Benhamou, Belaid	A new approach to conceive ASP solvers (poster teaser) A new approach to conceive ASP solvers
Bhatt, Mehul	Answer Set Programming Modulo `Space-Time'
Bisquert, Pierre	A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
Boley, Harold	Computational Regulation of Medical Devices in PSOA RuleML
Boley, Harold	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Bonnard, Philippe	Improving Probabilistic Rules Compilation using PRM (poster teaser) Improving Probabilistic Rules Compilation using PRM
C
Calimeri, Francesco	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis Integrating Rule-Based AI Tools into Mainstream Game Development
Cantone, Domenico	An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Cauteruccio, Francesco	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Croitoru, Madalina	A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
D
De Sainte Marie, Christian	Improving Probabilistic Rules Compilation using PRM (poster teaser) Improving Probabilistic Rules Compilation using PRM
Delivorias, Stathis	On the k-Boundedness for Existential Rules
Deryck, Marjolein	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Ducamp, Gaspard	Improving Probabilistic Rules Compilation using PRM (poster teaser) Improving Probabilistic Rules Compilation using PRM
F
Feldman, Jacob	Building and Analyzing Goal-Oriented Decision Models
Filip, Jiří	Classification based on Associations (CBA) - a performance analysis
Frangos, Panayiotis	Formalizing Air Traffic Control Regulations in PSOA RuleML Computational Regulation of Medical Devices in PSOA RuleML
Freitas, Fred	Cardinality Restrictions within Description Logic Connection Calculi
Fruehwirth, Thom	CHR.js: A CHR Implementation in JavaScript
Fuenmayor, David	Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments (poster teaser) Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments
G
Germano, Stefano	Integrating Rule-Based AI Tools into Mainstream Game Development
Gleißner, Tobias	The MET: The Art of Flexible Reasoning with Modalities
Gonzales, Christophe	Improving Probabilistic Rules Compilation using PRM (poster teaser) Improving Probabilistic Rules Compilation using PRM
Governatori, Guido	Modal Rules: Extending Defeasible Logic with Modal Operators
Grätz, Lukas	Concepts as Modalities in Description Logics (poster teaser) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
H
Hasic, Faruk	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Hecham, Abdelraouf	A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
Huang, Weiming	Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies (poster teaser) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies
I
Ianni, Giovambattista	Integrating Rule-Based AI Tools into Mainstream Game Development
J
Jain, Prateek	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Jarrold, William	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
K
Karimi, Arash	Restricted Chase Termination: a Hierarchical Approach and Experimentation
Karlsen, Matthew R	Learning condition action rules for personalised journey recommendations
Kervarc, Romain	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Khaled, Tarek	A new approach to conceive ASP solvers (poster teaser) A new approach to conceive ASP solvers
Kliegr, Tomáš	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs Classification based on Associations (CBA) - a performance analysis
Kravari, Kalliopi	A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
L
Leclere, Michel	On the k-Boundedness for Existential Rules
Leray, Philippe	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Lino, Natasha Correia Queiroz	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
M
Martin, David	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Marzullo, Aldo	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Matos Alfonso, Enrique	On Horn Conjunctive Queries
Mitsikas, Theodoros	Formalizing Air Traffic Control Regulations in PSOA RuleML Computational Regulation of Medical Devices in PSOA RuleML
Moschoyiannis, Sotiris	Learning condition action rules for personalised journey recommendations
Muehlenbrock, Sven	The challenges faced by the industry in working with rules and the challenges faced by universities in working with the industry
Mugnier, Marie-Laure	On the k-Boundedness for Existential Rules
N
Nandini, Durgesh	Inducing Schema.org markup from Natural Language Context (poster teaser) An Ontology for Transportation System (poster teaser)
Neta Alves Pegado Gomes, Cecília	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Nicolosi-Asmundo, Marianna	An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Nogatz, Falco	CHR.js: A CHR Implementation in JavaScript
O
Oliveira Costa Aversari, Lucas	Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Ouranos, Iakovos	Formalizing Air Traffic Control Regulations in PSOA RuleML
P
Pacenza, Francesco	Integrating Rule-Based AI Tools into Mainstream Game Development
Paschke, Adrian	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Perri, Simona	Integrating Rule-Based AI Tools into Mainstream Game Development
R
Rincé, Romain	Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Rodler, Patrick	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Rudolph, Sebastian	Justifications under the Fixed-Domain Semantics Faceted Answer-Set Navigation
S
Santamaria, Daniele Francesco	An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Schmid, Wolfgang	On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Schultz, Carl	Answer Set Programming Modulo `Space-Time'
Schweizer, Lukas	Justifications under the Fixed-Domain Semantics Faceted Answer-Set Navigation
Seipel, Dietmar	CHR.js: A CHR Implementation in JavaScript
Shahi, Gautam Kishore	Inducing Schema.org markup from Natural Language Context (poster teaser) An Ontology for Transportation System (poster teaser)
Spreeuwenberg, Silvie	Closing discussion
Stamile, Claudio	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Stamou, Giorgos	On Horn Conjunctive Queries
Steen, Alexander	The MET: The Art of Flexible Reasoning with Modalities
Stefaneas, Petros	Formalizing Air Traffic Control Regulations in PSOA RuleML Computational Regulation of Medical Devices in PSOA RuleML
Story, Ezra	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Suchan, Jakob	Answer Set Programming Modulo `Space-Time'
Svátek, Vojtěch	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
T
Terracina, Giorgio	Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Tirtarasa, Satyadharma	Justifications under the Fixed-Domain Semantics
U
Ulliana, Federico	On the k-Boundedness for Existential Rules
V
van Rijswijk, Freddie	A rule language for business people to configure their policy and support decision making
Vanthienen, Jan	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Varzinczak, Ivan	Cardinality Restrictions within Description Logic Connection Calculi
Vennekens, Joost	A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Villemure, Julien	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
W
Wałęga, Przemysław Andrzej	Answer Set Programming Modulo `Space-Time'
Wuillemin, Pierre-Henri	Improving Probabilistic Rules Compilation using PRM (poster teaser) Improving Probabilistic Rules Compilation using PRM
Y
Yeh, Peter	Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
You, Jia-Huai	Restricted Chase Termination: a Hierarchical Approach and Experimentation
Z
Zangari, Jessica	Integrating Rule-Based AI Tools into Mainstream Game Development
Zeman, Václav	RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
Zhang, Heng	Restricted Chase Termination: a Hierarchical Approach and Experimentation

Disclaimer | Powered by EasyChair Smart Program