1 citations · 1 across the 8 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Sequential composition of propositional logic programs
Christian Antic
This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be decomposed into single-rule pro…
cs.LO2020
Analogical proportions
Christian Antić
Analogy-making is at the core of human and artificial intelligence and creativity with applications to such diverse tasks as proving mathematical theorems and building mathematical…
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…