Christian Folie

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Deductive Reasoning

Reasoning Process

Rule Based Reasoning

Top Venues

Künstliche Intell.

Theory Pract. Log. Program.

Publications

Harald Beck, Minh Dao-Tran, Thomas Eiter, Christian Folie
Stream Reasoning with LARS. Künstliche Intell. 32 (2-3) (2018)
Harald Beck, Thomas Eiter, Christian Folie
Ticker: A System for Incremental ASP-based Stream Reasoning. CoRR (2017)
Harald Beck, Thomas Eiter, Christian Folie
Ticker: A system for incremental ASP-based stream reasoning. Theory Pract. Log. Program. 17 (5-6) (2017)