Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2250/2001
DOI10.1007/3-540-45653-8
Copyright2001
ISBN978-3-540-42957-9
Subject CollectionComputer Science
SpringerLink DateMonday, June 30, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
50 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | Next
Front Matter

Front MatterPDF (84.9 KB)

  
Chapter
Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
Ian Hodkinson, Frank Wolter and Michael Zakharyaschev
DOI: 10.1007/3-540-45653-8_1
Full TextPDF (279.6 KB)
 1-23
Chapter
On Bounded Specifications
Orna Kupferman and MosheY. Vardi
DOI: 10.1007/3-540-45653-8_2
Full TextPDF (172.9 KB)
 24-38
Chapter
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy
K. Schneider
DOI: 10.1007/3-540-45653-8_3
Full TextPDF (234.5 KB)
 39-54
Chapter
Local Temporal Logic Is Expressively Complete for Cograph Dependence Alphabets
Volker Diekert and Paul Gastin
DOI: 10.1007/3-540-45653-8_4
Full TextPDF (207.1 KB)
 55-69
Chapter
Games and Model Checking for Guarded Logics
Dietmar Berwanger and Erich Grädel
DOI: 10.1007/3-540-45653-8_5
Full TextPDF (199.2 KB)
 70-84
Chapter
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
Lilia Georgieva, Ullrich Hustadt and Renate A. Schmidt
DOI: 10.1007/3-540-45653-8_6
Full TextPDF (222.9 KB)
 85-99
Chapter
Logical Omniscience and the Cost of Deliberation
Natasha Alechina and Brian Logan
DOI: 10.1007/3-540-45653-8_7
Full TextPDF (131.8 KB)
 100-109
Chapter
Local Conditional High-Level Robot Programs
Sebastian Sardiña
DOI: 10.1007/3-540-45653-8_8
Full TextPDF (185.9 KB)
 110-124
Chapter
A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents
Kai Engelhardt, Ron van der Meyden and Yoram Moses
DOI: 10.1007/3-540-45653-8_9
Full TextPDF (871.2 KB)
 125-141
Chapter
Proof and Model Generation with Disconnection Tableaux
Reinhold Letz and Gernot Stenz
DOI: 10.1007/3-540-45653-8_10
Full TextPDF (205.2 KB)
 142-156
Back Matter

Back MatterPDF (23.4 KB)

  
50 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | Next
more options
Find


Starts With
50 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.107 • Server: mpweb04
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)