Sciweavers

89 search results - page 6 / 18
» ijcai 1993
Sort
View
IJCAI
1993
14 years 11 months ago
Decidable Reasoning in Terminological Knowledge Representation Systems
Martin Buchheit, Francesco M. Donini, Andrea Schae...
IJCAI
1993
14 years 11 months ago
Automatic Generation of Some Results in Finite Algebra
Masayuki Fujita, John K. Slaney, Frank Bennett
IJCAI
1993
14 years 11 months ago
Critical Reasoning
Olivier Raiman, Johan de Kleer, Vijay A. Saraswat
IJCAI
1993
14 years 11 months ago
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...
IJCAI
1993
14 years 11 months ago
Bottom-up Abduction by Model Generation
Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Mak...