| 2008 |
|---|
| 58 | | Erik Sandewall:
Artificial Intelligence Needs Open-Access Knowledgebase Contents.
AAAI 2008: 1602-1605 |
| 57 | EE | Erik Sandewall:
A review of the Handbook of Knowledge Representation.
Artif. Intell. 172(18): 1965-1966 (2008) |
| 2006 |
|---|
| 56 | EE | Erik Sandewall:
Coordination of Actions in an Autonomous Robotic System.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 177-191 |
| 2005 |
|---|
| 55 | | Erik Sandewall:
External and Internal Autonomy in Software Systems.
ICINCO 2005: 11 |
| 2003 |
|---|
| 54 | EE | Erik Sandewall,
Patrick Doherty,
Oliver Lemon,
S. Peters:
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.
KI 2003: 52-63 |
| 2001 |
|---|
| 53 | EE | 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 |
| 52 | EE | Erik Sandewall:
Cellular Ontology as a Basis for Spatiotemporal Reasoning.
TIME 2001: 3-4 |
| 51 | EE | Erik Sandewall:
On the Design of Software Individuals.
Electron. Trans. Artif. Intell. 5(B): 143-160 (2001) |
| 2000 |
|---|
| 50 | | 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 |
| 49 | EE | Erik Sandewall:
Review: M. Shanahan, Solving the Frame Problem.
Artif. Intell. 123(1-2): 271-273 (2000) |
| 1999 |
|---|
| 48 | | Erik Sandewall:
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.
Higher-Order and Symbolic Computation 12(1): 105-113 (1999) |
| 1998 |
|---|
| 47 | EE | Erik Sandewall:
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events.
JELIA 1998: 382-384 |
| 46 | | Erik Sandewall:
Logic Based Modelling of Goal-Directed Behavior.
KR 1998: 304-315 |
| 45 | EE | Erik Sandewall:
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.
Electron. Trans. Artif. Intell. 2: 307-329 (1998) |
| 1997 |
|---|
| 44 | | Erik Sandewall:
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change.
HART 1997: 3-17 |
| 43 | EE | Erik Sandewall:
Publishing and Reviewing in the ETAI.
Electron. Trans. Artif. Intell. 1: 1-12 (1997) |
| 42 | EE | Erik Sandewall:
Logic-Based Modelling of Goal-Directed Behavior.
Electron. Trans. Artif. Intell. 1: 105-128 (1997) |
| 1996 |
|---|
| 41 | | Erik Sandewall:
Getting Robots to Know Exactly What They Are Doing.
ECAI 1996: 707 |
| 40 | | Erik Sandewall:
Towards a World-Wide Knowledge Base.
ISMIS 1996: 50-55 |
| 39 | | Erik Sandewall:
Assessments of Ramification Methods that Use Static Domain Constraints.
KR 1996: 99-110 |
| 38 | | Erik Sandewall:
Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions.
AI Commun. 9(4): 214-224 (1996) |
| 37 | EE | Erik Sandewall:
Towards a World-Wide Data Base.
Computer Networks 28(7-11): 1513-1522 (1996) |
| 1995 |
|---|
| 36 | | Erik Sandewall:
Reasoning about Actions and Change with Ramification.
Computer Science Today 1995: 486-504 |
| 1994 |
|---|
| 35 | | Erik Sandewall:
The Range of Applicability of Some Non-monotonic Logics for Strict Inertia.
J. Log. Comput. 4(5): 581-615 (1994) |
| 1993 |
|---|
| 34 | | Erik Sandewall:
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem.
IJCAI 1993: 738-746 |
| 33 | | Erik Sandewall:
Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents.
ISMIS 1993: 558-570 |
| 32 | | Erik Sandewall:
Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other.
KI 1993: 107-124 |
| 1990 |
|---|
| 31 | | Erik Sandewall:
Reasoning about the World as Perceived by an Agent.
ECAI 1990: 579-584 |
| 30 | | Erik Sandewall,
Giovanni Adorni,
Hans-Hellmut Nagel,
Monique Thonnat:
PROMETHEUS Session.
ECAI 1990: 779-780 |
| 1989 |
|---|
| 29 | | Michael Reinfrank,
Johan de Kleer,
Matthew L. Ginsberg,
Erik Sandewall:
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings
Springer 1989 |
| 28 | | Erik Sandewall:
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds.
IJCAI 1989: 894-899 |
| 27 | | Erik Sandewall:
Combining Logic and Differential Equations for Describing Real-World Systems.
KR 1989: 412-420 |
| 1988 |
|---|
| 26 | | Erik Sandewall:
Future Developments in Artificial Intelligence: A Personal View.
ECAI 1988: 707-715 |
| 25 | | Erik Sandewall:
An Approach to Non-Monotonic Entailment.
ISMIS 1988: 391-397 |
| 24 | | Erik Sandewall:
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations.
NMR 1988: 27-41 |
| 1987 |
|---|
| 23 | | Erik Sandewall:
The Pipelining Transformation on Plans for Manufacturing Cells with Robots.
IJCAI 1987: 1055-1062 |
| 1986 |
|---|
| 22 | | Erik Sandewall,
Ralph Rönnquist:
A Representation of Action Structures.
AAAI 1986: 89-97 |
| 21 | | Erik Sandewall:
Environments for the Development of Specifications (Panel).
IFIP Congress 1986: 313-314 |
| 1985 |
|---|
| 20 | | Erik Sandewall:
On Application-Oriented and Tool-Oriented Theories.
Foundations of Knowledge Base Management (Xania) 1985: 505-513 |
| 19 | | Erik Sandewall:
A Functional Approach to Non-Monotonic Logic.
IJCAI 1985: 100-106 |
| 1982 |
|---|
| 18 | | Erik Sandewall:
Unified Dialogue Management in the Carousel System.
POPL 1982: 146-156 |
| 1981 |
|---|
| 17 | | Erik Sandewall,
Claes Strömberg,
Henrik Sörensen:
Software Architecture Based on Communicating Residential Environments.
ICSE 1981: 144-152 |
| 1980 |
|---|
| 16 | EE | 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 |
| 15 | | Erik Sandewall,
Henrik Sörensen,
Claes Strömberg:
A System of Communicating Residential Environments.
LISP Conference 1980: 82-89 |
| 1979 |
|---|
| 14 | EE | Erik Sandewall:
A Description Language and Pilot-System Executive for Information-Transport Systems.
VLDB 1979: 101-110 |
| 1978 |
|---|
| 13 | | Erik Sandewall:
What Structure does a LISP Program have - besides being a set of Procedures?
AISB/GI (ECAI) 1978: 298-303 |
| 12 | | Erik Sandewall:
Programming in an Interactive Environment: the LISP Experience.
ACM Comput. Surv. 10(1): 35-71 (1978) |
| 11 | | Erik Sandewall:
Surveyor's Forum: Structured Editing with a LISP.
ACM Comput. Surv. 10(4): 507-508 (1978) |
| 1977 |
|---|
| 10 | | 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 |
|---|
| 9 | | 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) |
| 8 | | Erik Sandewall:
Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs.
IEEE Trans. Computers 25(4): 342-346 (1976) |
| 1975 |
|---|
| 7 | | Erik Sandewall:
Ideas About Management Of LISP Data Bases.
IJCAI 1975: 585-592 |
| 1973 |
|---|
| 6 | | Erik Sandewall:
Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.
IJCAI 1973: 230-234 |
| 1971 |
|---|
| 5 | | Erik Sandewall:
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base.
IJCAI 1971: 159-166 |
| 4 | | Erik Sandewall:
Formal Methods in the Design of Question-Answering Systems.
Artif. Intell. 2(2): 129-145 (1971) |
| 1969 |
|---|
| 3 | | Erik Sandewall:
Concepts and Methods for Heuristic Search.
IJCAI 1969: 199-218 |
| 2 | EE | Erik Sandewall:
A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees.
J. ACM 16(3): 364-382 (1969) |
| 1968 |
|---|
| 1 | EE | Erik Sandewall:
LISP A: a lisp-like system for incremental computing.
AFIPS Spring Joint Computing Conference 1968: 375-384 |
