Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples - Image 1

£85.00

Südwestdeutscher Verlag für Hochschulschriften Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Introduction

Price data last checked 70 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.

£85 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 21 days • 21 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 21 days • 1 price levels

Days at Price

Price Analysis

Most common price: £85 (21 days, 100.0%)

Price range: £85 - £85

Price levels: 1 different prices over 21 days

Description

We study the extension of techniques from Inductive Logic Programming (ILP) to temporal logic programming languages. Therefore we present two temporal logic programming languages and analyse the learnability of programs from these languages from finite sets of examples. In first order temporal logic the following topics are analysed: How can we characterize the denotational semantics of programs? Which proof techniques are best suited? How complex is the learning task? In propositional temporal logic we analyse the following topics: How can we use well known techniques from model checking in order to refine programs? How complex is the learning task? In both cases we present estimations for the VC-dimension of selected classes of programs.

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 383812149X
Category: Books > Subjects > Computing & Internet > Programming > Introduction
Domain: Amazon UK
Release Date: 31 October 2010
Listed Since: 03 November 2010

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)

Time & Logic: A Computational Approach (Routledge Revivals)

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

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

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

Logic Programming: A Classified Bibliography

Clause and Effect: Prolog Programming for the Working Programmer

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

An Introduction to Practical Formal Methods Using Temporal Logic

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

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

Prolog Versus You: An Introduction to Logic Programming

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)

The Implementation of Prolog (Princeton Legacy Library) (Princeton Series in Computer Science)

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Logic And Language Models For Computer Science (Third Edition)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

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

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size