Sandewall, Erik.
Sandewall, Erik, 1945-
Sandewall, E.
Erik Sandewall
VIAF ID: 28439829 ( Personal )
Permalink: http://viaf.org/viaf/28439829
Preferred Forms
- 100 0 _ ‡a Erik Sandewall
-
- 100 1 _ ‡a Sandewall, E.
-
-
-
- 100 1 0 ‡a Sandewall, Erik
- 100 1 _ ‡a Sandewall, Erik
-
- 100 1 _ ‡a Sandewall, Erik
-
- 100 1 _ ‡a Sandewall, Erik, ‡d 1945-
-
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Ambiguity logic as a basis for an incremental computer. | |
Assessments of ramification methods that use static domain constraints | |
Cognitive robotics logic and its metatheory : features and fluents revisited | |
Combining logic and differential equations for describing real- world systems. | |
Concepts and methods for heuristic search. | |
Current trends in AI planning : EWSP '93, 2nd European Workshop on Planning | |
Datautbildning infør 90-talet | |
Datorn - herre eller slav? | |
A decision procedure for a theory of actions and plans. | |
Documentation of the redfun package | |
Features and fluents / Erik Sandewall. - Oxfrod, 1994. | |
Features and fluents : the representation of knowledge about dynamical systems | |
Filter preferential entailment for the logic of action in almost continuous worlds | |
Fjärde generationens programvaruutbildning | |
A formal notation that re-expresses natural language sentence structure. | |
A functional approach to non-monotonic logic | |
Future developments in artificial intelligence | |
Integrated interactive computing systems : proceedings of the European conference on integrated interactive computing systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 | |
Interactive programming environments | |
LISP A : a LISP-like system for incremental computing. | |
LISP F1 : a FORTRAN implementation of LISP 1.5. | |
Logic based modelling of goal-directed behavior | |
Maintaining Live Discussion in Two-Stage Open Peer Review | |
A neo-classical structure for scientific publication and reviewing | |
Non-monotonic entailment for reasoning about time and action | |
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13–15, 1988 : proceedings | |
Nonmonotonic temporal logics and autonomous agents: each contributes to the rigorous basis for the other. | |
On the design of software individuals | |
A planning problem solver based on look-ahead in stochastic game-trees : abbreviated version. | |
Principles of knowledge representation and reasoning : proceedings of the second international conference (KR91) | |
A property-list representation for certain formulas in predicate calculus. | |
A proposed solution to the FUNARG problem. | |
Question-answering and problem-solving techniques. | |
The range of applicability of some nonmonotonic logics for strict inertia. | |
Representation of facts in a computer question-answering system. | |
Representing natural-language information in predicate calculus : this paper was presented at the Machine intelligence workshop number 6 in Edinburgh, Scotland. | |
Samtal om Sveriges nation, 2015: | |
Scandinavian Conference on Artificial Intelligence--93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence Electrum, Stockholm, Sweden, May 4-7, 1993 | |
The semantics of non-monotonic entailment defined using partial interpretations | |
A set-oriented property-structure representation for binary relations, SPB. | |
Software architecture and programming paradigms for robotics applications | |
Strategies and policies of Linköping University Electronic Press | |
Systematic assessment of temporal reasoning methods for use in autonomous agents. | |
Systematic comparison of approaches to ramification using restricted minimization of change. | |
Towards a World-Wide data base. | |
Towards the validation of high-level action descriptions from their low-level definitions | |
Underlying sematics for action and change with ramification | |
Universiteten och informationstekniken - en ny tid? | |
Värderingar, Liberalism och Islam |