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.
|