2 papers
cs.AI2020
Orthologics for Cones
Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter
In applications that use knowledge representation (KR) techniques, in particular those that combine data-driven and logic methods, the domain of objects is not an abstract unstruct…
cs.DB2020
Bounded-Memory Criteria for Streams with Application Time
Simon Schiff, Özgür Özcep
Bounded-memory computability continues to be in the focus of those areas of AI and databases that deal with feasible computations over streams---be it feasible arithmetical calcula…