Publications
Export 5 results:
Author Title Type [ Year
] Filters: Author is Salvatore Ruggieri [Clear All Filters]
, “Data Mining for Intelligent Web Caching”, in ITCC, 2001, pp. 599-603.
, “Data Mining for Intelligent Web Caching”, in ITCC, 2001, pp. 599-603.
, “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
, “Web log data warehousing and mining for intelligent web caching”, Data Knowl. Eng., vol. 39, pp. 165-189, 2001.
, “Web Log Data Warehousing and Mining for Intelligent Web Caching”, Data and Knowledge Engineering, 2001.
, “Bounded Nondeterminism of Logic Programs”, in ICLP, 1999, pp. 350-364.
, “On Logic Programs That Do Not Fail”, Electr. Notes Theor. Comput. Sci., vol. 30, 1999.
, “Verification of Logic Programs”, J. Log. Program., vol. 39, pp. 125-176, 1999.
, “A Mediator Approach for Representing Knowledge”, Intelligent Multimedia Presentation Systems. Human Computer Interaction Letters, 1 (1): 32-38, April 1998., 1998.
, “Weakest Preconditions for Pure Prolog Programs”, Inf. Process. Lett., vol. 67, pp. 145-150, 1998.
, “Verification of Meta-Interpreters”, J. Log. Comput., vol. 7, pp. 267-303, 1997.
, “A Case Study in Logic Program Verification: the Vanilla Metainterpreter”, in GULP-PRODE, 1995, pp. 643-654.