BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Norway
1 × Spain
2 × France
2 × United Kingdom
3 × Italy
5 × USA
Collaborated with:
F.Scarcello W.Faber M.Alviano G.Gottlob F.Ricca F.Buccafurri P.Rullo G.Greco G.Terracina M.Manna T.Eiter G.Grasso G.Pfeifer G.Ianni O.Febbraro P.Veltri L.A.Rubino F.Calimeri S.Cozza C.Cumbo A.Mecchia G.Rossi V.Lio A.Polleres C.Mateis S.Iiritano F.Scalise M.Ahlsen A.D'Atri P.Johannesson E.Laenens P.Rossi F.Staes L.Tarantino L.V.Beirendonck L.V.Cadsand W.V.Santvliet J.Vanslembrouck B.Verdonk D.Vermeir M.Fink R.Rosati D.Lembo M.Lenzerini M.Ruzzi E.Kalka B.Nowicki W.Staniszkis
Talks about:
disjunct (6) program (6) system (5) comput (4) queri (4) set (4) hypertre (3) datalog (3) integr (3) answer (3)

Person: Nicola Leone

DBLP DBLP: Leone:Nicola

Contributed to:

ICLP 20152015
ICLP 20122012
KR 20122012
ICLP 20102010
PADL 20102010
ICLP 20082008
SIGMOD 20052005
ICLP 20042004
PODS 20042004
PODS 20012001
CL 20002000
ICALP 19991999
ICLP 19991999
PODS 19991999
KR 19981998
ILPS 19951995
CAiSE 19921992
CAiSE 19911991

Wrote 22 papers:

ICLP-J-2015-AlvianoL #compilation #complexity #programming #set
Complexity and compilation of GZ-aggregates in answer set programming (MA, NL), pp. 574–587.
ICLP-J-2012-AlvianoFLM #complexity #datalog #decidability #quantifier #semantics
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (MA, WF, NL, MM), pp. 701–718.
KR-2012-FebbraroLGR #framework #java #named #programming #set
JASP: A Framework for Integrating Answer Set Programming with Java (OF, NL, GG, FR).
KR-2012-LeoneMTV #source code
Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).
ICLP-J-2010-AlvianoFL #decidability #effectiveness #query
Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport (GG, SI, NL, VL, FR, FS), pp. 40–42.
PADL-2010-LeoneRRT #integration #performance #programming #set
Efficient Application of Answer Set Programming for Advanced Data Integration (NL, FR, LAR, GT), pp. 10–24.
ICLP-2008-CalimeriCIL #implementation
Computable Functions in ASP: Theory and Implementation (FC, SC, GI, NL), pp. 407–424.
ICLP-2008-LeoneF #research
The DLV Project: A Tour from Theory and Research to Applications and Market (NL, WF), pp. 53–68.
SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration
The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.
ICLP-2004-CumboFGL #datalog #source code
Enhancing the Magic-Set Method for Disjunctive Datalog Programs (CC, WF, GG, NL), pp. 371–385.
PODS-2004-ScarcelloGL #query
Weighted Hypertree Decompositions and Optimal Query Plans (FS, GG, NL), pp. 210–221.
PODS-2001-GottlobLS #game studies #logic
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width (GG, NL, FS).
CL-2000-EiterFLPP #information management
Planning under Incomplete Knowledge (TE, WF, NL, GP, AP), pp. 807–821.
Computing LOGCFL Certificates (GG, NL, FS), pp. 361–371.
ICLP-1999-BuccafurriFL #inheritance #logic programming #source code
Disjunctive Logic Programs with Inheritance (FB, WF, NL), pp. 79–93.
PODS-1999-GottlobLS #query
Hypertree Decompositions and Tractable Queries (GG, NL, FS), pp. 21–32.
KR-1998-BuccafurriLR #logic #order #semantics
Disjunctive Ordered Logic: Semantics and Expressiveness (FB, NL, PR), pp. 418–431.
KR-1998-EiterLMPS #benchmark #metric
The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.
ILPS-1995-LeoneS #declarative #fixpoint #modelling
Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.
CAiSE-1992-LeoneMRR #query
The Basic Query Machine of the KIWIS System (NL, AM, GR, PR), pp. 632–650.
CAiSE-1991-AhlsenDJLLRRSTBCSVVV #knowledge base
The KIWIS Knowledge Base Management System (MA, AD, PJ, EL, NL, PR, PR, FS, LT, LVB, LVC, WVS, JV, BV, DV), pp. 79–97.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.