9
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Affective Interactions : Towards a New Generation of Computer Interfaces 

      Extending abduction from propositional to first-order logic

      other
      Springer Berlin Heidelberg

      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 references18

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

          Maintaining knowledge about temporal intervals

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

            Linear-time algorithms for testing the satisfiability of propositional horn formulae

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

              A Machine-Oriented Logic Based on the Resolution Principle

                Bookmark

                Author and book information

                Book Chapter
                1991
                June 3 2005
                : 141-155
                10.1007/3-540-54507-7_12
                5369ba70-4e39-4d82-8762-4a7431dc0390
                History

                Comments

                Comment on this book

                Book chapters

                Similar content3,103

                Cited by8