0

My Bag

0.00

Download App

Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science) 24.0%OFF

Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science)

by James Clifford

  • 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

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

Estimated Shipping Time : 5-7 Business Days

View Details

Share it on

  • 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

    Applications of Formal Methods

    Michael G. Hinchey

    Starts At

    5208.0

    6056.0

    14% OFF

  • OFFER

    Formal Languages and Compilation

    Crespi Reghizzi

    Starts At

    355.0

    399.0

    11% 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

  • Introduction to Formal Languages, Automata Theory and Computation

    Kamala Krithivasan

    Starts At

    599.0

  • OFFER

    Knowledge Representation and the Semantics of Natural Language (Cognitive Technologies)

    Hermann Helbig

    Starts At

    10644.0

    11088.0

    4% OFF

  • OFFER

    Formal Models of Operating System Kernels

    Iain D. Craig

    Starts At

    13101.0

    13647.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

    An Introduction to Distributed Algorithms

    Valmir C. Barbosa

    Starts At

    521.0

    695.0

    25% 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

    Parallel Logic Programming

    Evan Tick

    Starts At

    4035.0

    4692.0

    14% OFF

  • OFFER

    Complexity and Real Computation

    Lenore Blum

    Starts At

    8926.0

    9298.0

    4% 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

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- 1 Item

null

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : 0.0 Total Savings        : Grand Total :

Order Summary