A Mathematical Model for Describing Structured Items of Conceptual Level

[1]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[2]  Hiyan Alshawi,et al.  Resolving Quasi Logical Forms , 1990, CL.

[3]  V. Fomichov.  Mathematical models of natural-language-processing systems as cybernetic models of a new kind , 1992 .

[4]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[5]  Gerard Ellis,et al.  Compiling Conceptual Graphs , 1991, IEEE Trans. Knowl. Data Eng..

[6]  Chung Hee Hwang.  A logical approach to narrative understanding , 1992 .

[7]  Johan van Benthem,et al.  Fine-structure in categorial semantics , 1992 .

[8]  V. A. Fomitchov.  Formal Systems for Natural Language Man-Machine Interaction Modelling , 1983 .

[9]  Otthein Herzog,et al.  Text Understanding in Lilog: Integrating Computational Linguistics and Artificial Intelligence Final Report on the IBM Germany Lilog-Project , 1991 .

[10]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[11]  Chung Hee Hwang,et al.  An Episodic Knowledge Representation for Narrative Texts , 1989, KR.

[12]  Jan van Eijck,et al.  Logical Forms in the Core Language Engine , 1989, ACL.

[13]  K. Jon Barwise.  Information Links in Domain Theory , 1991, MFPS.

[14]  Keith Devlin,et al.  Logic and information , 1991 .

[16]  Bernhard Nebel,et al.  Terminological reasoning and Information Management , 1990, IS/KI.

[17]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[18]  V. A. Fomichov.  K-calculuses and K-languages as powerful formal means to design intelligent systems processing medical texts , 1993 .

[19]  Jens Erik Fenstad,et al.  Computational linguistics and formal semantics: Representations and interpretations , 1992 .