Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
[
Type
]
Year
Filters:
Author
is
Paolo Mancarella
[Clear All Filters]
Conference Paper
P. Mancarella
and
Pedreschi, D.
,
“
An Algebra of Logic Programs
”
, in
ICLP/SLP
, 1988, pp. 1006-1023.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Mancarella
,
Pedreschi, D.
,
Rondinelli, M.
, and
Tagliatti, M.
,
“
Algebraic Properties of a Class of Logic Programs
”
, in
NACLP
, 1990, pp. 23-39.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, in
PLILP
, 1994, pp. 292-307.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, in
PLILP
, 1994, pp. 292-307.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
R. Barbuti
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Intensional Negation of Logic Programs: Examples and Implementation Techniques
”
, in
TAPSOFT, Vol.2
, 1987, pp. 96-110.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Logic Programming within a Functional Framework
”
, in
PLILP
, 1990, pp. 372-386.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Meta for Modularising Logic Programming
”
, in
META
, 1992, pp. 105-119.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Mancarella
,
Pedreschi, D.
, and
Ruggieri, S.
,
“
Negation as Failure through Abduction: Reasoning about Termination
”
, in
Computational Logic: Logic Programming and Beyond
, 2002, pp. 240-272.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
B. Bertolino
,
Mancarella, P.
,
Meo, L.
,
Nini, L.
,
Pedreschi, D.
, and
Turini, F.
,
“
A Progress Report on the LML Project
”
, in
FGCS
, 1988, pp. 675-684.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Theory Construction in Computational Logic
”
, in
ICLP Workshop on Construction of Logic Programs
, 1991, pp. 241-250.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Universal Quantification by Case Analysis
”
, in
ECAI
, 1990, pp. 111-116.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Journal Article
P. Mancarella
,
Martini, S.
, and
Pedreschi, D.
,
“
Complete Logic Programs with Domain-Closure Axiom
”
,
J. Log. Program.
, vol. 5, pp. 263-276, 1988.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, pp. 292–307, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Mancarella
,
Raffaetà, A.
,
Renso, C.
, and
Turini, F.
,
“
Integrating knowledge representation and reasoning in Geographical Information Systems
”
,
International Journal of Geographical Information Science
, vol. 18, pp. 417-447, 2004.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Mancarella
,
Raffaetà, A.
,
Renso, C.
, and
Turini, F.
,
“
Integrating Knowledge Representation and Reasoning in Geographical
”
, 2004.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Modular Logic Programming
”
,
ACM Trans. Program. Lang. Syst.
, vol. 16, pp. 1361-1398, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
R. Barbuti
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
A Transformational Approach to Negation in Logic Programming
”
,
J. Log. Program.
, vol. 8, pp. 201-228, 1990.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab