dblp.uni-trier.de

Erik Sandewall

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
54EEErik Sandewall: Coordination of Actions in an Autonomous Robotic System. Reasoning, Action and Interaction in AI Theories and Systems 2006: 177-191
2005
53 Erik Sandewall: External and Internal Autonomy in Software Systems. ICINCO 2005: 11
2003
52EEErik Sandewall, Patrick Doherty, Oliver Lemon, S. Peters: Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract. KI 2003: 52-63
2001
51EEErik Sandewall: Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems. Advances in Plan-Based Control of Robotic Agents 2001: 226-248
50EEErik Sandewall: Cellular Ontology as a Basis for Spatiotemporal Reasoning. TIME 2001: 3-4
49EEErik Sandewall: On the Design of Software Individuals. Electron. Trans. Artif. Intell. 5(B): 143-160 (2001)
2000
48 Patrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund: The WITAS Unmanned Aerial Vehicle Project. ECAI 2000: 747-755
47EEErik Sandewall: Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 271-273 (2000)
1999
46 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)
1998
45EEErik Sandewall: The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. JELIA 1998: 382-384
44 Erik Sandewall: Logic Based Modelling of Goal-Directed Behavior. KR 1998: 304-315
43EEErik Sandewall: Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Electron. Trans. Artif. Intell. 2: 307-329 (1998)
1997
42 Erik Sandewall: Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. HART 1997: 3-17
41EEErik Sandewall: Publishing and Reviewing in the ETAI. Electron. Trans. Artif. Intell. 1: 1-12 (1997)
40EEErik Sandewall: Logic-Based Modelling of Goal-Directed Behavior. Electron. Trans. Artif. Intell. 1: 105-128 (1997)
1996
39 Erik Sandewall: Getting Robots to Know Exactly What They Are Doing. ECAI 1996: 707
38 Erik Sandewall: Towards a World-Wide Knowledge Base. ISMIS 1996: 50-55
37 Erik Sandewall: Assessments of Ramification Methods that Use Static Domain Constraints. KR 1996: 99-110
36 Erik Sandewall: Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions. AI Commun. 9(4): 214-224 (1996)
35EEErik Sandewall: Towards a World-Wide Data Base. Computer Networks 28(7-11): 1513-1522 (1996)
1995
34 Erik Sandewall: Reasoning about Actions and Change with Ramification. Computer Science Today 1995: 486-504
1994
33 Erik Sandewall: The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. J. Log. Comput. 4(5): 581-615 (1994)
1993
32 Erik Sandewall: The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. IJCAI 1993: 738-746
31 Erik Sandewall: Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. ISMIS 1993: 558-570
30 Erik Sandewall: Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other. KI 1993: 107-124
1990
29 Erik Sandewall: Reasoning about the World as Perceived by an Agent. ECAI 1990: 579-584
28 Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat: PROMETHEUS Session. ECAI 1990: 779-780
1989
27 Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings Springer 1989
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
1988
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
1987
21 Erik Sandewall: The Pipelining Transformation on Plans for Manufacturing Cells with Robots. IJCAI 1987: 1055-1062
1986
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
1985
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
1982
16 Erik Sandewall: Unified Dialogue Management in the Carousel System. POPL 1982: 146-156
1981
15 Erik Sandewall, C. Stromberg, H. Sorensen: Software Architecture Based on Communicating Residential Environments. ICSE 1981: 144-152
1980
14 Erik Sandewall, H. Sorensen, C. Stromberg: A System of Communicating Residential Environments. LISP Conference 1980: 82-89
1979
13EEErik Sandewall: A Description Language and Pilot-System Executive for Information-Transport Systems. VLDB 1979: 101-110
1978
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 Comput. Surv. 10(1): 35-71 (1978)
10 Erik Sandewall: Surveyor's Forum: Structured Editing with a LISP. ACM Comput. Surv. 10(4): 507-508 (1978)
1977
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
1976
8 Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall: A Partial Evaluator, and its Use as a Programming Tool. Artif. Intell. 7(4): 319-357 (1976)
7 Erik Sandewall: Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. IEEE Trans. Computers 25(4): 342-346 (1976)
1975
6 Erik Sandewall: Ideas About Management Of LISP Data Bases. IJCAI 1975: 585-592
1973
5 Erik Sandewall: Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. IJCAI 1973: 230-234
1971
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. Artif. Intell. 2(2): 129-145 (1971)
1969
2 Erik Sandewall: Concepts and Methods for Heuristic Search. IJCAI 1969: 199-218
1EEErik Sandewall: A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees. J. ACM 16(3): 364-382 (1969)

Coauthor Index

1Giovanni Adorni [28]
2Lennart Beckman [8]
3Wolfgang Bibel [9]
4Patrick Doherty [52]
5Patrik Dohrty [48]
6Matthew L. Ginsberg [27]
7Gösta H. Granlund [48]
8Anders Haraldson [8]
9Gérard P. Huet [9]
10Johan de Kleer [27]
11Krzysztof Kuchcinski [48]
12Oliver Lemon [52]
13Hans-Hellmut Nagel [9] [28]
14Klas Nordberg [48]
15Östen Oskarsson [8]
16S. Peters [52]
17Jacques Pitrat [9]
18Michael Reinfrank [27]
19Ralph Rönnquist [20]
20Erik Skarman [48]
21M. Somalivco [9]
22H. Sorensen [14] [15]
23C. Stromberg [14] [15]
24Monique Thonnat [28]
25Johan Wiklund [48]

Colors in the list of coauthors


DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Dec 27 04:59:51 2007