Temporal Logic: From Ancient Ideas to Artificial Intelligence

TEMPORAL LOGIC Studies in Linguistics and Philosophy Volume 57 Managing Editors GENNARO CHIERCHIA, University of Mila...
Author:  Peter Øhrstrøm |  Per Hasle

57 downloads 763 Views 16MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Preface This collection represents the primary reference work for researchers and students working in the area of Tempor...

Lecture Notes in Artificial Intelligence Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes ...

FOUNDATIONS OF ARTIFICIAL INTELLIGENCE VOLUME 1 Foundations of Artificial Intelligence VOLUME 1 Series Editors J. H...

Titles in the Series Artificial Intelligence Science Beats Crime Science of Emotions Spare Parts for People Sports ...

~~i®~l i~i~Ii~ii~llll il~lllIl~II~lliilIIi~llliiIl~l!IIIIi~i ili i !iiiii~iii Artificial Intelligence ~' ~ ~ ~ ~ ...

Executing Temporal Logic Programs Ben Moszkowski address when wrote book (’84-’85): Computer Laboratory, University of C...