default search action
Erik Sandewall
Person information
- affiliation: Linköping University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j26]Erik Sandewall
:
Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral Beliefs. Int. J. Soc. Robotics 13(4): 557-567 (2021)
2010 – 2019
- 2014
- [j25]Erik Sandewall:
A perspective on the early history of artificial intelligence in Europe. AI Commun. 27(1): 81-86 (2014) - 2013
- [c45]Erik Sandewall:
The Leonardo System and Software Individuals. ELS 2013: 18-24 - 2012
- [j24]Erik Sandewall:
Maintaining Live Discussion in Two-Stage Open Peer Review. Frontiers Comput. Neurosci. 6: 9 (2012) - 2011
- [j23]Erik Sandewall:
From systems to logic in the early development of nonmonotonic reasoning. Artif. Intell. 175(1): 416-427 (2011) - [c44]Erik Sandewall:
Intelligent Software Individuals Based on the Leonardo System. AAAI Fall Symposium: Advances in Cognitive Systems 2011 - 2010
- [j22]Erik Sandewall:
Defeasible inheritance with doubt index and its axiomatic characterization. Artif. Intell. 174(18): 1431-1459 (2010)
2000 – 2009
- 2008
- [j21]Erik Sandewall:
A review of the Handbook of Knowledge Representation. Artif. Intell. 172(18): 1965-1966 (2008) - [j20]Erik Sandewall:
Extending the concept of publication: factbases and knowledgebases. Learn. Publ. 21(2): 123-131 (2008) - [c43]Erik Sandewall:
Artificial Intelligence Needs Open-Access Knowledgebase Contents. AAAI 2008: 1602-1605 - 2006
- [c42]Erik Sandewall:
Coordination of Actions in an Autonomous Robotic System. Reasoning, Action and Interaction in AI Theories and Systems 2006: 177-191 - 2005
- [c41]Erik Sandewall:
External and Internal Autonomy in Software Systems. ICINCO 2005: 11 - 2003
- [c40]Erik Sandewall, Patrick Doherty, Oliver Lemon
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract. KI 2003: 52-63 - 2001
- [j19]Erik Sandewall:
On the Design of Software Individuals. Electron. Trans. Artif. Intell. 5(B): 143-160 (2001) - [c39]Erik 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 - [c38]Erik Sandewall:
Cellular Ontology as a Basis for Spatiotemporal Reasoning. TIME 2001: 3-4 - 2000
- [j18]Erik Sandewall:
Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123(1-2): 271-273 (2000) - [c37]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
1990 – 1999
- 1999
- [j17]Erik Sandewall:
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus. High. Order Symb. Comput. 12(1): 105-113 (1999) - 1998
- [j16]Erik Sandewall:
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Electron. Trans. Artif. Intell. 2: 307-329 (1998) - [c36]Erik Sandewall:
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. JELIA 1998: 382-384 - [c35]Erik Sandewall:
Logic Based Modelling of Goal-Directed Behavior. KR 1998: 304-315 - 1997
- [j15]Erik Sandewall:
Publishing and Reviewing in the ETAI. Electron. Trans. Artif. Intell. 1: 1-12 (1997) - [j14]Erik Sandewall:
Logic-Based Modelling of Goal-Directed Behavior. Electron. Trans. Artif. Intell. 1: 105-128 (1997) - [c34]Erik Sandewall:
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. HART 1997: 3-17 - 1996
- [j13]Erik Sandewall:
Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions. AI Commun. 9(4): 214-224 (1996) - [j12]Erik Sandewall:
Towards a World-Wide Data Base. Comput. Networks 28(7-11): 1513-1522 (1996) - [c33]Erik Sandewall:
Getting Robots to Know Exactly What They Are Doing. ECAI 1996: 707 - [c32]Erik Sandewall:
Towards a World-Wide Knowledge Base. ISMIS 1996: 50-55 - [c31]Erik Sandewall:
Assessments of Ramification Methods that Use Static Domain Constraints. KR 1996: 99-110 - 1995
- [p1]Erik Sandewall:
Reasoning about Actions and Change with Ramification. Computer Science Today 1995: 486-504 - 1994
- [j11]Erik Sandewall:
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. J. Log. Comput. 4(5): 581-615 (1994) - [e5]Jon Doyle, Erik Sandewall, Pietro Torasso:
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994. Morgan Kaufmann 1994, ISBN 1-55860-328-X [contents] - 1993
- [c30]Erik Sandewall:
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. IJCAI 1993: 738-746 - [c29]Erik Sandewall:
Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. ISMIS 1993: 558-570 - [c28]Erik Sandewall:
Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other. KI 1993: 107-124 - [e4]Erik Sandewall, Carl Gustaf Jansson:
Fourth Scandinavian Conference on Artificial Intelligence, SCAI 1993, Stockholm, Sweden, May 4-7, 1993. Frontiers in Artificial Intelligence and Applications 18, IOS Press 1993, ISBN 90-5199-134-7 [contents] - 1992
- [j10]Erik Sandewall:
Knowledge-based systems, Lisp, and very high level implementation languages. Knowl. Eng. Rev. 7(2): 147-155 (1992) - [j9]Magnus Morin, Simin Nadjm-Tehrani, Per Österling, Erik Sandewall:
Real-Time Hierarchical Control. IEEE Softw. 9(5): 51-57 (1992) - 1991
- [e3]James F. Allen, Richard Fikes, Erik Sandewall:
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991. Morgan Kaufmann 1991, ISBN 1-55860-165-1 [contents] - 1990
- [c27]Erik Sandewall:
Reasoning about the World as Perceived by an Agent. ECAI 1990: 579-584 - [c26]Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat:
PROMETHEUS Session. ECAI 1990: 779-780
1980 – 1989
- 1989
- [c25]Erik Sandewall:
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. IJCAI 1989: 894-899 - [c24]Erik Sandewall:
Combining Logic and Differential Equations for Describing Real-World Systems. KR 1989: 412-420 - [e2]Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall:
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings. Lecture Notes in Computer Science 346, Springer 1989, ISBN 3-540-50701-9 [contents] - 1988
- [c23]Erik Sandewall:
Future Developments in Artificial Intelligence: A Personal View. ECAI 1988: 707-715 - [c22]Erik Sandewall:
An Approach to Non-Monotonic Entailment. ISMIS 1988: 391-397 - [c21]Erik Sandewall:
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. NMR 1988: 27-41 - 1987
- [c20]Erik Sandewall:
The Pipelining Transformation on Plans for Manufacturing Cells with Robots. IJCAI 1987: 1055-1062 - 1986
- [j8]Erik Sandewall:
Nonmonotonic inference rules for multiple inheritance with exceptions. Proc. IEEE 74(10): 1345-1353 (1986) - [c19]Erik Sandewall, Ralph Rönnquist:
A Representation of Action Structures. AAAI 1986: 89-97 - [c18]Erik Sandewall:
Environments for the Development of Specifications (Panel). IFIP Congress 1986: 313-314 - 1985
- [c17]Erik Sandewall:
On Application-Oriented and Tool-Oriented Theories. Foundations of Knowledge Base Management (Xania) 1985: 505-513 - [c16]Erik Sandewall:
A Functional Approach to Non-Monotonic Logic. IJCAI 1985: 100-106 - 1984
- [j7]David R. Barstow, Howard E. Shrobe, Erik Sandewall, Stephen W. Smoliar:
Interactive programming environments. ACM SIGSOFT Softw. Eng. Notes 9(4): 56-58 (1984) - 1983
- [c15]Erik Sandewall, Sture Hägglund, Christian Gustafsson, Lennat Jonesjö, Ola Strömfors:
Stepwise structuring: a style of life for flexible software. AFIPS National Computer Conference 1983: 65-72 - [e1]Pierpaolo Degano, Erik Sandewall:
Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982. North-Holland 1983, ISBN 0-444-86595-0 [contents] - 1982
- [c14]Erik Sandewall:
Unified Dialogue Management in the Carousel System. POPL 1982: 146-156 - [c13]Hans Gill, Roland Lindvall, Olle Rosin, Erik Sandewall, Henrik Sörensen, Ove Wigertz:
Experience from computer supported prototyping for information flow in hospitals. Rapid Prototyping 1982: 67-70 - 1981
- [c12]Erik Sandewall, Claes Strömberg, Henrik Sörensen:
Software Architecture Based on Communicating Residential Environments. ICSE 1981: 144-152 - 1980
- [c11]Erik 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 - [c10]Erik Sandewall, Henrik Sörensen, Claes Strömberg:
A System of Communicating Residential Environments. LISP Conference 1980: 82-89
1970 – 1979
- 1979
- [c9]Erik Sandewall:
Biological Software. IJCAI 1979: 744-747 - [c8]Erik Sandewall:
A Description Language and Pilot-System Executive for Information-Transport Systems. VLDB 1979: 101-110 - 1978
- [j6]Erik Sandewall:
Programming in an Interactive Environment: the LISP Experience. ACM Comput. Surv. 10(1): 35-71 (1978) - [j5]Erik Sandewall:
Surveyor's Forum: Structured Editing with a LISP. ACM Comput. Surv. 10(4): 507-508 (1978) - [c7]Erik Sandewall:
What Structure does a LISP Program have - besides being a set of Procedures? AISB/GI (ECAI) 1978: 298-303 - 1977
- [c6]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
- [j4]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) - [j3]Erik Sandewall:
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. IEEE Trans. Computers 25(4): 342-346 (1976) - 1975
- [c5]Erik Sandewall:
Ideas About Management Of LISP Data Bases. IJCAI 1975: 585-592 - 1973
- [c4]Erik Sandewall:
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. IJCAI 1973: 230-234 - 1971
- [j2]Erik Sandewall:
Formal Methods in the Design of Question-Answering Systems. Artif. Intell. 2(2): 129-145 (1971) - [c3]Erik Sandewall:
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base. IJCAI 1971: 159-166
1960 – 1969
- 1969
- [j1]Erik Sandewall:
A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees. J. ACM 16(3): 364-382 (1969) - [c2]Erik Sandewall:
Concepts and Methods for Heuristic Search. IJCAI 1969: 199-218 - 1968
- [c1]Erik Sandewall:
LISP A: a lisp-like system for incremental computing. AFIPS Spring Joint Computing Conference 1968: 375-384
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: