-
1
-
-
0002442895
-
KRIS: Knowledge representation and inference system, system description
-
Baader, F., & Hollunder, B. (1991a). KRIS: Knowledge representation and inference system, system description. ACM SIGART Bulletin, 2, 8-14.
-
(1991)
ACM SIGART Bulletin
, vol.2
, pp. 8-14
-
-
Baader, F.1
Hollunder, B.2
-
2
-
-
84873687728
-
A terminological knowledge representation system with complete inference algorithm
-
Proc. of the Workshop on Processing Declarative Knowledge, PDK-91, Springer-Verlag
-
Baader, F., & Hollunder, B. (1991b). A terminological knowledge representation system with complete inference algorithm. In Proc. of the Workshop on Processing Declarative Knowledge, PDK-91, No. 567 in Lecture Notes in Artificial Intelligence, pp. 67-86. Springer-Verlag.
-
(1991)
Lecture Notes in Artificial Intelligence
, Issue.567
, pp. 67-86
-
-
Baader, F.1
Hollunder, B.2
-
4
-
-
0015559433
-
On the analytic formalism of the theory of fuzzy sets
-
Bellman, R., & Giertz, M. (1973). On the analytic formalism of the theory of fuzzy sets. Information Sciences, 5, 149-156.
-
(1973)
Information Sciences
, vol.5
, pp. 149-156
-
-
Bellman, R.1
Giertz, M.2
-
6
-
-
0010312145
-
Decidable reasoning in terminological knowledge representation systems
-
Chambery, France. Morgan Kaufmann, Los Altos
-
Buchheit, M., Donini, F. M., & Schaerf, A. (1993a). Decidable reasoning in terminological knowledge representation systems. In Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI-93), pp. 704-709 Chambery, France. Morgan Kaufmann, Los Altos.
-
(1993)
Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI-93)
, pp. 704-709
-
-
Buchheit, M.1
Donini, F.M.2
Schaerf, A.3
-
7
-
-
0027652499
-
Decidable reasoning in terminological knowledge representation systems
-
Buchheit, M., Donini, F. M., & Schaerf, A. (1993b). Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1, 109-138.
-
(1993)
Journal of Artificial Intelligence Research
, vol.1
, pp. 109-138
-
-
Buchheit, M.1
Donini, F.M.2
Schaerf, A.3
-
8
-
-
21344463969
-
A sound and complete fuzzy logic system using Zadeh's implication operator
-
Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), Springer-Verlag
-
Chen, J., & Kundu, S. (1996). A sound and complete fuzzy logic system using Zadeh's implication operator. In Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), No. 1079 in Lecture Notes in Artificial Intelligence, pp. 233-242. Springer-Verlag.
-
(1996)
Lecture Notes in Artificial Intelligence
, Issue.1079
, pp. 233-242
-
-
Chen, J.1
Kundu, S.2
-
9
-
-
0010355232
-
A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic
-
Proc. of the 5th Int. Conf. on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-94), Springer-Verlag
-
da Silva, R. M., Pereira, A. E. C., & Netto, M. A. (1994). A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic. In Proc. of the 5th Int. Conf. on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, (IPMU-94), No. 945 in Lecture Notes in Computer Science. Springer-Verlag.
-
(1994)
Lecture Notes in Computer Science
, Issue.945
-
-
Da Silva, R.M.1
Pereira, A.E.C.2
Netto, M.A.3
-
10
-
-
0001173857
-
Deduction in concept languages: From subsumption to instance checking
-
Donini, F. M., Lenzerini, M., Nardi, D., & Schaerf, A. (1994). Deduction in concept languages: From subsumption to instance checking. Journal of Logic and Computation, 4(4), 423-452.
-
(1994)
Journal of Logic and Computation
, vol.4
, Issue.4
, pp. 423-452
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Schaerf, A.4
-
13
-
-
84949813936
-
Approximate and commonsense reasoning: From theory to practice
-
Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), Springer-Verlag
-
Dubois, D., & Prade, H. (1996). Approximate and commonsense reasoning: From theory to practice. In Ras, Z. W., & Maciek, M. (Eds.), Proc. of the 9th Int. Sym. on Methodologies for Intelligent Systems (ISMIS-96), No. 1079 in Lecture Notes in Artificial Intelligence, pp. 19-33. Springer-Verlag.
-
(1996)
Lecture Notes in Artificial Intelligence
, Issue.1079
, pp. 19-33
-
-
Dubois, D.1
Prade, H.2
-
14
-
-
0025535649
-
An analysis of first-order logics of probability
-
Halpern, J. Y. (1990). An analysis of first-order logics of probability. Artificial Intelligence Journal, 46, 311-350.
-
(1990)
Artificial Intelligence Journal
, vol.46
, pp. 311-350
-
-
Halpern, J.Y.1
-
15
-
-
0010401207
-
Probabilistic description logics
-
de Mantara, R. L., & Pool, D. (Eds.)
-
Heinsohn, J. (1994). Probabilistic description logics. In de Mantara, R. L., & Pool, D. (Eds.), Proceedings of the 10th Conference on Uncertainty in Artificila Intelligence, pp. 311-318.
-
(1994)
Proceedings of the 10th Conference on Uncertainty in Artificila Intelligence
, pp. 311-318
-
-
Heinsohn, J.1
-
16
-
-
0010359829
-
An alternative proof method for possibilistic logic and its application to terminological logics
-
Seattle, Washington. R. Lopez de Mantaras and D. Pool
-
Hollunder, B. (1994). An alternative proof method for possibilistic logic and its application to terminological logics. In 10th Annual Conference on Uncertainty in Artificial Intelligence Seattle, Washington. R. Lopez de Mantaras and D. Pool.
-
(1994)
10th Annual Conference on Uncertainty in Artificial Intelligence
-
-
Hollunder, B.1
-
19
-
-
0031388389
-
P-CLASSIC: A tractable probabilistic description logic
-
Koller, D., Levy, A., & Pfeifer, A. (1997). P-CLASSIC: A tractable probabilistic description logic. In Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97), pp. 390-397.
-
(1997)
Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97)
, pp. 390-397
-
-
Koller, D.1
Levy, A.2
Pfeifer, A.3
-
20
-
-
0003750961
-
-
Springer-Verlag, Berlin, Germany
-
Kruse, R., Schwecke, E., & Heinsohn, J. (1991). Uncertainty and Vagueness in Knowledge Based Systems. Springer-Verlag, Berlin, Germany.
-
(1991)
Uncertainty and Vagueness in Knowledge Based Systems
-
-
Kruse, R.1
Schwecke, E.2
Heinsohn, J.3
-
21
-
-
0015278896
-
Fuzzy logic and the resolution principle
-
Lee, R. C. T. (1972). Fuzzy logic and the resolution principle. Journal of the ACM, 19(1), 109-119.
-
(1972)
Journal of the ACM
, vol.19
, Issue.1
, pp. 109-119
-
-
Lee, R.C.T.1
-
22
-
-
84957553631
-
Modelling the retrieval of structured documents containing texts and images
-
Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries, Pisa, Italy
-
Meghini, C., Sebastiani, F., & Straccia, U. (1997). Modelling the retrieval of structured documents containing texts and images. In Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries, No. 1324 in Lecture Notes in Computer Science, pp. 325-344 Pisa, Italy.
-
(1997)
Lecture Notes in Computer Science
, Issue.1324
, pp. 325-344
-
-
Meghini, C.1
Sebastiani, F.2
Straccia, U.3
-
23
-
-
0013404467
-
MIRLOG: A logic for multimedia information retrieval
-
Crestani, F., Lalmas, M., & van Rijsbergen, C. (Eds.), Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information, chap. 7, Kluwer Academic Publishers, Boston, USA
-
Meghini, C., Sebastiani, F., & Straccia, U. (1998). MIRLOG: A logic for multimedia information retrieval. In Crestani, F., Lalmas, M., & van Rijsbergen, C. (Eds.), Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information, Vol. 4 of The Kluwer International Series On Information Retrieval, chap. 7, pp. 151-185. Kluwer Academic Publishers, Boston, USA.
-
(1998)
The Kluwer International Series on Information Retrieval
, vol.4
, pp. 151-185
-
-
Meghini, C.1
Sebastiani, F.2
Straccia, U.3
-
25
-
-
0023999478
-
Computational complexity of terminological reasoning in BACK
-
Nebel, B. (1988). Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34, 371-383.
-
(1988)
Artificial Intelligence
, vol.34
, pp. 371-383
-
-
Nebel, B.1
-
29
-
-
0001917244
-
The BACK system - An overview
-
Peltason, C. (1991). The BACK system - an overview. SIGART Bulletin, 2(3), 114-119.
-
(1991)
SIGART Bulletin
, vol.2
, Issue.3
, pp. 114-119
-
-
Peltason, C.1
-
30
-
-
0030120958
-
On the hardness of approximate reasoning
-
Roth, D. (1996). On the hardness of approximate reasoning. Artificial Intelligence Journal, 82, 273-302.
-
(1996)
Artificial Intelligence Journal
, vol.82
, pp. 273-302
-
-
Roth, D.1
-
31
-
-
0026107613
-
Attributive concept descriptions with complements
-
Schmidt-Schauß, M., & Smolka, G. (1991). Attributive concept descriptions with complements. Artificial Intelligence, 48, 1-26.
-
(1991)
Artificial Intelligence
, vol.48
, pp. 1-26
-
-
Schmidt-Schauß, M.1
Smolka, G.2
-
32
-
-
85011515070
-
A probabilistic terminological logic for modelling information retrieval
-
Dublin, IRL. Published by Springer Verlag, Heidelberg, FRG
-
Sebastiani, F. (1994). A probabilistic terminological logic for modelling information retrieval. In Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval, pp. 122-130 Dublin, IRL. Published by Springer Verlag, Heidelberg, FRG.
-
(1994)
Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval
, pp. 122-130
-
-
Sebastiani, F.1
-
34
-
-
0010359832
-
A note on the relationship between fuzzy logic and four-valued logic
-
Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy
-
Straccia, U. (2000a). A note on the relationship between fuzzy logic and four-valued logic. Technical report B4-22-10-2000, Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy.
-
(2000)
Technical Report B4-22-10-2000
-
-
Straccia, U.1
-
35
-
-
0010398391
-
Reasoning and experimenting within Zadeh's fuzzy propositional logic
-
Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy
-
Straccia, U. (2000b). Reasoning and experimenting within Zadeh's fuzzy propositional logic. Technical report 2000-b4-011, Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy.
-
(2000)
Technical Report 2000-b4-011
-
-
Straccia, U.1
-
37
-
-
0010402174
-
The rationality and decidability of fuzzy implications
-
Montreal, Canada. MK
-
Xiachun, C., Yunfei, J., & Xuhua, L. (1995). The rationality and decidability of fuzzy implications. In Proc. of the 14th Int. Joint Conf. on Artificial Intelligence (IJCAI-95), pp. 1910-1911 Montreal, Canada. MK.
-
(1995)
Proc. of the 14th Int. Joint Conf. on Artificial Intelligence (IJCAI-95)
, pp. 1910-1911
-
-
Xiachun, C.1
Yunfei, J.2
Xuhua, L.3
|