Reactive Reasoning with the Event Calculus
Alexander Artikis, Marek Sergot, and Georgios Paliouras
Towards Ideal Semantics for Analyzing Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer
Asynchronous Multi-Context Systems
Stefan Ellmauthaler and Jörg Pührer
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)
Ricardo Gonçalves, Matthias Knorr, and Joao Leite
Towards Efficient Evolving Multi-Context Systems (Preliminary Report)
Ricardo Gonçalves, Matthias Knorr, and Joao Leite
Towards a Simulation-Based Programming Paradigm for AI Applications
Jörg Pührer
Towards Large-scale Inconsistency Measurement
Matthias Thimm