You are here

Home

1999

Brogi A, Renso C, Turini F. Dynamic Composition of Parameterised Logic Modules. Computer Languages. 1999;:211–242.
Pedreschi D, Ruggieri S. On Logic Programs That Do Not Fail. Electr. Notes Theor. Comput. Sci. 1999;30.
Pedreschi D, Ruggieri S. Verification of Logic Programs. J. Log. Program. 1999;39:125-176.

1998

Renso C. Mechanisms for Semantic Integration of Deductive Databases. 1998.
Giannotti F, Manco G, Nanni M, Pedreschi D. On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases. In CSL. 1998. pp. 58-72.
Giannotti F, Manco G, Nanni M, Pedreschi D. Query Answering in Nondeterministic, Nonmonotonic Logic Databases. In FQAS. 1998. pp. 175-187.
Asirelli P, Renso C, Turini F. The Constraint Operator of MedLan: Its Efficient Implementation and Use. In IICIS. 1998. pp. 41-55.
Pedreschi D, Ruggieri S. Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett. 1998;67:145-150.
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;.
Giannotti F, Pedreschi D. Datalog with Non-Deterministic Choice Computers NDB-PTIME. J. Log. Program. 1998;35:79-101.

Pages