34 citations · 42 across the 7 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2016
Propagators and Solvers for the Algebra of Modular Systems
Bart Bogaerts, Eugenia Ternovska, David Mitchell
To appear in the proceedings of LPAR 21. Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Syste…
cs.AI2005★ 34 cited
A Logic for Non-Monotone Inductive Definitions
Marc Denecker, Eugenia Ternovska
Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-founded sets and ite…