Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Greco, Sergio Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 5 of 5 reviews    
  Detecting decidable classes of finitely ground logic programs with function symbols
Calautti M., Greco S., Trubitsyna I. ACM Transactions on Computational Logic 18(4): 1-42, 2017.  Type: Article

The termination problem of programs is in general an undecidable problem. However, in the context of some programming paradigms, there has been a lot of research in finding useful decidable criteria characterizing certain subclasses of...
...
May 22 2018  
  Semantic clustering of XML documents
Tagarelli A., Greco S. ACM Transactions on Information Systems 28(1): 1-56, 2010.  Type: Article

With the advent of Extensible Markup Language (XML) and its wide adoption in applications, data extraction from semi-structured documents to facilitate data analysis has become an attractive research direction. The existence of structu...
...
May 28 2010  
  Mining user preferences, page content and usage to personalize Website navigation
Flesca S., Greco S., Tagarelli A., Zumpano E. World Wide Web 8(3): 317-345, 2005.  Type: Article

Web personalization is the adjustment of information provided by a Web site to the potential needs of a user. The main goal of this paper is the development of a personalization system for delivering useful page recommendations to the ...
...
Jul 26 2006  
  Functional queries in datalog: results of a controlled experiment
Basta S., Flesca S., Greco S. New Generation Computing 20(4): 339-371, 2002.  Type: Article

Datalog refers to a simplification of the logic programming paradigm in which there are no function operators to construct compound values. It can be used as the basis for database query languages, having the advantage of the strong se...
...
Jul 2 2003  
  Complexity and expressive power of deterministic semantics for DATALOG
Greco S., Saccá D. Information and Computation 153(1): 81-98, 1999.  Type: Article

Logic programs without function symbols are known as Datalog programs (with negation, but this qualification will be understood in what follows). A Datalog program, viewed as a logic formula, may have many models. Various special kinds...
...
Oct 1 1999  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy