Program for Friday, September 21st, 2018: Talk View

PROGRAM FOR FRIDAY, SEPTEMBER 21ST, 2018: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

Deduktionstreffen

RuleML+RR

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

09:00-09:15

Mathematical Interface Theories for System Integration

Dennis Müller, Florian Rabe, Michael Kohlhase

09:15-09:30

Proof Recovery for the IMPS system

Jonas Betzendahl

09:30-09:45

Automatic generation of Invariants for Concurrent Programs

Marco Träger

09:45-10:00

On Inductive Verification and Synthesis

Dennis Peuter, Viorica Sofronie-Stokkermans

10:00-10:15

CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning

Sophie Siebert, Frieder Stolzenburg

10:15-10:30

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Phillip Lippe, Stephan Schulz

09:00-10:00

Modal Rules: Extending Defeasible Logic with Modal Operators

Guido Governatori

10:00-10:04

Improving Probabilistic Rules Compilation using PRM (poster teaser)

G. Ducamp, P.-H. Wuillemin, C. Gonzales, P. Bonnard, C. De Sainte Marie

10:04-10:08

Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments (poster

David Fuenmayor

10:08-10:12

Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies (poster

Weiming Huang

10:12-10:16

A new approach to conceive ASP solvers (poster teaser)

Tarek Khaled, Belaid Benhamou

10:16-10:20

Concepts as Modalities in Description Logics (poster teaser)

Lukas Grätz

10:20-10:24

Inducing Schema.org markup from Natural Language Context (poster teaser)

Gautam Kishore Shahi, Durgesh Nandini

10:24-10:28

An Ontology for Transportation System (poster teaser)

Gautam Kishore Shahi, Durgesh Nandini

11:00-12:00

Quantifier handling in SMT

Pascal Fontaine

11:00-11:30

A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm

Marjolein Deryck, Faruk Hasic, Joost Vennekens, Jan Vanthienen

11:30-12:00

CHR.js: A CHR Implementation in JavaScript

Falco Nogatz, Dietmar Seipel, Thom Fruehwirth

12:00-12:15

Herbrand's Revenge - SAT Solving for First-Order Theorem Proving

Stephan Schulz

12:15-12:30

A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi

Fred Freitas

12:00-12:30

A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru

14:00-14:15

IsaSAT, a verified SAT Solver using Isabelle/HOL

Mathias Fleury

14:15-14:30

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

Pal et.al

14:30-14:45

Competitive Proving for Fun

Maximilian P. L. Haslbeck, Simon Wimmer

14:45-15:00

Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language

David Fuenmayor

15:00-15:15

Leibniz on Reasoning about Impossible Concepts

Lukas Grätz

14:00-14:22

Computational Regulation of Medical Devices in PSOA RuleML

S. Almpani, P. Stefaneas, H. Boley, T. Mitsikas, P. Frangos

14:22-14:44

Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting

P. Jain, P. Yeh, W. Jarrold, E. Story, J. Villemure, D. Martin

14:44-15:06

A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and

Kalliopi Kravari, Nick Bassiliades

15:06-15:28

Learning condition action rules for personalised journey recommendations

Matthew R Karlsen, Sotiris Moschoyiannis

16:00-17:00

Wanda: a higher-order termination tool

Cynthia Kop

16:00-16:30 RuleML+RR Closing

17:00-17:30 Business meeting: FGDedSys (GI)

10:30-11:00 Coffee Break and Poster Session

12:30-14:00 Lunch Break

15:30-16:00 Coffee Break and Poster Session