1
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Agent-Based Defeasible Control in Dynamic Environments 

      Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages

      other
      ,
      Springer Netherlands

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references16

          • Record: found
          • Abstract: not found
          • Article: not found

          Strips: A new approach to the application of theorem proving to problem solving

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Nonmonotonic logic and temporal projection

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Nonmonotonic reasoning in the framework of situation calculus

                Bookmark

                Author and book information

                Book Chapter
                2002
                : 383-398
                10.1007/978-94-017-1741-0_14
                0a3b089d-9177-4147-97eb-bf161b7bb52d
                History

                Comments

                Comment on this book

                Book chapters

                Similar content3,236