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:
Filter
is
[Clear All Filters]
1990
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
C. Bertazzoni
and
Giannotti, F.
,
“
RASP: A Resource Allocator for Software Projects
”
, in
IEA/AIE (Vol. 2)
, 1990, pp. 628-637.
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
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
1988
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
,
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
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
1987
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
F. Giannotti
,
Matteucci, A.
,
Pedreschi, D.
, and
Turini, F.
,
“
Symbolic Evaluation with Structural Recursive Symbolic Constants
”
,
Sci. Comput. Program.
, vol. 9, pp. 161-177, 1987.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1985
V. Ambriola
,
Giannotti, F.
,
Pedreschi, D.
, and
Turini, F.
,
“
Symbolic Semantics and Program Reduction
”
,
IEEE Trans. Software Eng.
, vol. 11, pp. 784-794, 1985.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Albano
,
Giannotti, F.
,
Orsini, R.
, and
Pedreschi, D.
,
“
The Type System of Galileo
”
, in
Data Types and Persistence (Appin), Informal Proceedings
, 1985, pp. 175-195.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Albano
,
Giannotti, F.
,
Orsini, R.
, and
Pedreschi, D.
,
“
The Type System of Galileo
”
, in
Data Types and Persistence (Appin)
, 1985, pp. 101-119.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
…
17
18
19
20
21
22
23
24
25
Copyright © 2014 - KDD Lab