Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
Lexicology. Semantics --- Philosophy of language --- Semantics --- Model theory --- Sémantique --- Théorie des modèles --- Semantics. --- Model theory. --- 801.56 --- Logic, Symbolic and mathematical --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Syntaxis. Semantiek --- 801.56 Syntaxis. Semantiek --- Sémantique --- Théorie des modèles
Choose an application
Alice ter Meulen integrates current research in natural language semantics, with detailed analyses of English discourse, and logical tools from a variety of sources into an information theory that provides the foundation for computational systems to reason about change and the flow of time. The topic of temporal meaning in texts has received considerable attention in recent years from scholars in linguistics, logical semantics, cognitive science, and artificial intelligence. Representing Time in Natural Language offers a systematic and detailed account of how we use temporal information contained in a text or in discourse to reason about the flow of time, inferring the order in which events happened when this is not explicitly stated. A new representational toolkit is designed to formalize an appropriately context-dependent notion of situated inference. Dynamic Aspect Trees representing temporal dependencies constitute a novel and important dynamic temporal logic that makes it easy to see what follows when from the information given in an ordinary English text. Ter Meulen makes use of some of the fundamental assumptions of Situation Semantics and incorporates the dynamic methodology embodied in Discourse Representation Theory and in other dynamic logics into her temporal logic. The result is a computational inference system that can be applied across the board to fragments of natural languages.
Grammar, Comparative and general --- Space and time in language. --- Space and time in language --- Languages & Literatures --- Philology & Linguistics --- Temporal constructions. --- Verb. --- Temporal constructions --- Verb --- Temporal constructions (Grammar) --- Language and languages --- Verb phrase --- Verbals --- Reflexives --- Syntax --- LINGUISTICS & LANGUAGE/General --- Linguistics --- Philology --- Grammar --- Temporalité (Linguistique) --- Verbe (Linguistique) --- Espace et temps dans le langage
Choose an application
Choose an application
Choose an application
Choose an application
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. Completely revised and updated - includes over 25% new materialDiscusses the interface between logic and langua
Mathematical logic --- Lexicology. Semantics --- Logic, Symbolic and mathematical. --- Natural language processing (Computer science) --- Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague es
Logic --- Artificial intelligence. Robotics. Simulation. Graphics --- Lexicology. Semantics --- Philosophy of language --- Linguistics --- Logic, Symbolic and mathematical --- Natural language processing (Computer science) --- Semantics --- 800.1 --- 800.1 Taalfilosofie --- Taalfilosofie --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Linguistic science --- Science of language --- Logic, Symbolic and mathematical. --- Semantics. --- Linguistics. --- Language and logic. --- Logique symbolique et mathématique --- Traitement automatique des langues naturelles --- Sémantique --- Langage et logique --- Linguistique --- ELSEVIER-B EPUB-LIV-FT --- Natural language processing (Computer science).
Choose an application
Lexicology. Semantics --- Grammar, Comparative and general --- Logic --- Quantificateurs (Linguistique) --- Logique --- Quantifiers --- Congresses --- Congrès --- Grammaire comparée et générale --- Congresses. --- Quantifieurs --- Congrès. --- -801.56 --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Language and languages --- Philosophical grammar --- Linguistics --- Philology --- -Congresses --- Syntaxis. Semantiek --- Grammar, Comparative --- 801.56 Syntaxis. Semantiek --- Congrès --- 801.56 --- Quantifiers&delete& --- Grammaire comparée et générale --- Congrès. --- Quantifieurs (linguistique)
Choose an application
Translation science --- Semantics --- Philology & Linguistics --- Languages & Literatures --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Sémantique
Choose an application
Grammar, Comparative and general --- Logic --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Language and languages --- Philosophical grammar --- Linguistics --- Philology --- Quantifiers --- Grammar, Comparative
Listing 1 - 10 of 11 | << page >> |
Sort by
|