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).
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/tfw/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/tfw/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}
}