24.0%OFF
Download App
| >> | LShop | >> | Book | >> | Mathematics & Scienc... | >> | Mathematics | >> | Formal Semantics And... |
24.0%OFF
Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science)
-
ISBN
:
9780521354332
-
Publisher
:
Cambridge University Press
-
Subject
:
Mathematics, Computer Programming / Software Development, Computer Science
-
Binding
:
HARDCOVER
-
Pages
:
210
-
Year
:
1990
₹
4841.0
24.0% OFF
₹
3679.0
3679.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View DetailsEstimated Shipping Time : 5-7 Business Days
View Details
-
Description
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more 'real world' semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics and discusses the details of the intensional logic ILs. This is followed by a description of the author's own model, the Historical Relational Data Model (HRDM) which extends the RDM to include a temporal dimension. Finally the database querying language QEHIII is defined and examples illustrate its use. A formal model for the interpretation of questions is presented in this work which will form the basis for much further research.
Related Items
-
of
-
OFFER
Formal Ontologies Meet Industry: Proceedings of the 5th International Workshop (FOMI 2011) (Frontiers in Artificial Intelligence and Applications)
P.E. Vermaas
Starts At
8066.0
9380.0
14% OFF
-
OFFER
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Kothanda Umamageswaran
Starts At
13101.0
13647.0
4% OFF
-
OFFER
Finiteness and Regularity in Semigroups and Formal Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Aldo de Luca
Starts At
6840.0
8445.0
19% OFF
-
OFFER
Theory of Automata, Formal Languages and Computation
S.P. Eugene Xavier
Starts At
134.0
140.0
4% OFF
-
OFFER
Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)
Hermann Helbig
Starts At
10644.0
11088.0
4% OFF
-
OFFER
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Jeremy Gibbons
Starts At
8107.0
8445.0
4% OFF
-
OFFER
FM 2009: Formal Methods: Second WorldCongress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Ana Cavalcanti
Starts At
15477.0
16122.0
4% OFF
-
OFFER
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September ... / Programming and Software Engineering)
Stephen H. Edwards
Starts At
8926.0
9298.0
4% OFF
-
OFFER
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings ... Computer Science and General Issues)
Joel Ouaknine
Starts At
7368.0
7676.0
4% OFF
-
OFFER
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)
Marýa Alpuente
Starts At
8107.0
8445.0
4% OFF
-
OFFER
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... / Programming and Software Engineering)
Karin Breitman
Starts At
13101.0
13647.0
4% OFF
-
OFFER
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... / Programming and Software Engineering)
Marcel Vinýcius Medeiros Oliveira
Starts At
8926.0
9298.0
4% OFF
-
OFFER
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notesin Computer Science / Programming and Software Engineering)
Roberto Bruni
Starts At
8107.0
8445.0
4% OFF
-
OFFER
Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Sýbastien Ferrý
Starts At
8926.0
9298.0
4% OFF
-
OFFER
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology)
Výronique Cortier
Starts At
7368.0
7676.0
4% OFF
-
OFFER
JFLAP: An Interactive Formal Languages and Automata Package
Susan H. Rodger
Starts At
5823.0
7190.0
19% OFF
-
OFFER
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Lawrence C. Paulson
Starts At
7277.0
9576.0
24% OFF
-
OFFER
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
J. C. M. Baeten
Starts At
5947.0
6916.0
14% OFF
-
OFFER
Default Reasoning: Causal and Conditional Theories (ACM Doctoral Dissertation Award)
Hector Geffner
Starts At
6749.0
7848.0
14% OFF
-
OFFER
Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (Artificial Intelligence)
Benjamin Kuipers
Starts At
5502.0
6398.0
14% OFF
-
OFFER
State-Space Search: Algorithms, Complexity, Extensions, and Applications
Weixiong Zhang
Starts At
12201.0
12710.0
4% OFF
-
OFFER
Introduction to Physical Modeling with Modelica (The Springer International Series in Engineering and Computer Science)
Michael Tiller
Starts At
10153.0
10577.0
4% OFF
