BibSLEIGH — Nicola

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: Leone:Nicola

Contributed to:

2015

2012

2010

2008

2005

2004

2001

2000

1999

1998

1995

1992

1991

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.
PADL-2010-GrassoILLRS: 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.
ICALP-1999-GottlobLS: 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.