[BF1993] A Resolution principle for Quantificational S5 with an Application to Knowledge Representation

Tree

Index

Bibliography

[BF1993] A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation

BaazFerm93BUB (In proceedings)
Author(s)	Baaz M. and Fermüller C. G.
Title	"A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation"
Date	1993
In	Ikinci Türk Yapay Zeka ve Yapay Sinir Aglari Sempozyumu
Page(s)	32--37
Publisher	Bogazici Üniversitesi, Bildiriler

BibTeX code

@inproceedings{BaazFerm93BUB,
  publisher = {Bo\v{g}azici Üniversitesi, Bildiriler},
  title = {A Resolution principle for Quantificational {$S5$} with an Application to Knowledge Representation},
  editors = {Selahattin Kuru and H.˜Levent Akin and A.˜C.˜Cem Say and Ethem Alpaydin},
  author = {Baaz, M. and Fermüller, C. G.},
  year = {1993},
  booktitle = {Ikinci Türk Yapay Zeka ve Yapay Sinir A\v{g}lari Sempozyumu},
  pages = {32--37},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug