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 × Austria
1 × Italy
1 × USA
2 × Cyprus
Collaborated with:
G.Gottlob M.Ruffolo A.Pieris G.Terracina N.Leone F.Ricca S.Abiteboul M.Alviano W.Faber P.Veltri
Talks about:
existenti (3) semant (3) extract (2) datalog (2) inform (2) combin (2) decid (2) rule (2) inconsist (1) distribut (1)

Person: Marco Manna

DBLP DBLP: Manna:Marco

Contributed to:

ICLP 20152015
KR 20142014
ICLP 20132013
ICLP 20122012
KR 20122012
PODS 20092009
ICEIS AIDSS 20062006
Post-ICEIS 20062006

Wrote 8 papers:

ICLP-J-2015-MannaRT #consistency #query #scalability
Taming primary key violations to query large inconsistent data via ASP (MM, FR, GT), pp. 696–710.
KR-2014-GottlobMP #polynomial
Polynomial Combined Rewritings for Existential Rules (GG, MM, AP).
ICLP-J-2013-GottlobMP #decidability #paradigm
Combining decidability paradigms for existential rules (GG, MM, AP), pp. 877–892.
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-LeoneMTV #source code
Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).
PODS-2009-AbiteboulGM #design #distributed #xml
Distributed XML design (SA, GG, MM), pp. 247–258.
ICEIS-AIDSS-2006-RuffoloM #approach #information management #semantics
A Logic-Based Approach to Semantic Information Extraction (MR, MM), pp. 115–123.
ICEIS-J-2006-RuffoloM06a #documentation #information management #named #semantics #web
HiLeX: A System for Semantic Information Extraction from Web Documents (MR, MM), pp. 194–209.

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.