Serafim Batzoglou

Articles by Serafim Batzoglou

Academic · 1 min

ABD: Default Exception Abduction in Finite First Order Worlds

arXiv:2602.18843v1 Announce Type: new Abstract: We introduce ABD, a benchmark for default-exception abduction over finite first-order worlds. Given a background theory with an abnormality predicate …

Serafim Batzoglou

18 views Mar 7

Academic · 1 min

INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic

arXiv:2602.18956v1 Announce Type: new Abstract: We introduce INDUCTION, a benchmark for finite structure concept synthesis in first order logic. Given small finite relational worlds with …

Serafim Batzoglou

6 views Mar 7

Serafim Batzoglou

Articles by Serafim Batzoglou

ABD: Default Exception Abduction in Finite First Order Worlds

INDUCTION: Finite-Structure Concept Synthesis in First-Order Logic

JCG, PC

HSOLLC Co., Ltd.