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
Roberto Barbuti
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
B
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
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