602 citations
- Institute of CrystallographyIT2 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT2 papers
- University of PaduaIT2 papers
- Andrews UniversityUS1 paper
- Astronomical Observatory of RomeIT1 paper
- Chalmers University of TechnologySE1 paper
- Département de mathématiques et applicationsFR1 paper
- East Carolina UniversityUS1 paper
- École Normale Supérieure - PSLFR1 paper
- European Organization for Nuclear ResearchCH1 paper
- Forschungszentrum JülichDE1 paper
- Galaxies, Etoiles, Physique et InstrumentationFR1 paper
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2004★ 7 cited
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
Joost Vennekens, David Gilis, Marc Denecker
It is well known that, under certain conditions, it is possible to split logic programs under stable model semantics, i.e. to divide such a program into a number of different "leve…