Erik Sandewall Programming in an Interactive Environment: the LISP Experience. [Citation Graph (2, 0)][DBLP] ACM Comput. Surv., 1978, v:10, n:1, pp:35-71 [Journal]
Erik Sandewall A Description Language and Pilot-System Executive for Information-Transport Systems. [Citation Graph (1, 7)][DBLP] VLDB, 1979, pp:101-110 [Conf]
Erik Sandewall Coordination of Actions in an Autonomous Robotic System. [Citation Graph (0, 0)][DBLP] Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:177-191 [Conf]
Erik Sandewall Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems. [Citation Graph (0, 0)][DBLP] Advances in Plan-Based Control of Robotic Agents, 2001, pp:226-248 [Conf]
Erik Sandewall On Application-Oriented and Tool-Oriented Theories. [Citation Graph (0, 0)][DBLP] Foundations of Knowledge Base Management (Xania), 1985, pp:505-513 [Conf]
Erik Sandewall What Structure does a LISP Program have - besides being a set of Procedures? [Citation Graph (0, 0)][DBLP] AISB/GI (ECAI), 1978, pp:298-303 [Conf]
Erik Sandewall Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. [Citation Graph (0, 0)][DBLP] HART, 1997, pp:3-17 [Conf]
Erik Sandewall A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base. [Citation Graph (0, 0)][DBLP] IJCAI, 1971, pp:159-166 [Conf]
Erik Sandewall Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs. [Citation Graph (0, 0)][DBLP] IJCAI, 1973, pp:230-234 [Conf]
Erik Sandewall The Pipelining Transformation on Plans for Manufacturing Cells with Robots. [Citation Graph (0, 0)][DBLP] IJCAI, 1987, pp:1055-1062 [Conf]
Erik Sandewall Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. [Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:894-899 [Conf]
Erik Sandewall The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. [Citation Graph (0, 0)][DBLP] IJCAI, 1993, pp:738-746 [Conf]
Erik Sandewall Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. [Citation Graph (0, 0)][DBLP] ISMIS, 1993, pp:558-570 [Conf]
Erik Sandewall The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. [Citation Graph (0, 0)][DBLP] JELIA, 1998, pp:382-384 [Conf]
Erik Sandewall Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other. [Citation Graph (0, 0)][DBLP] KI, 1993, pp:107-124 [Conf]
Erik Sandewall The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. [Citation Graph (0, 0)][DBLP] NMR, 1988, pp:27-41 [Conf]
Erik Sandewall Formal Methods in the Design of Question-Answering Systems. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1971, v:2, n:2, pp:129-145 [Journal]
Erik Sandewall Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions. [Citation Graph (0, 0)][DBLP] AI Commun., 1996, v:9, n:4, pp:214-224 [Journal]
Erik Sandewall Logic-Based Modelling of Goal-Directed Behavior. [Citation Graph (0, 0)][DBLP] Electron. Trans. Artif. Intell., 1997, v:1, n:, pp:105-128 [Journal]
Erik Sandewall Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. [Citation Graph (0, 0)][DBLP] Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:307-329 [Journal]
Erik Sandewall A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees. [Citation Graph (0, 0)][DBLP] J. ACM, 1969, v:16, n:3, pp:364-382 [Journal]
Erik Sandewall An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 1999, v:12, n:1, pp:105-113 [Journal]
Erik Sandewall The Range of Applicability of Some Non-monotonic Logics for Strict Inertia. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1994, v:4, n:5, pp:581-615 [Journal]
Erik Sandewall Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1976, v:25, n:4, pp:342-346 [Journal]