Erik Sandewall

Publication Activity (10 Years)

Years Active: 1968-2021
Publications (10 Years): 1

Top Topics

Software Application

Emotional State

Intelligent Machines

Top Venues

Int. J. Soc. Robotics

Publications

Erik Sandewall
Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral Beliefs. Int. J. Soc. Robotics 13 (4) (2021)
Erik Sandewall
A perspective on the early history of artificial intelligence in Europe. AI Commun. 27 (1) (2014)
Erik Sandewall
The Leonardo System and Software Individuals. ELS (2013)
Erik Sandewall
Maintaining Live Discussion in Two-Stage Open Peer Review. Frontiers Comput. Neurosci. 6 (2012)
Erik Sandewall
From systems to logic in the early development of nonmonotonic reasoning. Artif. Intell. 175 (1) (2011)
Erik Sandewall
Intelligent Software Individuals Based on the Leonardo System. AAAI Fall Symposium: Advances in Cognitive Systems (2011)
Erik Sandewall
Defeasible inheritance with doubt index and its axiomatic characterization. Artif. Intell. 174 (18) (2010)
Erik Sandewall
Extending the concept of publication: factbases and knowledgebases. Learn. Publ. 21 (2) (2008)
Erik Sandewall
Artificial Intelligence Needs Open-Access Knowledgebase Contents. AAAI (2008)
Erik Sandewall
A review of the Handbook of Knowledge Representation. Artif. Intell. 172 (18) (2008)
Erik Sandewall
Coordination of Actions in an Autonomous Robotic System. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Erik Sandewall
External and Internal Autonomy in Software Systems. ICINCO (2005)
Erik Sandewall, Patrick Doherty, Oliver Lemon, Stanley Peters
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract. KI (2003)
Erik Sandewall
Cellular Ontology as a Basis for Spatiotemporal Reasoning. TIME (2001)
Erik Sandewall
On the Design of Software Individuals. Electron. Trans. Artif. Intell. 5 (B) (2001)
Erik Sandewall
Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems. Advances in Plan-Based Control of Robotic Agents (2001)
Patrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund
The WITAS Unmanned Aerial Vehicle Project. ECAI (2000)
Erik Sandewall
Review: M. Shanahan, Solving the Frame Problem. Artif. Intell. 123 (1-2) (2000)
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) (1999)
Erik Sandewall
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Electron. Trans. Artif. Intell. 2 (1998)
Erik Sandewall
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. JELIA (1998)
Erik Sandewall
Logic Based Modelling of Goal-Directed Behavior. KR (1998)
Erik Sandewall
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. HART (1997)
Erik Sandewall
Publishing and Reviewing in the ETAI. Electron. Trans. Artif. Intell. 1 (1997)
Erik Sandewall
Logic-Based Modelling of Goal-Directed Behavior. Electron. Trans. Artif. Intell. 1 (1997)
Erik Sandewall
Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions. AI Commun. 9 (4) (1996)
Erik Sandewall
Towards a World-Wide Data Base. Comput. Networks 28 (7-11) (1996)
Erik Sandewall
Assessments of Ramification Methods that Use Static Domain Constraints. KR (1996)
Erik Sandewall
Getting Robots to Know Exactly What They Are Doing. ECAI (1996)
Erik Sandewall
Towards a World-Wide Knowledge Base. ISMIS (1996)
Erik Sandewall
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. J. Log. Comput. 4 (5) (1994)
Erik Sandewall
Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. ISMIS (1993)
Erik Sandewall
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. IJCAI (1993)
Erik Sandewall
Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other. KI (1993)
Erik Sandewall
Knowledge-based systems, Lisp, and very high level implementation languages. Knowl. Eng. Rev. 7 (2) (1992)
Magnus Morin, Simin Nadjm-Tehrani, Per Österling, Erik Sandewall
Real-Time Hierarchical Control. IEEE Softw. 9 (5) (1992)
Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat
PROMETHEUS Session. ECAI (1990)
Erik Sandewall
Reasoning about the World as Perceived by an Agent. ECAI (1990)
Erik Sandewall
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. IJCAI (1989)
Erik Sandewall
Combining Logic and Differential Equations for Describing Real-World Systems. KR (1989)
Erik Sandewall
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. NMR (1988)
Erik Sandewall
Future Developments in Artificial Intelligence: A Personal View. ECAI (1988)
Erik Sandewall
An Approach to Non-Monotonic Entailment. ISMIS (1988)
Erik Sandewall
The Pipelining Transformation on Plans for Manufacturing Cells with Robots. IJCAI (1987)
Erik Sandewall
Nonmonotonic inference rules for multiple inheritance with exceptions. Proc. IEEE 74 (10) (1986)
Erik Sandewall
Environments for the Development of Specifications (Panel). IFIP Congress (1986)
Erik Sandewall, Ralph Rönnquist
A Representation of Action Structures. AAAI (1986)
Erik Sandewall
On Application-Oriented and Tool-Oriented Theories. Foundations of Knowledge Base Management (Xania) (1985)
Erik Sandewall
A Functional Approach to Non-Monotonic Logic. IJCAI (1985)
David R. Barstow, Howard E. Shrobe, Erik Sandewall, Stephen W. Smoliar
Interactive programming environments. ACM SIGSOFT Softw. Eng. Notes 9 (4) (1984)
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)
Erik Sandewall
Unified Dialogue Management in the Carousel System. POPL (1982)
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)
Erik Sandewall, Claes Strömberg, Henrik Sörensen
Software Architecture Based on Communicating Residential Environments. ICSE (1981)
Erik Sandewall, Henrik Sörensen, Claes Strömberg
A System of Communicating Residential Environments. LISP Conference (1980)
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)
Erik Sandewall
Biological Software. IJCAI (1979)
Erik Sandewall
A Description Language and Pilot-System Executive for Information-Transport Systems. VLDB (1979)
Erik Sandewall
What Structure does a LISP Program have - besides being a set of Procedures? AISB/GI (ECAI) (1978)
Erik Sandewall
Surveyor's Forum: Structured Editing with a LISP. ACM Comput. Surv. 10 (4) (1978)
Erik Sandewall
Programming in an Interactive Environment: the LISP Experience. ACM Comput. Surv. 10 (1) (1978)
Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco
Artificial Intelligence in Western Europe. IJCAI (1977)
Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall
A Partial Evaluator, and its Use as a Programming Tool. Artif. Intell. 7 (4) (1976)
Erik Sandewall
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. IEEE Trans. Computers 25 (4) (1976)
Erik Sandewall
Ideas About Management Of LISP Data Bases. IJCAI (1975)
Erik Sandewall
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. IJCAI (1973)
Erik Sandewall
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base. IJCAI (1971)
Erik Sandewall
Formal Methods in the Design of Question-Answering Systems. Artif. Intell. 2 (2) (1971)
Erik Sandewall
A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees. J. ACM 16 (3) (1969)
Erik Sandewall
Concepts and Methods for Heuristic Search. IJCAI (1969)
Erik Sandewall
LISP A: a lisp-like system for incremental computing. AFIPS Spring Joint Computing Conference (1968)