Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Sequential decomposition of propositional logic programs
Christian Antić
The sequential composition of propositional logic programs has been recently introduced. This paper studies the sequential {\em decomposition} of programs by studying Green's relat…
cs.LO2020
Fixed Point Semantics for Stream Reasoning
Christian Antić
Reasoning over streams of input data is an essential part of human intelligence. During the last decade {\em stream reasoning} has emerged as a research area within the AI-communit…