-
1
-
-
0022988016
-
An algebraic semantics approach to the effective resolution of type equations
-
[Ait-Kaci, 1986]
-
[Ait-Kaci, 1986] Ait-Kaci, H. (1986). An algebraic semantics approach to the effective resolution of type equations. Journal of Theoretical Computer Science, 45:293-251.
-
(1986)
Journal of Theoretical Computer Science
, vol.45
, pp. 293-251
-
-
Ait-Kaci, H.1
-
2
-
-
5344240320
-
-
[A'it-Kaci and 1993] Ai't-Kaci and Richard Meyer and Peter Van Roy, H. Prl research report, Digital Equipment Corporation, Paris Research Laboratory
-
[A'it-Kaci and Richard Meyer and Peter Van Roy, 1993] Ai't-Kaci and Richard Meyer and Peter Van Roy, H. (1993). Wild LIFE: A User Manual (Preliminary version). Prl research report, Digital Equipment Corporation, Paris Research Laboratory.
-
(1993)
Wild LIFE: A User Manual (Preliminary version)
-
-
Meyer, Richard1
Van Roy, Peter2
-
3
-
-
2642526733
-
Natural Language Processing Using Propo-sitional Semantic Network with Structured Variables
-
[Ali and Shapiro, 1993]
-
[Ali and Shapiro, 1993] Ali, S. and Shapiro, S. C. (1993). Natural Language Processing Using Propo-sitional Semantic Network with Structured Variables. International Journal of Minds and Machines, Special Issue on Knowledge Representation for Natural Language, 3(4):421-453.
-
(1993)
International Journal of Minds and Machines, Special Issue on Knowledge Representation for Natural Language
, vol.3
, Issue.4
, pp. 421-453
-
-
Ali, S.1
Shapiro, S. C.2
-
4
-
-
0001287652
-
Generalized quantifiers and natural language
-
[Barwise and Cooper, 1981]
-
[Barwise and Cooper, 1981] Barwise, J. and Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4:159-219.
-
(1981)
Linguistics and Philosophy
, vol.4
, pp. 159-219
-
-
Barwise, J.1
Cooper, R.2
-
6
-
-
0000826543
-
Negation as failure
-
[Clark, 1978] Gallaire, H. and Minker, J., editors, New York Plenum Press
-
[Clark, 1978] Clark, K. L. (1978). Negation as failure. In Gallaire, H. and Minker, J., editors, Logic and data bases. New York Plenum Press.
-
(1978)
Logic and data bases
-
-
Clark, K. L.1
-
7
-
-
84936423403
-
An Interpretation of Negation in Feature Structure Description
-
[Dawar and Vijay-Shanker, 1990]
-
[Dawar and Vijay-Shanker, 1990] Dawar, A. and Vijay-Shanker, K. (1990). An Interpretation of Negation in Feature Structure Description. Computational Linguistics.
-
(1990)
Computational Linguistics
-
-
Dawar, A.1
Vijay-Shanker, K.2
-
8
-
-
0003733159
-
-
[Dowty et al., 1981] D. Reidel Publ. Co
-
[Dowty et al., 1981] Dowty, D. R., Wall, R. E., and Peters, S. (1981). Introduction to Montague semantics. D. Reidel Publ. Co.
-
(1981)
Introduction to Montague semantics
-
-
Dowty, D. R.1
Wall, R. E.2
Peters, S.3
-
15
-
-
3042594130
-
Episodic Logic: A Situational Logic for Natural Language Processing
-
[Hwang and Schubert, 1993] pages
-
[Hwang and Schubert, 1993] Hwang, C. H. and Schubert, L. K. (1993). Episodic Logic: A Situational Logic for Natural Language Processing. In Situation Theory and Its Applications, pages 303-338.
-
(1993)
Situation Theory and Its Applications
, pp. 303-338
-
-
Hwang, C. H.1
Schubert, L. K.2
-
17
-
-
85121237958
-
-
[Iwariska, 1991] Technical Report 91CRD180, Artificial Intelligence Laboratory, GE Research and Development Center
-
[Iwariska, 1991] Iwariska, L. (1991). Discourse Processing Module. Technical Report 91CRD180, Artificial Intelligence Laboratory, GE Research and Development Center.
-
(1991)
Discourse Processing Module
-
-
Iwariska, L.1
-
18
-
-
85169556332
-
-
[Iwariska, 1992a] (a). PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign. Also available as Technical Report UIUCDCS-R-92-1775 or UILU-ENG-92-1755
-
[Iwariska, 1992a] Iwariska, L. (1992a). A General Semantic Model of Negation in Natural Language: Representation and Inference. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign. Also available as Technical Report UIUCDCS-R-92-1775 or UILU-ENG-92-1755.
-
(1992)
A General Semantic Model of Negation in Natural Language: Representation and Inference
-
-
Iwariska, L.1
-
20
-
-
5344263760
-
Logical Reasoning in Natural Language: It Is All About Knowledge
-
[Iwariska, 1993]
-
[Iwariska, 1993] Iwariska, L. (1993). Logical Reasoning in Natural Language: It Is All About Knowledge. International Journal of Minds and Machines, Special Issue on Knowledge Representation for Natural Language, 3(4):475-510.
-
(1993)
International Journal of Minds and Machines, Special Issue on Knowledge Representation for Natural Language
, vol.3
, Issue.4
, pp. 475-510
-
-
Iwariska, L.1
-
21
-
-
85169607374
-
Natural (Language) Temporal Logic: Reasoning about Absolute and Relative Time
-
[Iwariska, 1996]
-
[Iwariska, 1996] Iwariska, L. (1996). Natural (Language) Temporal Logic: Reasoning about Absolute and Relative Time. International Journal of Expert Systems, 34:40-85.
-
(1996)
International Journal of Expert Systems
, vol.34
, pp. 40-85
-
-
Iwariska, L.1
-
22
-
-
85169557662
-
Semantics, Pragmatics and Context of Intensional Negative Adjectives: Reasoning about Alleged Murderers, Artificial Hearts, False Statements, Former Presidents, and Toy Elephants
-
[Iwariska, 1997] To appear
-
[Iwariska, 1997] Iwariska, L. (1997). Semantics, Pragmatics and Context of Intensional Negative Adjectives: Reasoning about Alleged Murderers, Artificial Hearts, False Statements, Former Presidents, and Toy Elephants. Computational Intelligence, 13(2):60-91. To appear.
-
(1997)
Computational Intelligence
, vol.13
, Issue.2
, pp. 60-91
-
-
Iwariska, L.1
-
23
-
-
5344243148
-
Computational Aspects of Discourse in the Context of MUC-3
-
[Iwariska et al., 1991] pages Morgan Kauf-mann Publishers, Inc
-
[Iwariska et al., 1991] Iwariska, L., Appelt, D., Ayuso, D., Dahlgren, K., Stalls, B. G., Grishman, R., Krupka, G., Montgomery, C, and Riloff, E. (1991). Computational Aspects of Discourse in the Context of MUC-3. In Proceedings of the Third Message Understanding Conference, MUC-3, pages 256-282. Morgan Kauf-mann Publishers, Inc.
-
(1991)
Proceedings of the Third Message Understanding Conference, MUC-3
, pp. 256-282
-
-
Iwariska, L.1
Appelt, D.2
Ayuso, D.3
Dahlgren, K.4
Stalls, B. G.5
Grishman, R.6
Krupka, G.7
Montgomery, C8
Riloff, E.9
-
24
-
-
85119338273
-
Wayne state university: Description of the uno natural language processing system as used for muc-6
-
[Iwariska et al., 1995] Morgan Kaufmann Publishers
-
[Iwariska et al., 1995] Iwariska, L., Croll, M., Yoon, T., and Adams, M. (1995). Wayne state university: Description of the uno natural language processing system as used for muc-6. In Proceedings of the Sixth Message Understanding Conference (MUC-6). Morgan Kaufmann Publishers.
-
(1995)
Proceedings of the Sixth Message Understanding Conference (MUC-6)
-
-
Iwariska, L.1
Croll, M.2
Yoon, T.3
Adams, M.4
-
27
-
-
41349111485
-
Expressing disjunctive and negative feature constraints with classical first-order logic
-
[Johnson, 1990]
-
[Johnson, 1990] Johnson, M. (1990). Expressing disjunctive and negative feature constraints with classical first-order logic. In 28-th Annual Meeting of the Association of Computational Linguistics.
-
(1990)
28-th Annual Meeting of the Association of Computational Linguistics
-
-
Johnson, M.1
-
29
-
-
0006581022
-
Machine Interpretation of Emotion: Design of a Memory-Based Expert System for Interpreting Facial Expressions in Terms of Signaled Emotions
-
[Kearney and McKenzie, 1993]
-
[Kearney and McKenzie, 1993] Kearney, G. D. and McKenzie, S. (1993). Machine Interpretation of Emotion: Design of a Memory-Based Expert System for Interpreting Facial Expressions in Terms of Signaled Emotions. Cognitive Science, 17:589-622.
-
(1993)
Cognitive Science
, vol.17
, pp. 589-622
-
-
Kearney, G. D.1
McKenzie, S.2
-
31
-
-
0041160562
-
The Proper Treatment of Quantification in Ordinary English
-
[Montague, 1973] Hintikka, J., Moravcik, J., and Suppes, P., editors, D. Reidel Publ. Co
-
[Montague, 1973] Montague, R. (1973). The Proper Treatment of Quantification in Ordinary English. In Hintikka, J., Moravcik, J., and Suppes, P., editors, Approaches to Natural Language. D. Reidel Publ. Co.
-
(1973)
Approaches to Natural Language
-
-
Montague, R.1
-
33
-
-
0027677556
-
The KERNEL Text Understanding System
-
Passonneau. R., and, [Palmer et al., 1993]
-
[Palmer et al., 1993] Palmer, M., Passonneau. R., Weir, C, and Finin, T. (1993). The KERNEL Text Understanding System. Artificial Intelligence, 63:17-69.
-
(1993)
Artificial Intelligence
, vol.63
, pp. 17-69
-
-
Palmer, M.1
Weir, C2
Finin, T.3
-
35
-
-
0141660473
-
On reasoning by default
-
[Reiter, 1985] pages Morgan Kaufmann Publishers, Inc
-
[Reiter, 1985] Reiter, R. (1985). On reasoning by default. In Readings in Knowledge Representation, pages 402-410. Morgan Kaufmann Publishers, Inc.
-
(1985)
Readings in Knowledge Representation
, pp. 402-410
-
-
Reiter, R.1
-
37
-
-
0016458950
-
The Concept of a Linguistic Variable and its Application to Approximate Reasoning
-
[Zadeh, 1975] 301-357, 43-80
-
[Zadeh, 1975] Zadeh, L. A. (1975). The Concept of a Linguistic Variable and its Application to Approximate Reasoning. Information Sciences, 8, 9:199-249, 301-357, 43-80.
-
(1975)
Information Sciences
, vol.8
, Issue.9
, pp. 199-249
-
-
Zadeh, L. A.1
|