£41.00

VDM Verlag Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

Price data last checked 66 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£41 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 25 days • 25 data points (No recent data available)

Historical
Generating forecast...
£41.00 £38.95 £39.77 £40.59 £41.41 £42.23 £43.05 12 March 2026 18 March 2026 24 March 2026 30 March 2026 05 April 2026

Price Distribution

Price distribution over 25 days • 1 price levels

Days at Price
25 days 0 6 13 19 25 £41 Days at Price

Price Analysis

Most common price: £41 (25 days, 100.0%)

Price range: £41 - £41

Price levels: 1 different prices over 25 days

Description

One of the challenges of today`s information society is to cope with the immense amount of digitally stored texts. Progress in this area could be made if computers could somehow understand these texts or even answer questions about their content.This Master`s thesis describes a possible approach to this challenge. It examines how computers could answer common sense questions on a text by combining natural language processing, automated reasoning and ontological knowledge. A practical side describes a prototypical system that applies a theorem prover to natural language and ontological knowledge. A theoretical side is concerned with the transformation of Higher Order Logic, which is used in the ontology, to First Order Logic that can be digested by theorem provers. Particular attention is paid to the efficient handling of equality and the adequate representation of propositional predicates in First Order Logic. These experiences and analyses could be first stepping stones towards opening the world of natural language reasoning to computers. About the Author Bachelor of Science in Cognitive Science from the University of Osnabrück/Germany. Master of Science in Computer Science from the University of Saarbrücken/Germany. Researcher at the Max-Planck-Institute for Computer Science in Saarbrücken/Germany.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
24 April 2008
Listed Since
20 May 2008

Barcode

No barcode data available

Similar Products You Might Like

Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference: 1st
96% match

Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference: 1st

Morgan Kaufmann

£43.99 06 Mar 2026
Description Logics in Multimedia Reasoning
96% match

Description Logics in Multimedia Reasoning

Springer

£80.65 06 Mar 2026
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
96% match

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Springer

£78.47 07 Jan 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
96% match

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

£76.14 08 Apr 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.25 03 Mar 2026
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
96% match

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

£107.73 13 Apr 2026
Logic with Trees: An Introduction to Symbolic Logic
96% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£42.95 15 Feb 2026
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
96% match

AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)

Springer

£103.91 28 Feb 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
96% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026
Logical Foundations of Artificial Intelligence
96% match

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

£49.99 20 Feb 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
96% match

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

£84.63 10 Jan 2026
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
96% match

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

£105.00 26 Feb 2026
Logic with Trees: An Introduction to Symbolic Logic
96% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£133.39 13 Jan 2026
Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic
96% match

Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic

Bloomsbury Academic

£83.74 25 Feb 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£157.85 10 Mar 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
96% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£107.43 10 Mar 2026
Oxford University Press - Fragments of First-Order Logic
96% match

Oxford University Press - Fragments of First-Order Logic

Oxford University Press

£128.82 19 Apr 2026
Routledge Logic Works - Introduction to Formal Logic Book
96% match

Routledge Logic Works - Introduction to Formal Logic Book

Routledge

£137.61 12 Apr 2026
Logic Works: A Rigorous Introduction to Formal Logic
96% match

Logic Works: A Rigorous Introduction to Formal Logic

Routledge

£52.99 08 Feb 2026
Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)
96% match

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

Springer

£118.12 03 Apr 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
96% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.53 13 Apr 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
96% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Logical Form: Between Logic and Natural Language: 393 (Synthese Library, 393)
96% match

Logical Form: Between Logic and Natural Language: 393 (Synthese Library, 393)

Springer

£63.34 08 Mar 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026