Allowing that the acronym changed occasionally over the decades, this is my collection of Sandewall’s software-individual generated webpage, which survived him. However, it is somewhat hard to find everything that is there. When I took on the mantle of Sandewall’s Leonardo System magnum opus and successfully finished porting its 2014 release to GNU C Lisp, I did my best to collect all the bits from the site, including those which were hard to find using a hodgepodge of ad hoc automation to collect odd bits and pieces.
I would like to point out how great 60s-70s computer scientists are seen to have been at computing, excelling modern standards and expectations even in decades that were thousands or billions of times more computationally resource-poor. You can see Sandewall’s own sole-authored academic history in contrast to the topics his post-2000 research group attached, while in a real sense on-his-own authoring his seminal Leonardo system.
I got cut-off for me being a robot by the academic search website I was using (in the only step of this document besides my words I did by hand, oddly enough). Sandewall was an expert in open access, so I believe his robot that claimed these were the open access articles in his bibliography.
I sought to preserve rare content if at all possible, so when multiple draft versions, or even identical uploads of the same document were available, I attempted to collect all of them. For example the document that is the first sentence of a later, complete document with “JOHN” overwrote into the sentence and nothing else. Further, exam question examples, lab assignments in various years and states of revision, written descriptions of a diagram separate to the actual diagram. The links were discovered by me through explorations around https://www.ida.liu.se/ext/caisor/ .
The key open access 2014 book manuscripts of Artificial Intelligence and the Design of Cognitive Systems are:
Mastodon thread for discussing this here (this is a long list; I’m not putting anything at the end).
EDIT: Note I had to compress all the PDFs so please read the links as links into the compressed tarball. Sorry about that!
Sandewall E. From systems to logic in the early development of nonmonotonic reasoning. Artificial intelligence. 2011 Jan 1;175(1):416-27.
@article{sandewall2011systems,
title={From systems to logic in the early development of nonmonotonic reasoning},
author={Sandewall, Erik},
journal={Artificial intelligence},
volume={175},
number={1},
pages={416--427},
year={2011},
publisher={Elsevier}
}
Sandewall E. Defeasible inheritance with doubt index and its axiomatic characterization. Artificial Intelligence. 2010 Dec 1;174(18):1431-59.
@article{sandewall2010defeasible,
title={Defeasible inheritance with doubt index and its axiomatic characterization},
author={Sandewall, Erik},
journal={Artificial Intelligence},
volume={174},
number={18},
pages={1431--1459},
year={2010},
publisher={Elsevier}
}
;_;
codeberg.org/screwlisp/pawn-75/src/branch/main/unsrt/Additional material for lab 2b extra.pdfSandewall EJ. Ambiguity logic as a basis for an incremental computer. Uppsala University; 1967.
@book{sandewall1967ambiguity,
title={Ambiguity logic as a basis for an incremental computer},
author={Sandewall, Erik J},
year={1967},
publisher={Uppsala University}
}
;_;
Sandewall EJ. An environment for an artificial intelligence. Uppsala University; 1967.
@book{sandewall1967environment,
title={An environment for an artificial intelligence},
author={Sandewall, Erik J},
year={1967},
publisher={Uppsala University}
}
Sandewall EJ. LISP A: A lisp-like system for incremental computing. InProceedings of the April 30–May 2, 1968, spring joint computer conference 1968 Apr 30 (pp. 375-384).
@inproceedings{sandewall1968lisp,
title={LISP A: A lisp-like system for incremental computing},
author={Sandewall, Erik J},
booktitle={Proceedings of the April 30--May 2, 1968, spring joint computer conference},
pages={375--384},
year={1968}
}
Sandewall EJ. CONCEPTS MD METHODS FOR HEURISTIC SEARCH.
@article{sandewall1969concepts,
title={CONCEPTS MD METHODS FOR HEURISTIC SEARCH},
author={Sandewall, Erik J},
year={1969}
}
Sandewall EJ. A formal notation that re-expresses natural language sentence structure. Report Dept. Comput. Science, University of Uppsala. 1968.
@article{sandewall1968formal,
title={A formal notation that re-expresses natural language sentence structure. Report Dept. Comput},
author={Sandewall, EJ},
journal={Science, University of Uppsala},
year={1968}
}
Sandewall E. Use of ambiguity logic in the picture description language. Technical Report 52, Stanford Linear Accelerator Center, GSG Group; 1968 Dec.
@techreport{sandewall1968use,
title={Use of ambiguity logic in the picture description language},
author={Sandewall, Erik},
year={1968},
institution={Technical Report 52, Stanford Linear Accelerator Center, GSG Group}
}
Sandewall EJ. A planning problem solver based on look-ahead in stochastic game trees. Journal of the ACM (JACM). 1969 Jul 1;16(3):364-82.
@article{sandewall1969planning,
title={A planning problem solver based on look-ahead in stochastic game trees},
author={Sandewall, Erik J},
journal={Journal of the ACM (JACM)},
volume={16},
number={3},
pages={364--382},
year={1969},
publisher={ACM New York, NY, USA}
}
Sandewall EJ. A property-list representation for certain formulas in predicate calculus. Computer Science Department, Uppsala University; 1969.
@book{sandewall1969property,
title={A property-list representation for certain formulas in predicate calculus},
author={Sandewall, Erik J},
year={1969},
publisher={Computer Science Department, Uppsala University}
}
Sandewall EJ. A property-list representation for certain formulas in predicate calculus. Report Dept. Comput. Science, University of Uppsala. 1969.
@article{sandewall1969property,
title={A property-list representation for certain formulas in predicate calculus. Report Dept. Comput},
author={Sandewall, EJ},
journal={Science, University of Uppsala},
year={1969}
}
Groth T, Schneider W, Sandewall E, Vuille JC. Computer simulation of ferrokinetic models. Computer Programs in Biomedicine. 1970 Jun 1;1(2):90-104.
@article{groth1970computer,
title={Computer simulation of ferrokinetic models},
author={Groth, Torgny and Schneider, Werner and Sandewall, Erik and Vuille, Jean-Claude},
journal={Computer Programs in Biomedicine},
volume={1},
number={2},
pages={90--104},
year={1970},
publisher={Elsevier}
}
Sandewall EJ. A set-oriented property-structure representation for binary relations. Machine Intelligence. 1970;5:237-52.
@article{sandewall1970set,
title={A set-oriented property-structure representation for binary relations},
author={Sandewall, EJ},
journal={Machine Intelligence},
volume={5},
pages={237--252},
year={1970}
}
Sandewall EJ. Representing natural-language information in predicate calculus. 1970 Jul 1.
@techreport{sandewall1970representing,
title={Representing natural-language information in predicate calculus},
author={Sandewall, Erik J},
year={1970}
}
;_;
Sandewall E. Formal methods in the design of question-answering systems. Artificial Intelligence. 1971 Sep 1;2(2):129-45.
@article{sandewall1971formal,
title={Formal methods in the design of question-answering systems},
author={Sandewall, Erik},
journal={Artificial Intelligence},
volume={2},
number={2},
pages={129--145},
year={1971},
publisher={Elsevier}
}
Sandewall EJ. Representing natural-language information in predicate calculus. 1970 Jul 1.
@techreport{sandewall1970representing,
title={Representing natural-language information in predicate calculus},
author={Sandewall, Erik J},
year={1970}
}
Sandewall E. A programming tool for management of a predicate-calculus-oriented data base. InIJCAI 1971 Sep 1 (pp. 159-166).
@inproceedings{sandewall1971programming,
title={A programming tool for management of a predicate-calculus-oriented data base},
author={Sandewall, Erik},
booktitle={IJCAI},
pages={159--166},
year={1971}
}
Sandewall E. A proposed solution to the FUNARG problem. ACM SIGSAM Bulletin. 1971 Jan 1(17):29-42.
@article{sandewall1971proposed,
title={A proposed solution to the FUNARG problem},
author={Sandewall, Erik},
journal={ACM SIGSAM Bulletin},
number={17},
pages={29--42},
year={1971},
publisher={ACM New York, NY, USA}
}
Sandewall E. Heuristic search: Concepts and methods. Artificial Intelligence and Heuristic Programming. 1971.
@article{sandewall1971heuristic,
title={Heuristic search: Concepts and methods},
author={Sandewall, Erik},
journal={Artificial Intelligence and Heuristic Programming},
year={1971}
}
;_;
;_;
[An Approach to the Frame Problem, and its Implementation](https://codeberg.org/screwlisp/pawn-75/src/branch/main/unsrt/caisor-1972-001 (1).pdf)Sandewall E. An approach to the frame problem and its implementation. Machine intelligence. 1972;7(195-204):11-9.
@article{sandewall1972approach,
title={An approach to the frame problem and its implementation},
author={Sandewall, Erik},
journal={Machine intelligence},
volume={7},
number={195-204},
pages={11--19},
year={1972},
publisher={Edinburgh University Press}
}
Sandewall E. An approach to the frame problem and its implementation. Machine intelligence. 1972;7(195-204):11-9.
@article{sandewall1972approach,
title={An approach to the frame problem and its implementation},
author={Sandewall, Erik},
journal={Machine intelligence},
volume={7},
number={195-204},
pages={11--19},
year={1972},
publisher={Edinburgh University Press}
}
Sandewall EJ. Some examples of disambiguation through deduction. Uppsala University; 1973.
@book{sandewall1973some,
title={Some examples of disambiguation through deduction},
author={Sandewall, Erik J},
year={1973},
publisher={Uppsala University}
}
;_;
Sandewall E. Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs. InProceedings of the 3rd international joint conference on Artificial intelligence 1973 Aug 20 (pp. 230-234).
@inproceedings{sandewall1973conversion,
title={Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs},
author={Sandewall, Erik},
booktitle={Proceedings of the 3rd international joint conference on Artificial intelligence},
pages={230--234},
year={1973}
}
;_;
;_;
Sandewall E. Ideas about management of LISP data bases.
@article{sandewall1975ideas,
title={Ideas about management of LISP data bases},
author={Sandewall, Erik},
year={1975}
}
Beckman L, Haraldson A, Oskarsson Ö, Sandewall E. A partial evaluator, and its use as a programming tool. Artificial Intelligence. 1976 Dec 1;7(4):319-57.
@article{beckman1976partial,
title={A partial evaluator, and its use as a programming tool},
author={Beckman, Lennart and Haraldson, Anders and Oskarsson, {"O}sten and Sandewall, Erik},
journal={Artificial Intelligence},
volume={7},
number={4},
pages={319--357},
year={1976},
publisher={Elsevier}
}
Sandewall. Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. IEEE Transactions on Computers. 1976 Apr 30;100(4):342-6.
@article{sandewall1976conversion,
title={Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs},
author={Sandewall},
journal={IEEE Transactions on Computers},
volume={100},
number={4},
pages={342--346},
year={1976},
publisher={IEEE}
}
Sandewall E. Some observations on conceptual programming. Machine Intelligence. 1977;8:223-65.
@article{sandewall1977some,
title={Some observations on conceptual programming},
author={Sandewall, Erik},
journal={Machine Intelligence},
volume={8},
pages={223--65},
year={1977},
publisher={John Wiley New York}
}
Pitrat J, Sandewall E, Bibel W, Huet GP, Nagel HH, Somalivco M. Artificial Intelligence in Western Europe. InIJCAI 1977 Aug 22 (pp. 955-969).
@inproceedings{pitrat1977artificial,
title={Artificial Intelligence in Western Europe.},
author={Pitrat, Jacques and Sandewall, Erik and Bibel, Wolfgang and Huet, G{'e}rard P and Nagel, Hans-Hellmut and Somalivco, M},
booktitle={IJCAI},
pages={955--969},
year={1977}
}
Sandewall E. Programming in an Interactive Environment: the``Lisp’'Experience. ACM Computing Surveys (CSUR). 1978 Mar 1;10(1):35-71.
@article{sandewall1978programming,
title={Programming in an Interactive Environment: the``Lisp''Experience},
author={Sandewall, Erik},
journal={ACM Computing Surveys (CSUR)},
volume={10},
number={1},
pages={35--71},
year={1978},
publisher={ACM New York, NY, USA}
}
Sandewall E. What structure does a LISP program have-besides being a set of procedures?. InAISB/GI (ECAI) 1978 Jul 18 (pp. 298-303).
@inproceedings{sandewall1978structure,
title={What structure does a LISP program have-besides being a set of procedures?},
author={Sandewall, Erik},
booktitle={AISB/GI (ECAI)},
pages={298--303},
year={1978}
}
Sandewall E. Biological software. InProceedings of the 6th international joint conference on Artificial intelligence-Volume 2 1979 Aug 20 (pp. 744-747).
@inproceedings{sandewall1979biological,
title={Biological software},
author={Sandewall, Erik},
booktitle={Proceedings of the 6th international joint conference on Artificial intelligence-Volume 2},
pages={744--747},
year={1979}
}
Sandewall E. A Description Language And Pilot-System. Executive For Information-Transport Systems. InFifth International Conference on Very Large Data Bases, 1979. 1979 Oct 3 (pp. 101-110). IEEE.
@inproceedings{sandewall1979description,
title={A Description Language And Pilot-System. Executive For Information-Transport Systems},
author={Sandewall, Erik},
booktitle={Fifth International Conference on Very Large Data Bases, 1979.},
pages={101--110},
year={1979},
organization={IEEE}
}
;_;
Sandewall E, Hektor G, Ström A, Strömberg C, Strömfors O, Sörensen H, Urmi J. Provisions for flexibility in the Linköping office information system (LOIS). InProceedings of the May 19-22, 1980, national computer conference 1980 May 19 (pp. 569-577).
@inproceedings{sandewall1980provisions,
title={Provisions for flexibility in the Link{"o}ping office information system (LOIS)},
author={Sandewall, Erik and Hektor, G{"o}ran and Str{"o}m, Anders and Str{"o}mberg, Claes and Str{"o}mfors, Ola and S{"o}rensen, Henrik and Urmi, Jaak},
booktitle={Proceedings of the May 19-22, 1980, national computer conference},
pages={569--577},
year={1980}
}
Sandewall E, Sörensen H, Strömberg C. A system of communicating residential environments. InProceedings of the 1980 ACM conference on LISP and functional programming 1980 Aug 25 (pp. 82-89).
@inproceedings{sandewall1980system,
title={A system of communicating residential environments},
author={Sandewall, Erik and S{"o}rensen, Henrik and Str{"o}mberg, Claes},
booktitle={Proceedings of the 1980 ACM conference on LISP and functional programming},
pages={82--89},
year={1980}
}
Elfström J, Gillquist J, Holmgren H, Hägglund S, Rosin O, Wigertz O. Л CUSTOMIZED PROGRAMMING ENVIRONMENT FOR PATIENT MANAGEMENT SIMULATIONS.
@article{elfstrom1980л,
title={Л CUSTOMIZED PROGRAMMING ENVIRONMENT FOR PATIENT MANAGEMENT SIMULATIONS},
author={Elfstr{"o}m, Johan and Gillquist, Jan and Holmgren, Hans and H{"a}gglund, Sture and Rosin, Olle and Wigertz, Ove},
year={1980}
}
Sandewall E, Strömberg C, Sörensen H. Software architecture based on communicating residential environments. Software Systems Research Center, Univ.; 1981 Mar 9.
@book{sandewall1981software,
title={Software architecture based on communicating residential environments},
author={Sandewall, Erik and Str{"o}mberg, Claes and S{"o}rensen, Henrik},
year={1981},
publisher={Software Systems Research Center, Univ.}
}
Sandewall E. Unified dialogue management in the carousel system. InProceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages 1982 Jan 25 (pp. 146-156).
@inproceedings{sandewall1982unified,
title={Unified dialogue management in the carousel system},
author={Sandewall, Erik},
booktitle={Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
pages={146--156},
year={1982}
}
Sandewall E, Hägglund S, Gustafsson C, Jonesjö L, Strömfors O. Stepwise structuring: A style of life for flexible software. InProceedings of the May 16-19, 1983, national computer conference 1983 May 16 (pp. 65-72).
@inproceedings{sandewall1983stepwise,
title={Stepwise structuring: A style of life for flexible software},
author={Sandewall, Erik and H{"a}gglund, Sture and Gustafsson, Christian and Jonesj{"o}, Lennat and Str{"o}mfors, Ola},
booktitle={Proceedings of the May 16-19, 1983, national computer conference},
pages={65--72},
year={1983}
}
Sandewall E. Formal specification and implementation of operations in information management systems. Linkoeping Univ.(Sweden). Matematiska Institutionen; 1983.
@techreport{sandewall1983formal,
title={Formal specification and implementation of operations in information management systems},
author={Sandewall, Erik},
year={1983},
institution={Linkoeping Univ.(Sweden). Matematiska Institutionen}
}
Sandewall E. A functional approach to non‐monotonic logic 1. Computational Intelligence. 1985 Jan;1(1):80-7.
@article{sandewall1985functional,
title={A functional approach to non-monotonic logic 1},
author={Sandewall, Erik},
journal={Computational Intelligence},
volume={1},
number={1},
pages={80--87},
year={1985},
publisher={Wiley Online Library}
}
Sandewall E. Systems development environments. Intelligent Machinery: Theory and Practice. 1986.
@article{sandewall1986systems,
title={Systems development environments},
author={Sandewall, Erik},
journal={Intelligent Machinery: Theory and Practice},
year={1986},
publisher={Cambridge University Press}
}
;_;
Sandewall E, Rönnquist R. A representation of action structures. Universitetet i Linköping/Tekniska Högskolan i Linköping. Institutionen för Datavetenskap; 1986 Aug 11.
@book{sandewall1986representation,
title={A representation of action structures},
author={Sandewall, Erik and R{"o}nnquist, Ralph},
year={1986},
publisher={Universitetet i Link{"o}ping/Tekniska H{"o}gskolan i Link{"o}ping. Institutionen f{"o}r~…}
}
;_;
Sandewall E. The Pipelining Transformation on Plans for Manufacturing Cells with Robots. InIJCAI 1987 Aug 23 (pp. 1055-1062).
@inproceedings{sandewall1987pipelining,
title={The Pipelining Transformation on Plans for Manufacturing Cells with Robots.},
author={Sandewall, Erik},
booktitle={IJCAI},
pages={1055--1062},
year={1987}
}