See this document in CiteSeerX!

A Concurrent Logic Programming Model of the Web (1998)  (Make Corrections)  (6 citations)
Andrew Davison, et al.



  Home/Search   Context   Related

 
View or download:
cs.mu.oz.au/tr_sub...TR_1998_1cp.ps.gz
cs.mu.oz.au/tr_sub...mu_TR_1998_1.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.mu.oz.au/tr_sub...mu_TR_1998_1 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We propose a concurrent logic programming model for the Web which maps Web page retrieval to logic programming processes and data streams. This gives us the leverage to address, in logic programming notation, Web connectivity issues such as latency and unreliability, and to encode recovery /avoidance behaviours such as time-outs, rate monitoring, and repeat requests. We illustrate how this approach can be used to support the more abstract LogicWeb view of the Web as compositional logic... (Update)

Cited by:   More
Logic Programming Languages for the Internet - Davison (2001)   (Correct)
Agent-Integrated Concurrent - Web Programming Theodore   (Correct)
Logic Object-Oriented Model of Asynchronous Concurrent Computations - Morozov (2003)   (Correct)

Active bibliography (related documents):   More   All
0.3:   AQL: an Alignment Based Language for Querying String.. - Grahne, Hakli, Nykänen.. (1998)   (Correct)
0.2:   LogiMOO: an Extensible Multi-User Virtual World.. - Tarau, De.. (1999)   (Correct)
0.1:   Fluents: a Uniform Extension of Kernel Prolog for Reflection and.. - Tarau (2000)   (Correct)

Similar documents based on text:   More   All
0.5:   15th July 1972: A Significant Moment for Logic Programming - Davison (1992)   (Correct)
0.3:   Generating Relational Database Schemas from UML.. - Nantajeewarawat.. (2001)   (Correct)
0.3:   A Concurrent, Hierarchical approach to Symbolic Dynamic Scene.. - Dance, Caelli   (Correct)

Related documents from co-citation:   More   All
4:   ACE: A Logic Language for Intelligent Internet Programming (context) - Pontelli, Gupta - 1997
4:   LogicWeb: Enhancing the Web with Logic Programming - Davison, Loke - 1996
3:   From Logic Programming to Multi-agent Systems - Kowalski, Sadri - 1998

BibTeX entry:   (Update)

A. Davison and S.W. Loke, \A concurrent logic programming model of the web," Technical Report TR 98/23, Department of Computer Science, University of Melbourne, Australia (1998). http://citeseer.ist.psu.edu/davison98concurrent.html   More

@misc{ davison98concurrent,
  author = "A. Davison and S. Loke",
  title = "A concurrent logic programming model of the web",
  text = "A. Davison and S.W. Loke, \A concurrent logic programming model of the
    web, Technical Report TR 98/23, Department of Computer Science, University
    of Melbourne, Australia (1998).",
  year = "1998",
  url = "citeseer.ist.psu.edu/davison98concurrent.html" }
Citations (may not include all citations):
247   The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
121   Concurrent Constraint Programming Languages (context) - Saraswat - 1988
63   Parallel Logic Programming in Parlog (context) - Gregory - 1987
55   Parlog: Parallel Programming in Logic (context) - Clark, Gregory - 1986
27   HyperText Transfer Protocol (context) - Berners-Lee, Fielding et al. - 1945
25   Service Combinators for Web Computing - Cardelli, Davies - 1997
11   LogicWeb: Enhancing the Web with Logic Programming - Loke, Davison - 1998
10   CiFi: An Intelligent Agent for Citation Finding on the World.. - Loke, Davison et al. - 1996
7   ACE: A Logic Language for Intelligent Internet Programming (context) - Pontelli, Gupta - 1997
7   Lightweight Deductive Databases on the World-Wide Web (context) - Loke, Davison et al.
3   SWI-Prolog Reference Manual - Wielemaker - 1998
1   A Logic Programming Approach to Generating Web-based Guided .. (context) - Loke, Davison - 1997
1   A Two-level World Wide Web Model with Logic Programming Link.. - Loke, Davison - 1997
1   WebL -- A Programming Language for the Web SRC Research Repo.. (context) - Kistler, Marais - 1998



The graph only includes citing articles where the year of publication is known.


Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC