Jerry Seligman & Dag Westerstahl (eds.)
Center for the Study of Language and Inf (1996)
Authors |
|
Abstract |
This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wide-ranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the social sciences. The research presented in this volume reflects a growing international and interdisciplinary activity of importance for many fields concerned with information.
|
Keywords | Language and logic Logic, Symbolic and mathematical Computational linguistics |
Categories | (categorize this paper) |
Buy this book | Amazon page |
ISBN(s) | 9781881526896 1881526895 9781881526902 1881526909 v.1 : hbk 1881526909 |
Options |
![]() ![]() ![]() ![]() |
Download options

References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Language, Logic, and Computation: The 1994 Moraga Proceedings.Dag Westerstahl & Jeremy Seligman (eds.) - 1996 - CSLI.
Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation. [REVIEW]Peter Bosch, David Gabelaia & Jérôme Lang (eds.) - 2009 - Springer.
3rd Workshop on Logic, Language, Information and Computation and Brazilian Conference on Mathematical Logic.[author unknown] - 1995 - Logic Journal of the Igpl 3 (5):819-820.
Algebras, Diagrams, and Decisions in Language, Logic, and Computation.Kees Vermeulen & Ann Copestake - 2001
Logic of Computation.Helmut Schwichtenberg, North Atlantic Treaty Organization & Nato Advanced Study Institute on Logic of Computation - 1997
Effective Logic Computation, Klaus Truemper.Lex Hendriks - 1999 - Journal of Logic, Language and Information 8 (4):481-484.
Language Technologies for Instructional Resources in Bulgarian.Ivelina Nikolova - 2010 - In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 114--123.
Logic and Computation: Interactive Proof with Cambridge Lcf.Lawrence C. Paulson - 1987 - Cambridge University Press.
The Computational Complexity of Quantified Reciprocals.Jakub Szymanik - 2009 - In Peter Bosch, David Gabelaia & Jérôme Lang (eds.), Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation. Springer.
Second Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
Workshop on Logic, Language, Information and Computation '94.[author unknown] - 1995 - Logic Journal of the Igpl 3 (1):124-146.
8th Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 2001 - Logic Journal of the IGPL 9 (5):739-754.
5th Workshop on Logic, Language, Information and Computation (Wollic'98).Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.
The European Association for Logic, Language, and Computation.J. F. A. K. Van Benthem & H. J. B. M. Van Der Linden - 1994 - Journal of Symbolic Logic 59 (3):1116 -.
Analytics
Added to PP index
2010-06-22
Total views
47 ( #240,818 of 2,506,004 )
Recent downloads (6 months)
3 ( #209,628 of 2,506,004 )
2010-06-22
Total views
47 ( #240,818 of 2,506,004 )
Recent downloads (6 months)
3 ( #209,628 of 2,506,004 )
How can I increase my downloads?
Downloads