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]
1990
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
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
Copyright © 2014 - KDD Lab