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

Antony Galton

Papers on DiSC'03


Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols

Publications


Note: Links lead to the DBLP on the Web.

Antony Galton

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

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

21 Antony Galton: A Formal Theory of Objects and Fields. COSIT 2001 : 458-473

20 Richard C. Meathrel , Antony Galton: A Hierarchy of Boundary-based Shape Descriptors. IJCAI 2001 : 1359-1364

19 Antony Galton: Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems. Fundamenta Informaticae 46 (1-2): 55-70 (2001)

18 Richard C. Meathrel , Antony Galton: Qualitative Representation of Planar Outlines. ECAI 2000 : 224-228

17 Antony Galton: Continuous Motion in Discrete Space. KR 2000 : 26-37

16 Antony Galton: The Mereotopology of Discrete Space. COSIT 1999 : 251-266

15 Antony Galton, Richard C. Meathrel : Qualitative Outline Theory. IJCAI 1999 : 1061-1066

14 Antony Galton: Modes of Overlap. Journal of Visual Languages and Computing 9 (1): 61-79 (1998)

13 Antony Galton: Continuous Change in Spatial Region. COSIT 1997 : 1-13

12 John Gooday , Antony Galton: The Transition Calculus: a high-level formalism for reasoning about action and change. JETAI 9 (1): 51-66 (1997)

11 Antony Galton: Taking Dimension Seriously in Qualitative Spatial Reasoning. ECAI 1996 : 501-505

10 Antony Galton: Note on a Lemma of Ladkin. Journal of Logic and Computation 6 (1): 1-4 (1996)

9 Antony Galton: An Investigation of `Non-Intermingling' Principles in Temporal Logic. Journal of Logic and Computation 6 (2): 271-294 (1996)

8 Antony Galton: Towards a Qualitative Theory of Movement. COSIT 1995 : 377-396

7 Antony Galton: Towards an Integrated Logic of Space, Time and Motion. IJCAI 1993 : 1550-1557

6 Craig MacNish , Antony Galton, John Gooday : QSQR: Quantitatively Scoped Qualitative Reasoning. SCAI 1993 : 30-37

5 Antony Galton: Classical Logic: A Crash Course for Beginners. The Computer Journal 35 (5): 424-430 (1992)

4 Antony Galton: Logic as a Formal Method. The Computer Journal 35 (5): 431-440 (1992)

3 Antony Galton: A Critique of Yoav Shoham's Theory of Causal Reasoning. AAAI 1991 : 355-359

2 Antony Galton: Reified Temporal Theories and How to Unreify Them. IJCAI 1991 : 1177-1183

1 Antony Galton: A Critical Examination of Allen's Theory of Action and Time. Artificial Intelligence 42 (2-3): 159-188 (1990)




DiSC'03 © 2003 Association for Computing Machinery