Sciweavers

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