LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT

A
Almpani, Sofia	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML (RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
Alrabbaa, Christian	(RuleML+RR) Faceted Answer-Set Navigation
Angelidis, Iosif	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Antoniou, Grigoris	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
Aryal, Deepak	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Aucher, Guillaume	(MIREL) Principles for a judgement editor based on BDD
Avelar, Pedro	(GCAI) On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
B
Baader, Franz	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Barreto, Renan Gomes	(RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Baryannis, George	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
Bassiliades, Nick	(RuleML+RR) A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices (RuleML+RR) SWRL2SPIN: Converting SWRL to SPIN
Bast, Hannah	(RW Summer School) Efficient SPARQL queries on very large Knowledge Graphs (RuleML+RR) Efficient and Convenient Search on Very Large Knowledge Bases
Bast, Wim	(RuleML+RR) Automating the transition from tax law to automatic decision making
Batsakis, Sotiris	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
Bayer, Jonas	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Bazinin, Sagi	(GCAI) Iterative Planning for Deterministic QDec-POMDPs
Bender, Thibaut	(DecisionCAMP) The support of Decision Modeling features and concepts in tooling
Benhamou, Belaid	(RuleML+RR) A new approach to conceive ASP solvers (RuleML+RR) A new approach to conceive ASP solvers (poster teaser)
Benzmuller, Christoph	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Berkowicz, Walter	(DecisionCAMP) Implementing Decision Modeling in a Large Organization
Berlioz, Carole-Ann	(DecisionCAMP) Spreadsheets in Decision Management
Betzendahl, Jonas	(Deduktionstreffen) Proof Recovery for the IMPS system
Bhatt, Mehul	(RuleML+RR) Answer Set Programming Modulo `Space-Time'
Bisquert, Pierre	(RuleML+RR) A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
Bolander, Thomas	(GCAI) Learning to Plan from Raw Data in Grid-based Games
Boley, Harold	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML
Boley, Harold	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Bonnard, Philippe	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM (RuleML+RR) Improving Probabilistic Rules Compilation using PRM (poster teaser)
Botev, Jean	(LuxLogAI) Scientific Research on Self-Organising Systems - an Overview
C
Calimeri, Francesco	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis (RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Cantone, Domenico	(RuleML+RR) An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Cantu, Francisco	(GCAI) Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Casini, Giovanni	(MIREL) Deontic Description Logic
Cauteruccio, Francesco	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Ceballos, Hector	(GCAI) Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Ceylan, Ismail Ilkan	(RW Summer School) Query answering and reasoning over probabilistic knowledge bases
Chalkidis, Ilias	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Chen, Jieying	(GCAI) Computing minimal subsumption modules of ELHr terminologies
Cimiano, Philipp	(RW Summer School) Cold-start knowledge base population using ontology-based information extraction based on factor graph models
Ciurezu, Bogdan	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Cox, Jolyon	(DecisionCAMP) High-Performance Decision Model Execution by Compilation of DMN into Machine Code
Croitoru, Madalina	(RuleML+RR) A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
D
David, Marco	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
de Paiva, Valeria	(GCAI) Bridging Trouble
De Sainte Marie, Christian	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM (RuleML+RR) Improving Probabilistic Rules Compilation using PRM (poster teaser)
de Villiers, Martin	(DecisionCAMP) Fusion Project – replacing a legacy system elephant, one bite at a time
Delivorias, Stathis	(RuleML+RR) On the k-Boundedness for Existential Rules
Della Valle, Emanuele	(RW Summer School) Engineering of Web Stream Processing Applications
Deng, Yiping	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Deryck, Marjolein	(RuleML+RR) A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Devkota, Prabaht	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Dittadi, Andrea	(GCAI) Learning to Plan from Raw Data in Grid-based Games
Dubischar, Simon	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Ducamp, Gaspard	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM (RuleML+RR) Improving Probabilistic Rules Compilation using PRM (poster teaser)
F
Farjami, Ali	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Feldman, Jacob	(DecisionCAMP) Goal-Oriented Business Decision Modeling (DecisionCAMP) Welcome address (RuleML+RR) Building and Analyzing Goal-Oriented Decision Models
Feng, Zeyu	(GCAI) Historical Gradient Boosting Machine
Fernandez Gil, Oliver	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Filip, Jiří	(RuleML+RR) Classification based on Associations (CBA) - a performance analysis
Fish, Alan	(DecisionCAMP) Specifying collaborative decision-making systems using BPMN, CMMN & DMN
Fleury, Mathias	(Deduktionstreffen) IsaSAT, a verified SAT Solver using Isabelle/HOL
Fontaine, Pascal	(Deduktionstreffen) Quantifier handling in SMT
Frangos, Panayiotis	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML (RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
Freitas, Fred	(Deduktionstreffen) A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi (MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs (RuleML+RR) Cardinality Restrictions within Description Logic Connection Calculi
Fruehwirth, Thom	(RuleML+RR) CHR.js: A CHR Implementation in JavaScript
Fuenmayor, David	(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 (RuleML+RR) Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments (poster teaser)
G
Gagne, Denis	(DecisionCAMP) Decision Automation using Models, Services and Dashboards
Garcés Báez, Alfonso	(MIREL) The Logic of Silence in Testimonies
Germano, Stefano	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Giles, Alan	(DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action
Gleißner, Tobias	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
Gonda, Tom	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Gonzales, Christophe	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM (RuleML+RR) Improving Probabilistic Rules Compilation using PRM (poster teaser)
Gottlob, Georg	(GCAI) Vadalog: A Language and System for Knowledge Graphs
Governatori, Guido	(RW Summer School) Normative reasoning for the Semantic Web (MIREL) Legal Reasoning and Big Data: Opportunities and Challenges (RuleML+RR) Modal Rules: Extending Defeasible Logic with Modal Operators
Grätz, Lukas	(Deduktionstreffen) Leibniz on Reasoning about Impossible Concepts (RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine (RuleML+RR) Concepts as Modalities in Description Logics (poster teaser)
Gurita, Alexandre	(LuxLogAI) The Liquid Organization (LuxLogAI) The Art of Recycling
H
Hartung, Matthias	(RW Summer School) Cold-start knowledge base population using ontology-based information extraction based on factor graph models
Hasić, Faruk	(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
Haslbeck, Maximilian P. L.	(Deduktionstreffen) Competitive Proving for Fun
Hassan, Ghulam Mubashar	(GCAI) Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
Hassler, Malte Sophian	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Hecham, Abdelraouf	(RuleML+RR) A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
Huang, Weiming	(RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies (RuleML+RR) Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies (poster teaser)
I
Ianni, Giovambattista	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Isaak, Nicos	(GCAI) A Data-Driven Metric of Hardness for WSC Sentences (GCAI) Using the Winograd Schema Challenge as a CAPTCHA
J
Jain, Prateek	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Janke, Daniel	(RW Summer School) Scalable Semantic Data Management
Janssen, Bas	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
Jarrold, William	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
K
Karimi, Arash	(RuleML+RR) Restricted Chase Termination: a Hierarchical Approach and Experimentation
Karlsen, Matthew R	(RuleML+RR) Learning condition action rules for personalised journey recommendations
Kervarc, Romain	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Khaled, Tarek	(RuleML+RR) A new approach to conceive ASP solvers (RuleML+RR) A new approach to conceive ASP solvers (poster teaser)
Kliegr, Tomáš	(RuleML+RR) Classification based on Associations (CBA) - a performance analysis (RuleML+RR) RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
Kohlhase, Michael	(Deduktionstreffen) Mathematical Interface Theories for System Integration
Kop, Cynthia	(Deduktionstreffen) Wanda: a higher-order termination tool
Korein, Max	(GCAI) Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
Koubarakis, Manolis	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Kravari, Kalliopi	(RuleML+RR) A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
Kräussl, Roman	(LuxLogAI) The True Value of Art
Kurt, Deniz Ezgi	(LuxLogAI) Artistic Creativity in Artificial Intelligence: An Autonomous Art Genre
Kurth, Wilfried	(DecisionCAMP) Decision Modeling at AXA CH
L
Lamb, Luis	(GCAI) On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Latour, Thibaud	(LuxLogAI) Traces: Anatomy of a Digital Artwork
Leclere, Michel	(RuleML+RR) On the k-Boundedness for Existential Rules
Leray, Philippe	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Lino, Natasha Correia Queiroz	(RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Lippe, Phillip	(Deduktionstreffen) Deep Reasoning - Hardware Accelerated Artificial Intelligence
Lippi, Marco	(MIREL) Artificial Intelligence for Consumer Law
Liu, Yufei	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Lopez-Lopez, Aurelio	(MIREL) The Logic of Silence in Testimonies
Ludwig, Michel	(GCAI) Computing minimal subsumption modules of ELHr terminologies
Lukasiewicz, Thomas	(RW Summer School) Query answering and reasoning over probabilistic knowledge bases
M
Markovich, Réka	(MIREL) Logic and Graphs of Legal Relations: Why Hohfeld Was Right about Rights
Martin, David	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Marzullo, Aldo	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Matos Alfonso, Enrique	(RuleML+RR) On Horn Conjunctive Queries
Meder, Paul	(MIREL) I/O Logic in HOL
Melo, Francisco S.	(GCAI) What if the world were different? Gradient-based exploration for new optimal policies
Michael, Loizos	(GCAI) A Data-Driven Metric of Hardness for WSC Sentences (GCAI) Using the Winograd Schema Challenge as a CAPTCHA
Mitsikas, Theodoros	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML (RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
Mori, Masahiro	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
Morikawa, Hiroyuki	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
Mortari, Matteo	(DecisionCAMP) Introduction and Updates on DMN TCK
Moschoyiannis, Sotiris	(RuleML+RR) Learning condition action rules for personalised journey recommendations
Muehlenbrock, Sven	(RuleML+RR) The challenges faced by the industry in working with rules and the challenges faced by universities in working with the industry
Mugnier, Marie-Laure	(RuleML+RR) On the k-Boundedness for Existential Rules
Müller, Dennis	(Deduktionstreffen) Mathematical Interface Theories for System Integration
N
Nakayama, Yoshihito	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach (DecisionCAMP) Automatic judgment of decision authority using OpenRules
Nales, Aad	(LuxLogAI) How to get Robots organized
Nandini, Durgesh	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser) (RuleML+RR) An Ontology for Transportation System (poster teaser)
Nardi, Daniele	(GCAI) Knowledgeable Robots
Narusue, Yoshiaki	(DecisionCAMP) Process discovery technique of decision-making in sales activity: Process mining based approach
Neta Alves Pegado Gomes, Cecília	(RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Nguyen, Minh Le	(MIREL) Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Nicolosi-Asmundo, Marianna	(RuleML+RR) An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Nikolaou, Charalampos	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Nogatz, Falco	(RuleML+RR) CHR.js: A CHR Implementation in JavaScript
O
Oliveira, Ítalo	(MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Oliveira Costa Aversari, Lucas	(RuleML+RR) Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
Oprea, Maria Antonia	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Osman, Nardine	(GCAI) Responsible Technologies
Ouranos, Iakovos	(RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
P
Pacenza, Francesco	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Pal, Abhik	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Palmeira, Eunice	(MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Pandi Selvaraj, Sai Prabhakar	(GCAI) Classifier-Based Evaluation of Image Feature Importance (GCAI) Classifier Labels as Language Grounding for Explanations
Parent, Xavier	(MIREL) \AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Pascal, Tal	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Paschke, Adrian	(RuleML+RR) PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine
Patrascoiu, Octavian	(DecisionCAMP) jDMN: An execution engine for DMN in Java
Paulheim, Heiko	(RW Summer School) Machine Learning with and for Knowledge Graphs
Pensel, Maximilian	(GCAI) Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Perera, Vittorio	(GCAI) Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
Perri, Simona	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Petchey, David	(DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics
Peuter, Dennis	(Deduktionstreffen) On Inductive Verification and Synthesis
Prates, Marcelo	(GCAI) On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Prestwich, Steven	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
Proctor, Mark	(DecisionCAMP) Modernising Production Rule Systems
Purchase, Jan	(DecisionCAMP) High-Performance Decision Model Execution by Compilation of DMN into Machine Code (DecisionCAMP) Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics
Puzis, Rami	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
R
Rabe, Florian	(Deduktionstreffen) Mathematical Interface Theories for System Integration
Reynolds, Mark	(GCAI) Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
Rincé, Romain	(RuleML+RR) Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
Robaldo, Livio	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
Robinson, Roy	(DecisionCAMP) Case Study - Building an enterprise ready decision management platform for customer engagement and next best action
Rodler, Patrick	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Rodrigues, Cleyton	(MIREL) A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Rosenthal, Stephanie	(GCAI) Classifier-Based Evaluation of Image Feature Importance (GCAI) Classifier Labels as Language Grounding for Explanations
Rossi, Arianna	(MIREL) Visualizing Legal Information: an Ontology-Based Data Protection Icon Set
Rossi, Roberto	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
Rudolph, Sebastian	(RuleML+RR) Justifications under the Fixed-Domain Semantics (RuleML+RR) Faceted Answer-Set Navigation
S
Santamaria, Daniele Francesco	(RuleML+RR) An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
Satoh, Ken	(MIREL) Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Schmid, Wolfgang	(RuleML+RR) On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
Schmitz-Hübsch, Daniel	(DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Schultz, Carl	(RuleML+RR) Answer Set Programming Modulo `Space-Time'
Schulz, Stephan	(Deduktionstreffen) Deep Reasoning - Hardware Accelerated Artificial Intelligence (Deduktionstreffen) Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
Schwartz, Lou	(LuxLogAI) Spect-actor: A manifesto for an un-virtual immersive experience
Schweizer, Lukas	(RuleML+RR) Justifications under the Fixed-Domain Semantics (RuleML+RR) Faceted Answer-Set Navigation
Seipel, Dietmar	(RuleML+RR) CHR.js: A CHR Implementation in JavaScript
Selman, Dan	(DecisionCAMP) Accord Project for Smart Legal Contracts
Serrano-Morales, Carlos	(DecisionCAMP) Spreadsheets in Decision Management
Shahi, Gautam Kishore	(RuleML+RR) Inducing Schema.org markup from Natural Language Context (poster teaser) (RuleML+RR) An Ontology for Transportation System (poster teaser)
Shani, Guy	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes (GCAI) Iterative Planning for Deterministic QDec-POMDPs
Shapira, Bracha	(GCAI) Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Siebert, Sophie	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Sierra, Carles	(GCAI) Responsible Technologies
Silva, Rui	(GCAI) What if the world were different? Gradient-based exploration for new optimal policies
Simeon, Jerome	(DecisionCAMP) Accord Project for Smart Legal Contracts
Simonis, Helmut	(DecisionCAMP) Outpatient Waitlist Analysis for Irish Hospitals
Siragusa, Giovanni	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
Slusallek, Phillipp	(GCAI) TBA
Sofronie-Stokkermans, Viorica	(Deduktionstreffen) On Inductive Verification and Synthesis
Soursos, Panagiotis	(MIREL) Nomothesia: A Linked Data Platform for Greek Legislation
Spreeuwenberg, Silvie	(RuleML+RR) Closing discussion
Staab, Steffen	(RW Summer School) Scalable Semantic Data Management
Stamile, Claudio	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Stamou, Giorgos	(RuleML+RR) On Horn Conjunctive Queries
Steen, Alexander	(RuleML+RR) The MET: The Art of Flexible Reasoning with Modalities
Stefaneas, Petros	(RuleML+RR) Computational Regulation of Medical Devices in PSOA RuleML (RuleML+RR) Formalizing Air Traffic Control Regulations in PSOA RuleML
Stepanova, Daria	(RW Summer School) Rule Induction and Reasoning over Knowledge Graphs
Stephenson, Tim	(DecisionCAMP) Modeling progress on Climate Change and Social Value Acts
Stock, Benedikt	(Deduktionstreffen) Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Stolzenburg, Frieder	(Deduktionstreffen) CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Story, Ezra	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Striffler, Ulrich	(DecisionCAMP) Managing a Decision Zoo (Requirements Engineering for Complex Decisions)
Stucky, Brian	(DecisionCAMP) Driving FinTech and RegTech with Industry and Technology Standards
Suchan, Jakob	(RuleML+RR) Answer Set Programming Modulo `Space-Time'
Svátek, Vojtěch	(RuleML+RR) RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
T
Tachmazidis, Ilias	(MIREL) Legal Reasoning and Big Data: Opportunities and Challenges
Tao, Dacheng	(GCAI) Historical Gradient Boosting Machine
Tarim, Armagan	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
Ter Horst, Hendrik	(RW Summer School) Cold-start knowledge base population using ontology-based information extraction based on factor graph models
Terracina, Giorgio	(RuleML+RR) Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
Tirtarasa, Satyadharma	(RuleML+RR) Justifications under the Fixed-Domain Semantics
Tran, Vu	(MIREL) Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Träger, Marco	(Deduktionstreffen) Automatic generation of Invariants for Concurrent Programs
U
Ulliana, Federico	(RuleML+RR) On the k-Boundedness for Existential Rules
Urbani, Jacopo	(RW Summer School) Reasoning at Scale
V
van Den Heever, Susara	(DecisionCAMP) Make Faster, Smarter Decisions by combining Machine Learning and Decision Optimization
van der Torre, Egberdien	(LuxLogAI) What does the object want from me?
van Dooremalen, Stijn	(DecisionCAMP) Smart contracts from legal text: interpretation, analysis and modelling !!
van Rijswijk, Freddie	(RuleML+RR) A rule language for business people to configure their policy and support decision making
Vanthienen, Jan	(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
Varzinczak, Ivan	(RuleML+RR) Cardinality Restrictions within Description Logic Connection Calculi
Veloso, Manuela	(GCAI) Classifier-Based Evaluation of Image Feature Importance (GCAI) Classifier Labels as Language Grounding for Explanations (GCAI) What if the world were different? Gradient-based exploration for new optimal policies (GCAI) Interpretability of a Service Robot: Enabling User Questions and Checkable Answers (GCAI) Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
Vennekens, Joost	(RuleML+RR) A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
Villemure, Julien	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
Visentin, Andrea	(GCAI) Towards a Closer Integration of Dynamic Programming and Constraint Programming
W
Wallace, Richard	(GCAI) Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Walther, Dirk	(GCAI) Computing minimal subsumption modules of ELHr terminologies
Wałęga, Przemysław Andrzej	(RuleML+RR) Answer Set Programming Modulo `Space-Time'
Weinshall, Daphna	(GCAI) New old frontiers in deep learning: curriculum learning, generative models
Wimmer, Simon	(Deduktionstreffen) Competitive Proving for Fun
Winther, Ole	(GCAI) Learning to Plan from Raw Data in Grid-based Games
Wuillemin, Pierre-Henri	(RuleML+RR) Improving Probabilistic Rules Compilation using PRM (RuleML+RR) Improving Probabilistic Rules Compilation using PRM (poster teaser)
X
Xu, Chang	(GCAI) Historical Gradient Boosting Machine
Y
Yeh, Peter	(RuleML+RR) Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
You, Jia-Huai	(RuleML+RR) Restricted Chase Termination: a Hierarchical Approach and Experimentation
Z
Zangari, Jessica	(RuleML+RR) Integrating Rule-Based AI Tools into Mainstream Game Development
Zeman, Václav	(RuleML+RR) RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs
Zhang, Heng	(RuleML+RR) Restricted Chase Termination: a Hierarchical Approach and Experimentation

Disclaimer | Powered by EasyChair Smart Program