Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Erik Sandewall 81 träffar

Titel Författare År Språk
21 Formal semantics for reasoning about change with ramified causal minimization Erik Sandewall 1988 Engelska
22 An approach to non-monotonic entailment Erik Sandewall 1988 Engelska
23 Non-monotonic entailment for reasoning about time and action Erik Sandewall 1988 Engelska
24 Non-monotonic entailment for reasoning about time and action P. 1, Sequential actions Erik Sandewall 1988 Engelska
25 Non-monotonic entailment for reasoning about time and action P. 2, Concurrent actions Erik Sandewall 1988 Engelska
26 Non-monotonic entailment for reasoning about time and action P. 3, Decision procedure Erik Sandewall 1988 Engelska
27 The semantics of non-monotonic entailment defined using partial interpretations Erik Sandewall 1988 Engelska
28 Future developments in artificial intelligence Erik Sandewall 1988 Engelska
29 Combining logic and differential equations for describing real- world systems Erik Sandewall 1989 Engelska
30 A decision procedure for a theory of actions and plans Erik Sandewall 1989 Engelska
31 Filter preferential entailment for the logic action of almost continuous worlds Erik Sandewall 1989 Engelska
32 Causal qualification and structure-based ramification Erik Sandewall 1993 Engelska
33 Systematic assessment of temporal reasoning methods for use in autonomous agents Erik Sandewall 1993 Engelska
34 Nonmonotonic temporal logics and autonomous agents: each contributes to the rigorous basis for the other Erik Sandewall 1993 Engelska
35 LISP F1 - a FORTRAN implementation of LISP 1.5 Mats Nordström 1970 Engelska
36 The range of applicability of some nonmonotonic logics for strict inertia Erik Sandewall 1994 Engelska
37 Features and fluents - the representation of knowledge about dynamical systems Erik Sandewall 1994-9999 Engelska
38 Features and fluents Vol. 1 - the representation of knowledge about dynamical systems Erik Sandewall 1994 Engelska
39 Systematic comparison of approaches to ramification using restricted minimization of change Erik Sandewall 1995 Engelska
40 Reasoning about actions and change with ramification Erik Sandewall 1995 Engelska

Förra sidan 1 2 3 4 5 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.