Implementing Circumscription Using a Tableau Method

Research output: Working paperProfessional

Original languageEnglish
Place of PublicationKoblenz, Germany
Number of pages13
Publication statusPublished - 1996
MoE publication typeD4 Published development or research report or study

Publication series

NameFachbericht Informatik
PublisherUniversität Koblenz-Landau
No.6-96

Cite this

Niemelä, I. (1996). Implementing Circumscription Using a Tableau Method. (Fachbericht Informatik; No. 6-96).