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

Erik Sandewall

Papers on DiSC'02


Cellular Ontology as a Basis for Spatiotemporal Reasoning

Publications


Note: Links lead to the DBLP on the Web.

Erik Sandewall

44 Erik Sandewall: Cellular Ontology as a Basis for Spatiotemporal Reasoning. TIME 2001 : 3-4

43 Erik Sandewall: Review: M. Shanahan, Solving the Frame Problem. Artificial Intelligence 123 (1-2): 271-273 (2000)

42 Erik Sandewall: An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus. Higher-Order and Symbolic Computation 12 (1): 105-113 (1999)

41 Erik Sandewall: The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. JELIA 1998 : 382-384

40 Erik Sandewall: Logic Based Modelling of Goal-Directed Behavior. KR 1998 : 304-315

39 Erik Sandewall: Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. HART 1997 : 3-17

38 Erik Sandewall: Getting Robots to Know Exactly What They Are Doing. ECAI 1996 : 707

37 Erik Sandewall: Towards a World-Wide Knowledge Base. ISMIS 1996 : 50-55

36 Erik Sandewall: Assessments of Ramification Methods that Use Static Domain Constraints. KR 1996 : 99-110

35 Erik Sandewall: Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions. AI Communications 9 (4): 214-224 (1996)

34 Erik Sandewall: Towards a World-Wide Data Base. WWW5 / Computer Networks 28 (7-11): 1513-1522 (1996)

33 Erik Sandewall: Reasoning about Actions and Change with Ramification. Computer Science Today 1995 : 486-504

32 Erik Sandewall: The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. Journal of Logic and Computation 4 (5): 581-615 (1994)

31 Erik Sandewall: The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. IJCAI 1993 : 738-746

30 Erik Sandewall: Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. ISMIS 1993 : 558-570

29 Erik Sandewall: Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other. KI 1993 : 107-124

28 Erik Sandewall: Reasoning about the World as Perceived by an Agent. ECAI 1990 : 579-584

27 Erik Sandewall, Giovanni Adorni , Hans-Hellmut Nagel , Monique Thonnat : PROMETHEUS Session. ECAI 1990 : 779-780

26 Erik Sandewall: Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. IJCAI 1989 : 894-899

25 Erik Sandewall: Combining Logic and Differential Equations for Describing Real-World Systems. KR 1989 : 412-420

24 Erik Sandewall: Future Developments in Artificial Intelligence: A Personal View. ECAI 1988 : 707-715

23 Erik Sandewall: An Approach to Non-Monotonic Entailment. ISMIS 1988 : 391-397

22 Erik Sandewall: The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. NMR 1988 : 27-41

21 Erik Sandewall: The Pipelining Transformation on Plans for Manufacturing Cells with Robots. IJCAI 1987 : 1055-1062

20 Erik Sandewall, Ralph Rönnquist : A Representation of Action Structures. AAAI 1986 : 89-97

19 Erik Sandewall: Environments for the Development of Specifications (Panel). IFIP Congress 1986 : 313-314

18 Erik Sandewall: On Application-Oriented and Tool-Oriented Theories. Foundations of Knowledge Base Management (Xania) 1985 : 505-513

17 Erik Sandewall: A Functional Approach to Non-Monotonic Logic. IJCAI 1985 : 100-106

16 Erik Sandewall: Unified Dialogue Management in the Carousel System. POPL 1982 : 146-156

15 Erik Sandewall, C. Stromberg , H. Sorensen : Software Architecture Based on Communicating Residential Environments. ICSE 1981 : 144-152

14 Erik Sandewall, H. Sorensen , C. Stromberg : A System of Communicating Residential Environments. LISP Conference 1980 : 82-89

13 Erik Sandewall: A Description Language and Pilot-System Executive for Information-Transport Systems. VLDB 1979 : 101-110

12 Erik Sandewall: What Structure does a LISP Program have - besides being a set of Procedures? AISB/GI (ECAI) 1978 : 298-303

11 Erik Sandewall: Programming in an Interactive Environment: the LISP Experience. ACM Computing Surveys 10 (1): 35-71 (1978)

10 Erik Sandewall: Surveyor's Forum: Structured Editing with a LISP. ACM Computing Surveys 10 (4): 507-508 (1978)

9 Jacques Pitrat , Erik Sandewall, Wolfgang Bibel , Gérard P. Huet , Hans-Hellmut Nagel , M. Somalivco : Artificial Intelligence in Western Europe. IJCAI 1977 : 955-969

8 Lennart Beckman , Anders Haraldson , Östen Oskarsson , Erik Sandewall: A Partial Evaluator, and its Use as a Programming Tool. Artificial Intelligence 7 (4): 319-357 (1976)

7 Erik Sandewall: Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. IEEE Transactions on Computers 25 (4): 342-346 (1976)

6 Erik Sandewall: Ideas About Management Of LISP Data Bases. IJCAI 1975 : 585-592

5 Erik Sandewall: Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. IJCAI 1973 : 230-234

4 Erik Sandewall: A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base. IJCAI 1971 : 159-166

3 Erik Sandewall: Formal Methods in the Design of Question-Answering Systems. Artificial Intelligence 2 (2): 129-145 (1971)

2 Erik Sandewall: Concepts and Methods for Heuristic Search. IJCAI 1969 : 199-218

1 Erik Sandewall: A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees. JACM 16 (3): 364-382 (1969)




DiSC'02 © 2003 Association for Computing Machinery