dblp.uni-trier.dewww.uni-trier.de

Erik Sandewall Vis

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

*2008
58 Erik Sandewall: Artificial Intelligence Needs Open-Access Knowledgebase Contents. AAAI 2008: 1602-1605
57EEErik Sandewall: A review of the Handbook of Knowledge Representation. Artif. Intell. 172(18): 1965-1966 (2008)
2006
56EEErik Sandewall: Coordination of Actions in an Autonomous Robotic System. Reasoning, Action and Interaction in AI Theories and Systems 2006: 177-191
2005
55 Erik Sandewall: External and Internal Autonomy in Software Systems. ICINCO 2005: 11
2003
54EEErik 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
53EEErik 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
52EEErik Sandewall: Cellular Ontology as a Basis for Spatiotemporal Reasoning. TIME 2001: 3-4
51EEErik Sandewall: On the Design of Software Individuals. Electron. Trans. Artif. Intell. 5(B): 143-160 (2001)
2000
50 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
49EEErik Sandewall: Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 271-273 (2000)
1999
48 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
47EEErik Sandewall: The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. JELIA 1998: 382-384
46 Erik Sandewall: Logic Based Modelling of Goal-Directed Behavior. KR 1998: 304-315
45EEErik Sandewall: Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Electron. Trans. Artif. Intell. 2: 307-329 (1998)
1997
44 Erik Sandewall: Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. HART 1997: 3-17
43EEErik Sandewall: Publishing and Reviewing in the ETAI. Electron. Trans. Artif. Intell. 1: 1-12 (1997)
42EEErik Sandewall: Logic-Based Modelling of Goal-Directed Behavior. Electron. Trans. Artif. Intell. 1: 105-128 (1997)
1996
41 Erik Sandewall: Getting Robots to Know Exactly What They Are Doing. ECAI 1996: 707
40EEErik Sandewall: Towards a World-Wide Knowledge Base. ISMIS 1996: 50-55
39 Erik Sandewall: Assessments of Ramification Methods that Use Static Domain Constraints. KR 1996: 99-110
38 Erik Sandewall: Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions. AI Commun. 9(4): 214-224 (1996)
37EEErik Sandewall: Towards a World-Wide Data Base. Computer Networks 28(7-11): 1513-1522 (1996)
1995
36EEErik Sandewall: Reasoning about Actions and Change with Ramification. Computer Science Today 1995: 486-504
1994
35 Erik Sandewall: The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. J. Log. Comput. 4(5): 581-615 (1994)
1993
34 Erik Sandewall: The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. IJCAI 1993: 738-746
33EEErik Sandewall: Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. ISMIS 1993: 558-570
32 Erik Sandewall: Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other. KI 1993: 107-124
1990
31 Erik Sandewall: Reasoning about the World as Perceived by an Agent. ECAI 1990: 579-584
30 Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat: PROMETHEUS Session. ECAI 1990: 779-780
1989
29 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
28 Erik Sandewall: Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. IJCAI 1989: 894-899
27 Erik Sandewall: Combining Logic and Differential Equations for Describing Real-World Systems. KR 1989: 412-420
1988
26 Erik Sandewall: Future Developments in Artificial Intelligence: A Personal View. ECAI 1988: 707-715
25 Erik Sandewall: An Approach to Non-Monotonic Entailment. ISMIS 1988: 391-397
24 Erik Sandewall: The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. NMR 1988: 27-41
1987
23 Erik Sandewall: The Pipelining Transformation on Plans for Manufacturing Cells with Robots. IJCAI 1987: 1055-1062
1986
22 Erik Sandewall, Ralph Rönnquist: A Representation of Action Structures. AAAI 1986: 89-97
21 Erik Sandewall: Environments for the Development of Specifications (Panel). IFIP Congress 1986: 313-314
1985
20 Erik Sandewall: On Application-Oriented and Tool-Oriented Theories. Foundations of Knowledge Base Management (Xania) 1985: 505-513
19 Erik Sandewall: A Functional Approach to Non-Monotonic Logic. IJCAI 1985: 100-106
1982
18 Erik Sandewall: Unified Dialogue Management in the Carousel System. POPL 1982: 146-156
1981
17 Erik Sandewall, Claes Strömberg, Henrik Sörensen: Software Architecture Based on Communicating Residential Environments. ICSE 1981: 144-152
1980
16EEErik Sandewall, Göran Hektor, Anders Ström, Claes Strömberg, Ola Strömfors, Henrik Sörensen, Jaak Urmi: Provisions for flexibility in the Linköping office information system (LOIS). AFIPS National Computer Conference 1980: 569-577
15 Erik Sandewall, Henrik Sörensen, Claes Strömberg: A System of Communicating Residential Environments. LISP Conference 1980: 82-89
1979
14EEErik Sandewall: A Description Language and Pilot-System Executive for Information-Transport Systems. VLDB 1979: 101-110
1978
13 Erik Sandewall: What Structure does a LISP Program have - besides being a set of Procedures? AISB/GI (ECAI) 1978: 298-303
12 Erik Sandewall: Programming in an Interactive Environment: the LISP Experience. ACM Comput. Surv. 10(1): 35-71 (1978)
11 Erik Sandewall: Surveyor's Forum: Structured Editing with a LISP. ACM Comput. Surv. 10(4): 507-508 (1978)
1977
10 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
9 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)
8 Erik Sandewall: Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. IEEE Trans. Computers 25(4): 342-346 (1976)
1975
7 Erik Sandewall: Ideas About Management Of LISP Data Bases. IJCAI 1975: 585-592
1973
6 Erik Sandewall: Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. IJCAI 1973: 230-234
1971
5 Erik Sandewall: A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base. IJCAI 1971: 159-166
4 Erik Sandewall: Formal Methods in the Design of Question-Answering Systems. Artif. Intell. 2(2): 129-145 (1971)
1969
3 Erik Sandewall: Concepts and Methods for Heuristic Search. IJCAI 1969: 199-218
2EEErik Sandewall: A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees. J. ACM 16(3): 364-382 (1969)
1968
1EEErik Sandewall: LISP A: a lisp-like system for incremental computing. AFIPS Spring Joint Computing Conference 1968: 375-384

Coauthor Index

1Giovanni Adorni [30]
2Lennart Beckman [9]
3Wolfgang Bibel [10]
4Patrick Doherty [54]
5Patrik Dohrty [50]
6Matthew L. Ginsberg [29]
7Gösta H. Granlund [50]
8Anders Haraldson [9]
9Göran Hektor [16]
10Gérard P. Huet [10]
11Johan de Kleer [29]
12Krzysztof Kuchcinski [50]
13Oliver Lemon [54]
14Hans-Hellmut Nagel [10] [30]
15Klas Nordberg [50]
16Östen Oskarsson [9]
17S. Peters [54]
18Jacques Pitrat [10]
19Michael Reinfrank [29]
20Ralph Rönnquist [22]
21Erik Skarman [50]
22M. Somalivco [10]
23Henrik Sörensen [15] [16] [17]
24Anders Ström [16]
25Claes Strömberg [15] [16] [17]
26Ola Strömfors [16]
27Monique Thonnat [30]
28Jaak Urmi [16]
29Johan Wiklund [50]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)