Alex Ivliev
- Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
2026/07/21 by Julián Méndez, Lukas Gerlach, Tobias Wieland +3
Computer Science · #cs.HC
- Stratified Negation in RDF Rules: A Correct Approach (Extended Version)
2026/07/30 by Nils Küchenmeister, Alex Ivliev, Dörthe Arndt +1
Computer Science · #cs.LO #cs.AI #cs.DB