We stand with Ukraine

We stand with Ukraine

Erik Sandewall

Orcid: 0000-0003-3609-6377

Affiliations:

Linköping University, Sweden

According to our database¹, Erik Sandewall authored at least 71 papers between 1968 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2021

Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral Beliefs.

[BibT_eX]

[DOI]

Int. J. Soc. Robotics, 2021

2014

A perspective on the early history of artificial intelligence in Europe.

[BibT_eX]

[DOI]

AI Commun., 2014

2013

The Leonardo System and Software Individuals.

[BibT_eX]

[DOI]

Proceedings of ELS 2013 - 6th European Lisp Symposium, Madrid, Spain, June 3-4, 2013., 2013

2012

Maintaining Live Discussion in Two-Stage Open Peer Review.

[BibT_eX]

[DOI]

Frontiers Comput. Neurosci., 2012

2011

From systems to logic in the early development of nonmonotonic reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Intelligent Software Individuals Based on the Leonardo System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cognitive Systems, 2011

2010

Defeasible inheritance with doubt index and its axiomatic characterization.

[BibT_eX]

[DOI]

Artif. Intell., 2010

2008

Extending the concept of publication: factbases and knowledgebases.

[BibT_eX]

[DOI]

Learn. Publ., 2008

A review of the Handbook of Knowledge Representation.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Artificial Intelligence Needs Open-Access Knowledgebase Contents.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2006

Coordination of Actions in an Autonomous Robotic System.

[BibT_eX]

[DOI]

Proceedings of the Reasoning, 2006

2005

External and Internal Autonomy in Software Systems.

[BibT_eX]

Proceedings of the ICINCO 2005, 2005

2003

Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.

[BibT_eX]

[DOI]

,

Patrick Doherty

,

,

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2001

On the Design of Software Individuals.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 2001

Cellular Ontology as a Basis for Spatiotemporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Plan-Based Control of Robotic Agents, 2001

2000

Review: M. Shanahan, Solving the Frame Problem.

[BibT_eX]

[DOI]

Artif. Intell., 2000

The WITAS Unmanned Aerial Vehicle Project.

[BibT_eX]

,

Gösta H. Granlund

,

Krzysztof Kuchcinski

,

,

,

,

Proceedings of the ECAI 2000, 2000

1999

An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 1999

1998

Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1998

The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Logic-Based Modelling of Goal-Directed Behavior.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1997

Publishing and Reviewing in the ETAI.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1997

Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change.

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Towards a World-Wide Data Base.

[BibT_eX]

[DOI]

Comput. Networks, 1996

Towards the Validation of High-Level Action Descriptions from Their Low-Level Definitions.

[BibT_eX]

[DOI]

AI Commun., 1996

Assessments of Ramification Methods that Use Static Domain Constraints.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Towards a World-Wide Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Getting Robots to Know Exactly What They Are Doing.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Reasoning about Actions and Change with Ramification.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

The Range of Applicability of Some Non-monotonic Logics for Strict Inertia.

[BibT_eX]

[DOI]

J. Log. Comput., 1994

1993

Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other.

[BibT_eX]

Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

The Range of Applicability of Nonmonotonic Logics for the Inertia Problem.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Real-Time Hierarchical Control.

[BibT_eX]

[DOI]

,

Simin Nadjm-Tehrani

,

,

IEEE Softw., 1992

Knowledge-based systems, Lisp, and very high level implementation languages.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1992

1990

PROMETHEUS Session.

[BibT_eX]

,

Giovanni Adorni

,

Hans-Hellmut Nagel

,

Monique Thonnat

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Reasoning about the World as Perceived by an Agent.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

Combining Logic and Differential Equations for Describing Real-World Systems.

[BibT_eX]

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Reasoning, 1988

An Approach to Non-Monotonic Entailment.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1988

Future Developments in Artificial Intelligence: A Personal View.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987

The Pipelining Transformation on Plans for Manufacturing Cells with Robots.

[BibT_eX]

[DOI]

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

Nonmonotonic inference rules for multiple inheritance with exceptions.

[BibT_eX]

[DOI]

Proc. IEEE, 1986

Environments for the Development of Specifications (Panel).

[BibT_eX]

Proceedings of the Information Processing 86, 1986

A Representation of Action Structures.

[BibT_eX]

[DOI]

,

Ralph Rönnquist

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

A Functional Approach to Non-Monotonic Logic.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

On Application-Oriented and Tool-Oriented Theories.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

1984

Interactive programming environments.

[BibT_eX]

[DOI]

David R. Barstow

,

Howard E. Shrobe

,

,

Stephen W. Smoliar

ACM SIGSOFT Softw. Eng. Notes, 1984

1983

Stepwise structuring: a style of life for flexible software.

[BibT_eX]

[DOI]

,

Sture Hägglund

,

Christian Gustafsson

,

Lennat Jonesjö

,

Proceedings of the American Federation of Information Processing Societies: 1983 National Computer Conference, 1983

1982

Experience from computer supported prototyping for information flow in hospitals.

[BibT_eX]

[DOI]

,

Roland Lindvall

,

,

,

Henrik Sörensen

,

Proceedings of the workshop on Rapid Prototyping, 1982

Unified Dialogue Management in the Carousel System.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981

Software Architecture Based on Communicating Residential Environments.

[BibT_eX]

[DOI]

,

Claes Strömberg

,

Henrik Sörensen

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

A System of Communicating Residential Environments.

[BibT_eX]

[DOI]

,

Henrik Sörensen

,

Claes Strömberg

Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

Provisions for flexibility in the Linköping office information system (LOIS).

[BibT_eX]

[DOI]

,

,

,

Claes Strömberg

,

,

Henrik Sörensen

,

Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

1979

A Description Language and Pilot-System Executive for Information-Transport Systems.

[BibT_eX]

Proceedings of the Fifth International Conference on Very Large Data Bases, 1979

Biological Software.

[BibT_eX]

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978

Surveyor's Forum: Structured Editing with a LISP.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1978

Programming in an Interactive Environment: the LISP Experience.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1978

What Structure does a LISP Program have - besides being a set of Procedures?

[BibT_eX]

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977

Artificial Intelligence in Western Europe.

[BibT_eX]

[DOI]

,

,

,

Gérard P. Huet

,

Hans-Hellmut Nagel

,

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1976

A Partial Evaluator, and its Use as a Programming Tool.

[BibT_eX]

[DOI]

Lennart Beckman

,

Anders Haraldson

,

Östen Oskarsson

,

Artif. Intell., 1976

1975

Ideas About Management Of LISP Data Bases.

[BibT_eX]

[DOI]

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1973

Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1971

Formal Methods in the Design of Question-Answering Systems.

[BibT_eX]

[DOI]

Artif. Intell., 1971

A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, 1971

1969

A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees.

[BibT_eX]

[DOI]

J. ACM, 1969

Concepts and Methods for Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

1968

LISP A: a lisp-like system for incremental computing.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1968 Spring Joint Computer Conference, Atlantic City, NJ, USA, 30 April, 1968

Loading...