Erik Sandewall - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 72 from 72

2021

Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral BeliefsErik Sandewall. ijsr, 13(4):557-567, 2021. [doi]

2014

A perspective on the early history of artificial intelligence in EuropeErik Sandewall. aicom, 27(1):81-86, 2014. [doi]

2013

The Leonardo System and Software IndividualsErik Sandewall. els 2013: 18-24 [doi]

2012

Maintaining Live Discussion in Two-Stage Open Peer ReviewErik Sandewall. ficn, 2012:9, 2012. [doi]

2011

From systems to logic in the early development of nonmonotonic reasoningErik Sandewall. ai, 175(1):416-427, 2011. [doi]

Intelligent Software Individuals Based on the Leonardo SystemErik Sandewall. aaaifs 2011: [doi]

2010

Defeasible inheritance with doubt index and its axiomatic characterizationErik Sandewall. ai, 174(18):1431-1459, 2010. [doi]

2008

Artificial Intelligence Needs Open-Access Knowledgebase ContentsErik Sandewall. AAAI 2008: 1602-1605

A review of the Handbook of Knowledge RepresentationErik Sandewall. ai, 172(18):1965-1966, 2008. [doi]

Extending the concept of publication: factbases and knowledgebasesErik Sandewall. lp, 21(2):123-131, 2008. [doi]

2006

Coordination of Actions in an Autonomous Robotic SystemErik Sandewall. BIRTHDAY 2006: 177-191 [doi]

2005

External and Internal Autonomy in Software SystemsErik Sandewall. icinco 2005: 11

2003

Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended AbstractErik Sandewall, Patrick Doherty, Oliver Lemon, S. Peters. ki 2003: 52-63 [doi]

2001

Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous SystemsErik Sandewall. Dagstuhl 2002: 226-248 [doi]

On the Design of Software IndividualsErik Sandewall. etai, 5(B):143-160, 2001. [doi]

Cellular Ontology as a Basis for Spatiotemporal ReasoningErik Sandewall. rtas 2001: 3-4 [doi]

2000

The WITAS Unmanned Aerial Vehicle ProjectPatrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund. ecai 2000: 747-755

Review: M. Shanahan, Solving the Frame ProblemErik Sandewall. ai, 123(1-2):271-273, 2000. [doi]

1999

An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate CalculusErik Sandewall. lisp, 12(1):105-113, 1999.

1998

Cognitive Robotics Logic and its Metatheory: Features and Fluents RevisitedErik Sandewall. etai, 2:307-329, 1998. [doi]

The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous EventsErik Sandewall. jelia 1998: 382-384 [doi]

Logic Based Modelling of Goal-Directed BehaviorErik Sandewall. kr 1998: 304-315

1997

Publishing and Reviewing in the ETAIErik Sandewall. etai, 1:1-12, 1997. [doi]

Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and ChangeErik Sandewall. hybrid 1997: 3-17

Logic-Based Modelling of Goal-Directed BehaviorErik Sandewall. etai, 1:105-128, 1997. [doi]

1996

Towards the Validation of High-Level Action Descriptions from Their Low-Level DefinitionsErik Sandewall. aicom, 9(4):214-224, 1996.

Assessments of Ramification Methods that Use Static Domain ConstraintsErik Sandewall. kr 1996: 99-110

Towards a World-Wide Data BaseErik Sandewall. cn, 28(7-11):1513-1522, 1996. [doi]

Getting Robots to Know Exactly What They Are DoingErik Sandewall. ecai 1996: 707

Towards a World-Wide Knowledge BaseErik Sandewall. ismis 1996: 50-55

1995

Reasoning about Actions and Change with RamificationErik Sandewall. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments. Volume 1000 of Lecture Notes in Computer Science, pages 486-504, Springer, 1995.

1994

The Range of Applicability of Some Non-monotonic Logics for Strict InertiaErik Sandewall. logcom, 4(5):581-615, 1994.

1993

The Range of Applicability of Nonmonotonic Logics for the Inertia ProblemErik Sandewall. IJCAI 1993: 738-746

Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the otherErik Sandewall. ki 1993: 107-124

Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous AgnentsErik Sandewall. ismis 1993: 558-570

1992

Real-Time Hierarchical ControlMagnus Morin, Simin Nadjm-Tehrani, Per Österling, Erik Sandewall. IEEE Software, 9(5):51-57, 1992. [doi]

Knowledge-based systems, Lisp, and very high level implementation languagesErik Sandewall. ker, 7(2):147-155, 1992. [doi]

1990

PROMETHEUS SessionErik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat. ecai 1990: 779-780

Reasoning about the World as Perceived by an AgentErik Sandewall. ecai 1990: 579-584

1989

Combining Logic and Differential Equations for Describing Real-World SystemsErik Sandewall. kr 1989: 412-420

Filter Preferential Entailment for the Logic of Action in Almost Continuous WorldsErik Sandewall. IJCAI 1989: 894-899

1988

The Semantics of Non-Monotonic Entailment Defined Using Partial InterpretationsErik Sandewall. nmr 1989: 27-41

Future Developments in Artificial Intelligence: A Personal ViewErik Sandewall. ecai 1988: 707-715

An Approach to Non-Monotonic EntailmentErik Sandewall. ismis 1988: 391-397

1987

The Pipelining Transformation on Plans for Manufacturing Cells with RobotsErik Sandewall. IJCAI 1987: 1055-1062

1986

A Representation of Action StructuresErik Sandewall, Ralph Rönnquist. AAAI 1986: 89-97

Environments for the Development of Specifications (Panel)Erik Sandewall. ifip 1986: 313-314

Nonmonotonic inference rules for multiple inheritance with exceptionsErik Sandewall. pieee, 74(10):1345-1353, 1986. [doi]

1985

On Application-Oriented and Tool-Oriented TheoriesErik Sandewall. db-workshops 1985: 505-513

A Functional Approach to Non-Monotonic LogicErik Sandewall. IJCAI 1985: 100-106

1984

Interactive programming environmentsDavid R. Barstow, Howard E. Shrobe, Erik Sandewall, Stephen W. Smoliar. sigsoft, 9(4):56-58, 1984. [doi]

1983

Stepwise structuring: a style of life for flexible softwareErik Sandewall, Sture HÃ¤gglund, Christian Gustafsson, Lennat JonesjÃ¶, Ola StrÃ¶mfors. afips 1983: 65-72 [doi]

1982

Experience from computer supported prototyping for information flow in hospitalsHans Gill, Roland Lindvall, Olle Rosin, Erik Sandewall, Henrik Sörensen, Ove Wigertz. rpr 1982: 67-70 [doi]

Unified Dialogue Management in the Carousel SystemErik Sandewall. POPL 1982: 146-156

1981

Software Architecture Based on Communicating Residential EnvironmentsErik Sandewall, Claes Strömberg, Henrik Sörensen. ICSE 1981: 144-152

1980

Provisions for flexibility in the Linköping office information system (LOIS)Erik Sandewall, Göran Hektor, Anders Ström, Claes Strömberg, Ola Strömfors, Henrik Sörensen, Jaak Urmi. afips 1980: 569-577 [doi]

A System of Communicating Residential EnvironmentsErik Sandewall, Henrik Sörensen, Claes Strömberg. lfp 1980: 82-89

1979

A Description Language and Pilot-System Executive for Information-Transport SystemsErik Sandewall. VLDB 1979: 101-110 [doi]

Biological SoftwareErik Sandewall. IJCAI 1979: 744-747

1978

Surveyor s Forum: Structured Editing with a LISPErik Sandewall. ACM Comput. Surv., 10(4):507-508, 1978.

Programming in an Interactive Environment: the LISP ExperienceErik Sandewall. ACM Comput. Surv., 10(1):35-71, 1978.

What Structure does a LISP Program have - besides being a set of Procedures?Erik Sandewall. ecai 1978: 298-303

1977

Artificial Intelligence in Western EuropeJacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco. IJCAI 1977: 955-969

1976

A Partial Evaluator, and its Use as a Programming ToolLennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall. ai, 7(4):319-357, 1976.

Conversion of Predicate-Calculus Axioms to Corresponding Deterministic ProgramsErik Sandewall. TC, 25(4):342-346, 1976.

1975

Ideas About Management Of LISP Data BasesErik Sandewall. IJCAI 1975: 585-592

1973

Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic ProgramsErik Sandewall. IJCAI 1973: 230-234

1971

Formal Methods in the Design of Question-Answering SystemsErik Sandewall. ai, 2(2):129-145, 1971.

A Programming Tool for Management of a Predicate-Calculus-Oriented Data BaseErik Sandewall. IJCAI 1971: 159-166

1969

A Planning Problem Solver Based on Look-Ahead in Stochastic Game TreesErik Sandewall. JACM, 16(3):364-382, 1969. [doi]

Concepts and Methods for Heuristic SearchErik Sandewall. IJCAI 1969: 199-218

1968

LISP A: a lisp-like system for incremental computingErik Sandewall. afips 1968: 375-384 [doi]

Sign in or sign up to see more results.

runs on WebDSL