503 citations
- Istituto Nazionale di Fisica NucleareIT14 papers
- Istituto Nazionale di Fisica Nucleare, Gruppo Collegato di Cosenza14 papers
- European Organization for Nuclear ResearchCH8 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT7 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT7 papers
- Novosibirsk State UniversityRU7 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT6 papers
- Budker Institute of Nuclear PhysicsRU5 papers
- Institute for Nuclear ResearchRU5 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PaviaIT5 papers
- National Interuniversity Consortium for the Physical Sciences of MatterIT5 papers
- Sapienza University of RomeIT5 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009
On the complexity of identifying Head Elementary Set Free programs
Fabio Fassetti, Luigi Palopoli
Head-elementary-set-free programs were proposed in (Gebser et al. 2007) and shown to generalize over head-cycle-free programs while retaining their nice properties. It was left as…
cs.LO2003
Minimal founded semantics for disjunctive logic programs and deductive databases
Filippo Furfaro, Gianluigi Greco, Sergio Greco
In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable m…