Computational Autonomy and Information Systems Open Reference

Erik Sandewall: List of Publications 1967-2006

1967

001 Erik Sandewall: Ambiguity Logic as a Basis for an Incremental Computer. Technical report, Department of Computer Science, Uppsala University, 1967, Number 9.

1968

001 Erik Sandewall: Lisp A, A Lisp-like System for Incremental Computing. Proc. of  Spring Joint Computer Conference 1968, Atlantic City, NJ, USA, 30 April - 5 May, 1968, pp. 375-384.

1969

001 Erik Sandewall: A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees. Journal of the Association for Computing Machinery, Vol. 16, 1969, pp. 364-382.

1970

001 Torgny Groth, Werner Schneider, Jean-Claude Vuille and Erik Sandewall: Computer Simulation of Ferrokinetic Models. Computer Programs in Biomedicine, Vol. 1, 1970.

002 Erik Sandewall: A Set-oriented Property-Structre Representation for Binary Relations. Machine Intelligence 5 [Bernhard Meltzer and Donald Michie, Editors], pp. 237-252. Edinburgh University Press, 1970.

1971

001 Erik Sandewall: Formal methods in the design of question-answering systems. Artificial Intelligence, Vol. 2, 1971, pp. 129-145.

002 Erik Sandewall: Representing Natural-Language Information in Predicate Calculus. Machine Intelligence 6 [Bernhard Meltzer and Donald Michie, Editors], pp. 255-280. Edinburgh University Press, 1971.

003 Erik Sandewall: PCDB, a Programming Tool for Management of a Predicate Calculus Oriented Data Base. Proc. of  International Joint Conference on Artificial Intelligence 1971, London, United Kingdom, 1-3 September, 1971, pp. 159-166.

004 Erik Sandewall: A Proposed Solution to the FUNARG Problem. The SIGSAM Bulletin, 1971.

1972

001 Erik Sandewall: An Approach to the Frame Problem, and its Implementation. Machine Intelligence 7 [Bernhard Meltzer and Donald Michie, Editors], pp. 195-204. Edinburgh University Press, 1972.

1973

003 Erik Sandewall: Deductive Search in a Semantic Net. Proc. of  Symposium 'Organismic Information Processing' 1973, Berlin, Germany (DDR), 11-14 September, 1973 [Friedhart Klix, Editor], pp. 512-525. Akademie-Verlag, 1973.

009 Erik Sandewall: Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs. Proc. of  International Joint Conference on Artificial Intelligence 1973, Stanford, CA, USA, 20-23 August, 1973, pp. 230-234.

1974

1975

001 Erik Sandewall: Ideas about Management of LISP Databases. Proc. of  International Joint Conference on Artificial Intelligence 1975, Tbilisi, Georgia, USSR, 1975, pp. 585-592.

1976

001 Lennart Beckman, Anders Haraldsson, Östen Oskarsson and Erik Sandewall: A partial evaluator, and its use as a programming tool. Artificial Intelligence, Vol. 7, 1976, pp. 319-357.

002 Erik Sandewall: Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs. IEEE Transactions on Computers, Vol. C-25, 1976, pp. 342-346.

1977

001 Erik Sandewall: Some Observations about Conceptual Programming. Machine Intelligence 8 [Edward W. Elcock and Donald Michie, Editors], pp. 223-265. Ellis-Horwood, 1977.

1978

001 Erik Sandewall: Programming in the Interactive Environment: The LISP Experience. Computing Surveys, Vol. 10, 1978, pp. 35-71.

1979

001 Erik Sandewall: Biological Software. Proc. of  International Joint Conference on Artificial Intelligence 1979, Tokyo, Japan, 1979, pp. 744-747.

002 Erik Sandewall: A Description Language and Pilot-System Executive for Information-Transport Systems. Proc. of  Conference on Very Large Data Bases 1979, Rio de Janeiro, Brazil, 3-5 October, 1979 [Antonio L. Furtado and Howard L. Morgan, Editors].

004 Erland Jungert, Gunilla Lönnemark, Erik Sandewall, Katarina Sunnerud and Ove Wigertz: A Tool for the Design and Development of Medical Data Processing Systems. Proc. of  Second Congress on Medical Informatics, Europe 1979, Berlin, Germany (BRD), 1979.

1980

001 Erik Sandewall, Göran Hektor, Anders Ström, Claes Strömberg, Ola Strömfors, Henrik Sörensen and Jaak Urmi: Provisions for Flexibility in the Linköping Office Information System (LOIS). Proc. of  National Computer Conference 1980, Anaheim, CA, USA, 19-22 May, 1980, pp. 569-578.

002 Erik Sandewall, Claes Strömberg and Henrik Sörensen: A System for Communicating Residential Environments. Proc. of  First Lisp Conference 1980, Stanford, CA, USA, 25-27 August, 1980, pp. 82-89.

1981

001 Erik Sandewall, Claes Strömberg and Henrik Sörensen: Software Architecture Based on Communicating Residential Environments. Proc. of  International Conference on Software Engineering 1981, San Diego, CA, USA, 9-12 March, 1981, pp. 144-152.

1982

001 Erik Sandewall: Unified Dialogue Management in the Carousel System. Proc. of  Second Office Information Systems Workshop 1982, Saint-Maximin, France, 13-15 October, 1982 [Najah Naffah, Editor], pp. 175-197. North-Holland Publishers, 1982.

1983

001 Erik Sandewall, Sture Hägglund, Christian Gustafsson, Lennart Jonesjö and Ola Strömfors: Stepwise Structuring - A Style of Life for Flexible Software. Proc. of  National Computer Conference 1983, Anaheim, CA, USA, 1983, pp. 65-72.

002 Erik Sandewall: Formal Specification and Implementation of Operations in Information Management Systems. In: Colloquium Programmeeromgevingen, MC Syllabus [Jan Heering and Paul Klint, Editors], pp. 125-148. Mathematisch Centrum, Amsterdam, 1983.

1984

1985

001 Erik Sandewall: A functional approach to nonmonotonic logic. Computational Intelligence, Vol. 1, 1985.

002 Erik Sandewall: Systems Development Environments. In: Intelligent Machinery: Theory and Practice [Ian Benson, Editor]. Cambridge University Press, 1985.

1986

001 Erik Sandewall: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions. Proceedings of the IEEE, Vol. 74, 1986, pp. 1345-1353.

002 Erik Sandewall and Ralph Rönnquist: A Representation of Action Structures. Proc. of  [U.S.] National Conference on Artificial Intelligence 1986, Austin, TX, USA, 1986, pp. 89-97.

003 Erik Sandewall: Specification Environments for Information Management Systems. Proc. of  International Federation of Information Processing 1986, Dublin, Ireland, 1-5 September, 1986 [Hans-Jürgen Kugler, Editor], pp. 313-314.

1987

001 Erik Sandewall: The Pipelining Transformation on Manufacturing Cells with Robots. Proc. of  International Joint Conference on Artificial Intelligence 1987, Milano, Italy, 23-28 August, 1987, pp. 1055-1062.

002 Erik Sandewall: The Frame Problem in AI. The Frame Problem in Artificial Intelligence [Frank M. Brown, Editor], pp. 29.

1988

001 Erik Sandewall: An Approach to Non-Monotonic Entailment. Methodologies for Intelligent Systems, III [Zbigniew W. Ras and Lorenza Saitta, Editors], pp. 391-397. North-Holland Publishers, 1988.

003 Erik Sandewall: The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. In: Non-Monotonic Reasoning [Michael Reinfrank and nil nil, Editors], pp. 27-41. Springer-Verlag, 1988.

004 Erik Sandewall: Future developments in Artificial Intelligence. Proc. of  European Conference on Artificial Intelligence 1988, Munich, Germany, 1-5 August, 1988 [Yves Kodratoff, Editor], pp. 707-715.

1989

001 Erik Sandewall: Combining Logic and Differential Equations for Describing Real-World Systems. Proc. of  First Conference on Principles of Knowledge Representation and Reasoning 1989, Toronto, Canada, 15-18 May, 1989 [Ronald J. Brachman, Hector J. Levesque and Raymond Reiter, Editors], pp. 412-420.

002 Erik Sandewall: Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. Proc. of  International Joint Conference on Artificial Intelligence 1989, Detroit, Mich, USA, 20-25 August, 1989, pp. 894-899.

003 Erik Sandewall: A Decision Procedure for a Theory of Actions and Plans. Methodologies for Intelligent Systems, IV [Zbigniew W. Ras, Editor]. North-Holland Publishers, 1989.

1990

001 Erik Sandewall: Towards a Logic of Dynamic Frames. International Journal of Expert Systems, Vol. 3, 1990, pp. 355-370.

002 Erik Sandewall: Lisp as a Very High Level Implementation Language. Proc. of  European Conference on Practical Applications of Lisp (EuroPAL) 1990, Cambridge, United Kingdom, 27-29 March, 1990, pp. 29-34.

003 Erik Sandewall: Reasoning about the World as Perceived by an Agent. Proc. of  European Conference on Artificial Intelligence 1990, Stockholm, Sweden, 6-10 August, 1990 [Luigia Carlucci Aiello, Editor], pp. 579-584.

1991

1992

001 Erik Sandewall: Knowledge-based systems, Lisp, and Very High Level Implementation Languages. The Knowledge Engineering Review, Vol. 7, 1992, pp. 147-155.

002 Magnus Morin, Simin Nadjm-Tehrani, Per Österling and Erik Sandewall: Real-Time Hierarchical Control. IEEE Software, Vol. 9, 1992, pp. 51-57.

1993

001 Erik Sandewall: The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. Proc. of  International Joint Conference on Artificial Intelligence 1993, Chambéry, France, 28 August - 3 September, 1993.

002 Erik Sandewall: Systematic Assessment of Temporal Reasoning Methods for Use in Autonomous Agents. Methodologies for Intelligent Systems, VII [Jan Komorowski and Zbigniew W. Ras, Editors], pp. 558-570. Springer-Verlag, 1993.

003 Erik Sandewall: The Role of Temporal Reasoning Subsystems in the Architecture of Autonomous Agents. Proc. of  Artificial Intelligence in Engineering 1993, Toulouse, France, June, 1993 [Georg Rzevski, Josianne Pastor and R Adey, Editors], pp. 3-6. Elsevier, 1993.

1994

001 Erik Sandewall: The Range of Applicability for some Nonmonotonic Logics for Strict Inertia. Journal of Logic and Computation, Vol. 4, 1994, pp. 581-616.

1995

001 Erik Sandewall: Reasoning about Actions and Change with Ramification. In: Computer Science Today [Jan van Leeuwen, Editor], pp. 486-504. Springer-Verlag, 1995.

002 Erik Sandewall and Yoav Shoham: Nonmonotonic Temporal Reasoning. In: Handbook of Logic in Artificial Intelligence and Logic Programming [Dov Gabbay, C. J. Hogger and J.A. Robinson, Editors], pp. 439-498. Clarendon, 1995.

1996

001 Erik Sandewall: Towards the Validation of High-Level Action Descriptions from their Low-Level Definitions. Artificial Intelligence Communications, Vol. 9, 1996, pp. 214-224.

002 Erik Sandewall: Towards a World-Wide Database. Computer Networks and ISDN Systems, Vol. 28, 1996, pp. 1513-1522.

003 Erik Sandewall: Transition cascade semantics and first results for ramification. Preliminary report. Proc. of  Conference on Formal Approaches to Practical Reasoning 1996, Bonn, Germany, 1996 [Dov Gabbay, Editor].

004 Erik Sandewall: Assessment of ramification methods that use static domain constraints. Proc. of  Conference on Principles of Knowledge Representation and Reasoning 1996, Cambridge, Mass, USA, 5-8 November, 1996 [Luigia Carlucci Aiello, Editor], pp. 99-110.

005 Erik Sandewall: Underlying semantics for logics of actions and change. Proc. of  Logic Colloquium 1996, San Sebastian, Spain, 1996 [Jesús M. Larrazabal, Editor].

006 Erik Sandewall: Getting Robots to Know Exactly What They are Doing. Proc. of  European Conference on Artificial Intelligence 1996, Budapest, Hungary, 11-16 August, 1996 [Wolfgang Wahlster, Editor], pp. 707.

007 Erik Sandewall: Towards a World-Wide Knowledge Base. Foundations of Intelligent Systems [Zbigniew W. Ras and Maciej Michalewicz, Editors], pp. 50-55.

1997

001 Erik Sandewall: Logic-based Modelling of Goal-Directed Behavior. Electronic Transactions on Artificial Intelligence, Vol. 1, 1997, pp. 105-128.

002 Erik Sandewall: Publishing and Reviewing in the ETAI. Electronic Transactions on Artificial Intelligence, Vol. 1, 1997, pp. 1-12.

003 Erik Sandewall: Underlying semantics for actions and change with ramification. In: Spatial and Temporal Reasoning [Oliviero Stock, Editor], pp. 146-154. Kluwer, 1997.

004 Erik Sandewall: Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. Proc. of  International Workshop on Hybrid and Real-Time Systems 1997, Grenoble, France, 26-28 March, 1997 [Oded Maler, Editor], pp. 3-17.

1998

001 Erik Sandewall: Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Electronic Transactions on Artificial Intelligence, Vol. 2, 1998, pp. 307-329.

002 Erik Sandewall: Logic-Based Modelling of Goal-Directed Behavior. Proc. of  Conference on Principles of Knowledge Representation and Reasoning 1998, Trento, Italy, 2-5 June, 1998 [Anthony G. Cohn, Lenhart Schubert and Stuart C. Shapiro, Editors], pp. 304-315.

003 Erik Sandewall: The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. Logics in Artificial Intelligence [Jürgen Dix, Luís Farias del Cerro and Ulrich Furbach, Editors], pp. 382-384.

1999

001 Erik Sandewall: An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus. Higher-Order and Symbolic Computation, Vol. 12, 1999, pp. 105-113.

2000

001 Patrick Doherty, Gösta Granlund, Krzystof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman and Johan Wiklund: The WITAS Unmanned Aerial Vehicle Project. Proc. of  14th European Conference on Artificial Intelligence 2000, Berlin, Germany, 20-25.8, 2000 [Werner Horn, Editor], pp. 747-755.

2001

001 Erik Sandewall: On the Design of Software Individuals. Electronic Transactions on Artificial Intelligence, Vol. 5, 2001, pp. B:143-160.

002 Erik Sandewall: Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems. Advances in Plan-Based Control of Robotic Agents [Michael Beetz, Joachim Hertzberg, Malik Ghallab and Martha Pollack, Editors], pp. 226-248.

2002

2003

001 Erik Sandewall: A Software Architecture for AI Systems Based on Self-Modifying Software Individuals. Proc. of  International Conference on LISP 2003, New York, NY, USA, 13-15 October, 2003.

002 Erik Sandewall, Patrick Doherty, Oliver Lemon and Stanley Peters: Real-time Dialogues with the WITAS Unmanned Aerial Vehicle. Proc. of  26th Annual German Conference on AI 2003, Hamburg, Germany, 15-18.9, 2003 [Andreas Günter, Editor], pp. 52-63.

003 Erik Sandewall: High-level Design of Web Servers in Allegro Common Lisp. Proc. of  International Conference on LISP 2003, New York, NY, USA, 13-15 October, 2003.

2004

2005

013 Erik Sandewall, Hannes Lindblom and Björn Husberg: Integration of Live Video in a System for Natural Language Dialog with a Robot. Proc. of Ninth Workshop on the Semantics and Pragmatics of Dialog (SemDial), Nancy, France, 9-11 June 2005.

014 Erik Sandewall: Actions as a Basic Concept in the Leonardo Computation System. Proc. of Workshop on Nonmonotonic Reasoning, Actions and Change. International Joint Conference on Artificial Intelligence, Edinburgh, August 2005.

2006

001 Erik Sandewall: Coordination of Actions in an Autonomous Robotic System. In: Reasoning, Action and Interaction in AI Theories and Systems [Oliviero Stock, Editor], pp. 177-191. Springer-Verlag, 2006.

003 Erik Sandewall: Systems: Opening up the process. Nature, Vol. 441, xi, 2006.

005 Erik Sandewall: From Systems to Logic in the Early Development of Nonmonotonic Reasoning. Research Article, CAISOR Archival Website, 2006, Number 2006-005.