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
You are here
Home
1999
Brogi A
,
Renso C
,
Turini F
.
Dynamic Composition of Parameterised Logic Modules
. Computer Languages. 1999;:211–242.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pedreschi D
,
Ruggieri S
.
On Logic Programs That Do Not Fail
. Electr. Notes Theor. Comput. Sci. 1999;30.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pedreschi D
,
Ruggieri S
.
Verification of Logic Programs
. J. Log. Program. 1999;39:125-176.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1998
Renso C
.
Mechanisms for Semantic Integration of Deductive Databases
. 1998.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Giannotti F
,
Manco G
,
Nanni M
,
Pedreschi D
.
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases
. In CSL. 1998. pp. 58-72.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Giannotti F
,
Manco G
,
Nanni M
,
Pedreschi D
.
Query Answering in Nondeterministic, Nonmonotonic Logic Databases
. In FQAS. 1998. pp. 175-187.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Asirelli P
,
Renso C
,
Turini F
.
The Constraint Operator of MedLan: Its Efficient Implementation and Use
. In IICIS. 1998. pp. 41-55.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pedreschi D
,
Ruggieri S
.
Weakest Preconditions for Pure Prolog Programs
. Inf. Process. Lett. 1998;67:145-150.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Renso C
,
Ruggieri S
.
A Mediator Approach for Representing Knowledge
. Intelligent Multimedia Presentation Systems. Human Computer Interaction Letters, 1 (1): 32-38, April 1998. 1998;.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Giannotti F
,
Pedreschi D
.
Datalog with Non-Deterministic Choice Computers NDB-PTIME
. J. Log. Program. 1998;35:79-101.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
…
52
53
54
55
56
57
58
59
60
…
next ›
last »
Copyright © 2014 - KDD Lab