Yazar
Han Reichgelt
20 cilt bulundu.
Cilt sonuçları
Building Expert Systems Using Logic and Meta-level Interpretation
Han Reichgelt, Frank van Harmelen · Yayınevi bilinmiyor
5 sayfa · 1987
Expert systems (Computer science)
A Modal Proof Method for Doxastic Reasoning in Incomplete Theories
Peter Jackson, Han Reichgelt, University of Edinburgh. Department of Artificial Intelligence · Yayınevi bilinmiyor
11 sayfa · 1987
Kategori yok
A General Proof Method for Arbitrary First-order Modal Logics
Peter Jackson, Han Reichgelt, University of Edinburgh. Department of Artificial Intelligence · Yayınevi bilinmiyor
11 sayfa · 1987
Kategori yok
Proceedings of the Fourth Conference, Faculty of Pure and Applied Sciences, University of the West Indies, Mona, January 12-14, 1999
University of the West Indies (Mona, Jamaica). Faculty of Pure and Applied Sciences. Conference, Ralph Robinson, Han Reichgelt · Yayınevi bilinmiyor
119 sayfa · 1999
Research