François Bry, Sebastian Schaffert  Home/Search
Context Related
| pms.informatik.uni...PMSFB20035.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pms.informatik.unimuenchen.de... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. (Update)
Cited by: More
Poster Presentation: Xcerpt and XChange - Logic.. - Bry, Patranjan.. (2004) (Correct)
Xcerpt and XChange: Deductive Languages for Data.. - Bry, Patranjan.. (2004) (Correct)
Querying the Web Reconsidered: A Practical Introduction to Xcerpt - Schaffert, Bry (2004) (Correct)
Active bibliography (related documents): More All
0.8: Pattern Queries for XML and Semistructured Data - Bry, Schaffert (2002) (Correct)
0.8: A contribution to the Semantics of Xcerpt, . . .. - Bry, Schaffert, Schroeder (2004) (Correct)
0.5: Linking the Semantic Web with Existing Sources - Wolfgang May Institut (2002) (Correct)
Similar documents based on text: More All
0.6: Grouping Constructs for Semistructured Data - Bry, Olteanu, Schaffert (2001) (Correct)
0.5: Temporal Constructs for a Web Language - Bry, Spranger (2003) (Correct)
0.5: A Gentle Introduction into Xcerpt, a Rule-Based Query and.. - Bry, Schaffert (2002) (Correct)
Related documents from co-citation: More All
3: Towards a Declarative Query and Transformation Language for XML and Semistructur.. - Bry, Scha - 2002
2: A Declarative XML-RL Update Language - Liu, Lu et al. - 2003
2: Event-Condition-Action Rule Languages for the Semantic Web - Papamarkos, Poulovassilis et al. - 2003
BibTeX entry: (Update)
Franois Bry and Sebastian Schaffert. An Entailment for Reasoning on the Web. Proceedings of Rules and Rule Markup Languages for the Web (RuleML03), Sanibel Island (Florida), USA, 2003. http://citeseer.ist.psu.edu/bry03entailment.html More
@misc{ bry03entailment,
author = "F. Bry and S. Schaffert",
title = "An Entailment for Reasoning on the Web",
text = "Franois Bry and Sebastian Schaffert. An Entailment for Reasoning on the
Web. Proceedings of Rules and Rule Markup Languages for the Web (RuleML03),
Sanibel Island (Florida), USA, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/bry03entailment.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988 DBLP
192 Logic Pro- gramming (context) - Apt, Bol et al. - 1994
106 An Algebraic Definition of Simulation between Programs (context) - Milner - 1971 ACM DBLP
65 Computing Simulations on Finite and Infinite Graphs - Henzinger, Henzinger et al. - 1996 ACM DBLP
53 A Tableau Calculus For Minimal Model Reasoning - Niemela - 1996 ACM DBLP
36 UnQL: A Query Language and Algebra for Semistructured Data B.. - Buneman, Fernandez et al. - 2000
35 OQL: A Query Language for Manipulating Object-Oriented Datab.. (context) - Alashqur, Su et al. - 1989 ACM DBLP
29 From Relations to Semistructured Data and XML (context) - Abiteboul, Buneman et al. - 2000
29 The Extensible HyperText Markup Language (context) - XHTML - 2000
27 Towards a Declarative Query and Transformation Language for .. - Bry, Schaffert - 2002 DBLP
17 A Fixpoint Characterization of Abductive Logic Program- ming - Inoue, Sakama - 1996
15 WC Extensible Markup Language (context) - Language, Edition - 2000
9 Strongly Equivalent Logic Programs - Lifschitz, Pearce et al. - 2001 ACM DBLP
7 Features and Requirements for an XML View Definition Languag.. (context) - Baru, LudSscher et al. - 1998 DBLP
7 fxt A Transformation Language for XML Documents - Berlea, Seidl - 2001
4 WC XML Path Language (context) - Language - 1999
4 WC Extensible Stylesheet Language (context) - Language - 2000
2 a Part 0: Primer; Part 1: Structures, Part 2: Datatypes (context) - XML - 2001
2 A Logic-Based Approach to XML Data Integration (context) - May - 2001
2 ule-based Query and Transformation Language for XML (context) - Bry, Schaffert et al. - 2002
1 An Almost Classical Logic for Logic Programming and Nonmonot.. - Bry - 2002
1 Flexible Processing of XML-Based Mathematical Knowledge in a.. (context) - Heumesser, Seipel et al. - 2003
1 Processing XML-Documents in Prolog - Seipel - 2002
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/publikationen/): More
A Deduction Method Complete for Refutation and Finite.. - Bry, Torge (1998) (Correct)
A Confluence Test for Concurrent Constraint Programs - Abdennadher, Frühwirth.. (1995) (Correct)
Problem Solving with Model-Generation Approaches based on.. - Eisinger, Geisler (1998) (Correct)
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