Erik Sandewall

77 papers A* 20A 5B 1C 5Misc 2Journal 26Unranked 14
YearRankTypeTitle / Venue / Authors
2021 J jnl
Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral Beliefs.
Int. J. Soc. Robotics
Erik Sandewall
2014 J jnl
A perspective on the early history of artificial intelligence in Europe.
AI Commun.
Erik Sandewall
2013 — conf
The Leonardo System and Software Individuals.
ELS
Erik Sandewall
2012 J jnl
Maintaining Live Discussion in Two-Stage Open Peer Review.
Frontiers Comput. Neurosci.
Erik Sandewall
2011 J jnl
From systems to logic in the early development of nonmonotonic reasoning.
Artif. Intell.
Erik Sandewall
2011 — conf
Intelligent Software Individuals Based on the Leonardo System.
AAAI Fall Symposium: Advances in Cognitive Systems
Erik Sandewall
2010 J jnl
Defeasible inheritance with doubt index and its axiomatic characterization.
Artif. Intell.
Erik Sandewall
2008 J jnl
A review of the Handbook of Knowledge Representation.
Artif. Intell.
Erik Sandewall
2008 A* conf
Artificial Intelligence Needs Open-Access Knowledgebase Contents.
AAAI
Erik Sandewall
2008 J jnl
Extending the concept of publication: factbases and knowledgebases.
Learn. Publ.
Erik Sandewall
2006 — conf
Coordination of Actions in an Autonomous Robotic System.
Reasoning, Action and Interaction in AI Theories and Systems
Erik Sandewall
2005 C conf
External and Internal Autonomy in Software Systems.
ICINCO
Erik Sandewall
2003 Misc conf
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.
KI
Erik Sandewall, Patrick Doherty, Oliver Lemon, Stanley Peters
2001 C conf
Cellular Ontology as a Basis for Spatiotemporal Reasoning.
TIME
Erik Sandewall
2001 J jnl
On the Design of Software Individuals.
Electron. Trans. Artif. Intell.
Erik Sandewall
2001 — conf
Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems.
Advances in Plan-Based Control of Robotic Agents
Erik Sandewall
2000 J jnl
Review: M. Shanahan, Solving the Frame Problem.
Artif. Intell.
Erik Sandewall
2000 A conf
The WITAS Unmanned Aerial Vehicle Project.
ECAI
Patrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund
1999 J jnl
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.
High. Order Symb. Comput.
Erik Sandewall
1998 J jnl
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.
Electron. Trans. Artif. Intell.
Erik Sandewall
1998 A* conf
Logic Based Modelling of Goal-Directed Behavior.
KR
Erik Sandewall
1998 B conf
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events.
JELIA
Erik Sandewall
1997 J jnl
Logic-Based Modelling of Goal-Directed Behavior.
Electron. Trans. Artif. Intell.
Erik Sandewall
1997 J jnl
Publishing and Reviewing in the ETAI.
Electron. Trans. Artif. Intell.
Erik Sandewall
1997 — conf
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change.
HART
Erik Sandewall
1996 A* conf
Assessments of Ramification Methods that Use Static Domain Constraints.
KR
Erik Sandewall
1996 A conf
Getting Robots to Know Exactly What They Are Doing.
ECAI
Erik Sandewall
1996 J jnl
Towards a World-Wide Data Base.
Comput. Networks
Erik Sandewall
1996 C conf
Towards a World-Wide Knowledge Base.
ISMIS
Erik Sandewall
1996 J jnl
Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions.
AI Commun.
Erik Sandewall
1995 — ch.
Reasoning about Actions and Change with Ramification.
Computer Science Today
Erik Sandewall
1994 A* ed.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994.
KR
Jon Doyle, Erik Sandewall, Pietro Torasso
1994 J jnl
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia.
J. Log. Comput.
Erik Sandewall
1993 — ed.
Fourth Scandinavian Conference on Artificial Intelligence, SCAI 1993, Stockholm, Sweden, May 4-7, 1993.
SCAI
Erik Sandewall, Carl Gustaf Jansson
1993 Misc conf
Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other.
KI
Erik Sandewall
1993 C conf
Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents.
ISMIS
Erik Sandewall
1993 A* conf
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem.
IJCAI
Erik Sandewall
1992 J jnl
Knowledge-based systems, Lisp, and very high level implementation languages.
Knowl. Eng. Rev.
Erik Sandewall
1992 J jnl
Real-Time Hierarchical Control.
IEEE Softw.
Magnus Morin, Simin Nadjm-Tehrani, Per Österling, Erik Sandewall
1991 A* ed.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991.
KR
James F. Allen, Richard Fikes, Erik Sandewall
1990 A conf
PROMETHEUS Session.
ECAI
Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat
1990 A conf
Reasoning about the World as Perceived by an Agent.
ECAI
Erik Sandewall
1989 A* conf
Combining Logic and Differential Equations for Describing Real-World Systems.
KR
Erik Sandewall
1989 A* conf
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds.
IJCAI
Erik Sandewall
1989 — ed.
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings
NMR
Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall
1988 C conf
An Approach to Non-Monotonic Entailment.
ISMIS
Erik Sandewall
1988 A conf
Future Developments in Artificial Intelligence: A Personal View.
ECAI
Erik Sandewall
1988 — conf
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations.
NMR
Erik Sandewall
1987 A* conf
The Pipelining Transformation on Plans for Manufacturing Cells with Robots.
IJCAI
Erik Sandewall
1986 A* conf
A Representation of Action Structures.
AAAI
Erik Sandewall, Ralph Rönnquist
1986 — conf
Environments for the Development of Specifications (Panel).
IFIP Congress
Erik Sandewall
1986 J jnl
Nonmonotonic inference rules for multiple inheritance with exceptions.
Proc. IEEE
Erik Sandewall
1985 A* conf
A Functional Approach to Non-Monotonic Logic.
IJCAI
Erik Sandewall
1985 — conf
On Application-Oriented and Tool-Oriented Theories.
Foundations of Knowledge Base Management (Xania)
Erik Sandewall
1984 J jnl
Interactive programming environments.
ACM SIGSOFT Softw. Eng. Notes
David R. Barstow, Howard E. Shrobe, Erik Sandewall, Stephen W. Smoliar
1983 — ed.
Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982
ECICS
Pierpaolo Degano, Erik Sandewall
1983 — conf
Stepwise structuring: a style of life for flexible software.
AFIPS National Computer Conference
Erik Sandewall, Sture Hägglund, Christian Gustafsson, Lennat Jonesjö, Ola Strömfors
1982 — conf
Experience from computer supported prototyping for information flow in hospitals.
Rapid Prototyping
Hans Gill, Roland Lindvall, Olle Rosin, Erik Sandewall, Henrik Sörensen, Ove Wigertz
1982 A* conf
Unified Dialogue Management in the Carousel System.
POPL
Erik Sandewall
1981 A* conf
Software Architecture Based on Communicating Residential Environments.
ICSE
Erik Sandewall, Claes Strömberg, Henrik Sörensen
1980 — conf
A System of Communicating Residential Environments.
LISP Conference
Erik Sandewall, Henrik Sörensen, Claes Strömberg
1980 — conf
Provisions for flexibility in the Linköping office information system (LOIS).
AFIPS National Computer Conference
Erik Sandewall, Göran Hektor, Anders Ström, Claes Strömberg, Ola Strömfors, Henrik Sörensen, Jaak Urmi
1979 A* conf
A Description Language and Pilot-System Executive for Information-Transport Systems.
VLDB
Erik Sandewall
1979 A* conf
Biological Software.
IJCAI
Erik Sandewall
1978 J jnl
Programming in an Interactive Environment: the LISP Experience.
ACM Comput. Surv.
Erik Sandewall
1978 J jnl
Surveyor's Forum: Structured Editing with a LISP.
ACM Comput. Surv.
Erik Sandewall
1978 — conf
What Structure does a LISP Program have - besides being a set of Procedures?
AISB/GI (ECAI)
Erik Sandewall
1977 A* conf
Artificial Intelligence in Western Europe.
IJCAI
Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco
1976 J jnl
A Partial Evaluator, and its Use as a Programming Tool.
Artif. Intell.
Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall
1976 J jnl
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs.
IEEE Trans. Computers
Erik Sandewall
1975 A* conf
Ideas About Management Of LISP Data Bases.
IJCAI
Erik Sandewall
1973 A* conf
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.
IJCAI
Erik Sandewall
1971 A* conf
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base.
IJCAI
Erik Sandewall
1971 J jnl
Formal Methods in the Design of Question-Answering Systems.
Artif. Intell.
Erik Sandewall
1969 J jnl
A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees.
J. ACM
Erik Sandewall
1969 A* conf
Concepts and Methods for Heuristic Search.
IJCAI
Erik Sandewall
1968 — conf
LISP A: a lisp-like system for incremental computing.
AFIPS Spring Joint Computing Conference
Erik Sandewall