Browsing Schriftenreihen by Author "Makino, Kazuhisa"

Now showing items 1-2 of 2

    • Computing intersections of Horn theories for reasoning with models 

      Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa (1998)
      Model­based reasoning has been proposed as an alternative form of representing and accessing logical knowledge bases. In this approach, a knowledge base is represented by a set of characteristic models. In this paper, we ...

    • Decision lists and related Boolean functions 

      Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa (1998)
      We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1­decision lists has interesting relationships to ...