Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
 SIGMOD RECORD 2002
 ADBIS 2002
CIKM 2002
CoopIS 2002
 EDBT 2002
 ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
 DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
 KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
 SIGIR 2002
 SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

Wolfgang May

Papers on DiSC'03


Understanding the global semantics of referential actions using logic rules

Publications


Note: Links lead to the DBLP on the Web.

Wolfgang May

27 Wolfgang May, Dimitrio Malheiro : A Logical, Transparent Model for Querying Linked XML Documents. BTW 2003 : 147-156

26 Wolfgang May: Linking the Semantic Web with Existing Sources. DEXA Workshops 2002 : 93-97

25 Wolfgang May, Bertram Ludäscher : Understanding the global semantics of referential actions using logic rules. TODS 27 (4): 343-397 (2002)

24 Wolfgang May: A Rule-Based Querying and Updating Language for XML. DBPL 2001 : 165-181

23 Wolfgang May: Integration of XML Data in XPathLog. DIWeb 2001 : 2-16

22 Wolfgang May: XPathLog: A Declarative, Native XML Data Manipulation Language. IDEAS 2001 : 123-128

21 Wolfgang May: A Framework for Generic Integration of XML Sources. KRDB 2001

20 Wolfgang May: LoPiX: A System for XML Data Integration and Manipulation. VLDB 2001 : 707-708

19 Wolfgang May: An Integrated Architecture for Exploring, Wrapping, Mediating and Restructuring Information from the Web. Australasian Database Conference 2000 : 82-89

18 Wolfgang May: Handling XML with a Deductive Database System. GI-Workshop Internet-Datenbanken 2000 : 31-45

17 Wolfgang May: Modeling and Querying Structure and Contents of the Web. DEXA Workshop 1999 : 721-725

16 Wolfgang May, Rainer Himmeröder , Georg Lausen , Bertram Ludäscher : A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web. ER Workshops 1999 : 307-320

15 Wolfgang May: A Tableau Calculus for a Temporal Logic with Temporal Connectives. TABLEAUX 1999 : 232-246

14 Rainer Himmeröder , Paul-Thomas Kandzia , Bertram Ludäscher , Wolfgang May, Georg Lausen : Search, Analysis, and Integration of Web Documents: A Case Study with FLORID. DDLP 1998 : 47-58

13 Bertram Ludäscher , Wolfgang May: Referential Actions: From Logical Semantics to Implementation. EDBT 1998 : 404-418

12 Georg Lausen , Bertram Ludäscher , Wolfgang May: On Logical Foundations of Active Databases. Logics for Databases and Information Systems 1998 : 389-422

11 Georg Lausen , Bertram Ludäscher , Wolfgang May: On Active Deductive Databases: The Statelog Approach. Transactions and Change in Logic Databases 1998 : 69-106

10 Bertram Ludäscher , Rainer Himmeröder , Georg Lausen , Wolfgang May, Christian Schlepphorst : Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective. Information Systems 23 (8): 589-613 (1998)

9 Wolfgang May, Bertram Ludäscher , Georg Lausen : Well-Founded Semantics for Deductive Object-Oriented Database Languages. DOOD 1997 : 320-336

8 Wolfgang May: Process Modeling with Different Qualities of Knowledge. ECSQARU-FAPR 1997 : 436-450

7 Bertram Ludäscher , Wolfgang May, Georg Lausen : Referential Actions as Logic Rules. PODS 1997 : 217-227

6 Wolfgang May, Christian Schlepphorst , Georg Lausen : Integrating Dynamic Aspects into Deductive Object-Oriented Databases. Rules in Database Systems 1997 : 20-34

5 Wolfgang May: Proving Correctness of Labled Transition Systems by Semantic Tableaux. TABLEAUX 1997 : 261-275

4 Wolfgang May: Specifying Complex and Structured Systems with Evolving Algebras. TAPSOFT 1997 : 535-549

3 Wolfgang May, Peter H. Schmitt : A Tableau Calculus for First-Order Branching Time Logic. FAPR 1996 : 399-413

2 Bertram Ludäscher , Wolfgang May, Joachim Reinert : Towards a Logical Semantics for Referential Actions in SQL. FMLDO 1996 : 57-72

1 Bertram Ludäscher , Wolfgang May, Georg Lausen : Nested Transactions in a Logical Language for Active Rules. Logic in Databases 1996 : 197-222




DiSC'03 © 2003 Association for Computing Machinery