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 × Australia
1 × Italy
1 × Portugal
1 × Spain
1 × United Kingdom
2 × Sweden
4 × USA
Collaborated with:
A.C.Kakas D.Pedreschi F.Turini R.Barbuti A.Brogi G.Terreni F.Toni P.M.Dung G.Nerbini A.Raffaetà E.Lamma P.Mello M.Rondinelli M.Tagliatti A.Chiarelli V.Mazzotta C.Renso
Talks about:
program (11) logic (10) abduct (4) implement (2) algebra (2) semant (2) intension (1) framework (1) techniqu (1) properti (1)

Person: Paolo Mancarella

DBLP DBLP: Mancarella:Paolo

Contributed to:

ICLP 20072007
CL 20002000
ESOP 19961996
ICLP 19941994
PLILP 19941994
JICSLP 19921992
ILPS 19911991
NACLP 19901990
PLILP 19901990
VLDB 19901990
ICLP/SPL 19881988
TAPSOFT, Vol.2: CFLP 19871987

Wrote 13 papers:

ICLP-2007-MancarellaTT #abduction #logic programming #verification #web
Web Sites Verification: An Abductive Logic Programming Tool (PM, GT, FT), pp. 434–435.
CL-2000-MancarellaNRT #analysis #declarative #named
MuTACLP: A Language for Declarative GIS Analysis (PM, GN, AR, FT), pp. 1002–1016.
ESOP-1996-BarbutiM #logic #multi #prolog #semantics
A Multiple-Valued Logical Semantics for Prolog (RB, PM), pp. 62–76.
ICLP-1994-KakasM #abduction #logic programming
Abduction and Abductive Logic Programming (ACK, PM), pp. 18–19.
ICLP-1994-KakasMD #logic programming #semantics #source code
The Acceptability Semantics for Logic Programs (ACK, PM, PMD), pp. 504–519.
PLILP-1994-BrogiCMMPRT #composition #implementation
Implementations of Program Composition Operations (AB, AC, PM, VM, DP, CR, FT), pp. 292–307.
JICSLP-1992-BrogiLMM #logic programming #source code
Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.
ISLP-1991-KakasM #logic programming #source code
Stable Theories for Logic Programs (ACK, PM), pp. 85–100.
NACLP-1990-MancarellaPRT #algebra #logic programming #source code
Algebraic Properties of a Class of Logic Programs (PM, DP, MR, MT), pp. 23–39.
PLILP-1990-BrogiMPT #framework #functional #logic programming
Logic Programming within a Functional Framework (AB, PM, DP, FT), pp. 372–386.
VLDB-1990-KakasM #abduction #database
Database Updates through Abduction (ACK, PM), pp. 650–661.
JICSCP-1988-MancarellaP88 #algebra #logic programming #source code
An Algebra of Logic Programs (PM, DP), pp. 1006–1023.
CFLP-1987-BarbutiMPT #implementation #logic programming #source code
Intensional Negation of Logic Programs: Examples and Implementation Techniques (RB, PM, DP, FT), pp. 96–110.

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.