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

Juan Carlos Augusto

Papers on DiSC'03


Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols

Publications


Note: Links lead to the DBLP on the Web.

Juan Carlos Augusto

7 Pedro T. Isaías , Florence Sedes , Juan Carlos Augusto, Ulrich Ultes-Nitsche : New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April 2003. ICEIS Press 2003

6 Antony Galton , Juan Carlos Augusto: Two Approaches to Event Definition. DEXA 2002 : 547-556

5 Juan Carlos Augusto, Rodolfo Sab'as G'omez : A temporal logic view of paradigm models. SEKE 2002 : 497-503

4 Antony Galton , Juan Carlos Augusto: Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. TIME 2002 : 52-54

3 Juan Carlos Augusto: The Logical Approach to Temporal Reasoning. Artificial Intelligence Review 16 (4): 301-333 (2001)

2 Juan Carlos Augusto, Guillermo Ricardo Simari : Temporal Defeasible Reasoning. Knowledge and Information Systems 3 (3): 287-318 (2001)

1 Juan Carlos Augusto, Guillermo Ricardo Simari : A Temporal Argumentative System. AI Communications 12 (4): 237-257 (1999)




DiSC'03 © 2003 Association for Computing Machinery