Cover Image

Challenges for action theories /

Bibliographic Details
Main Author:	Thielscher, Michael
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1775. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer logic. System design. Formal methods (Computer science) robotique. méthode formelle. logique formelle. ramification. Logique informatique. Systèmes, Conception de. Méthodes formelles (Informatique) Kunstmatige intelligentie. Inteligencia Artificial (Computacao) Logica matematica. Handlungslogik. Automatische Handlungsplanung. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /
Published: (2001)

Cafe : an industrial-strength algebraic formal method /
Published: (2000)

Cafe : an industrial-strength algebraic formal method /
Published: (2000)

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl /
Published: (2004)

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
Published: (2002)

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
Published: (2000)

Modern formal methods and applications /
Published: (2006)

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
Published: (2002)

Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings /
Published: (2004)

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
Published: (2004)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
Published: (2004)

Formal logic.
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1962)

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
Published: (2005)

Software specification methods : an overview using a case study /
Published: (2001)

Formal models of agents : ESPRIT Project ModelAge final workshop selected papers /
Published: (1999)

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /
Published: (2003)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Formal methods and object technology /
Published: (1996)

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
Published: (2006)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings /
Published: (2005)

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings /
Published: (2000)

Software specification methods /
Published: (2006)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings /
Published: (2003)

Learning language in logic /
Published: (2000)

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers /
Published: (2004)

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings /
Published: (1999)

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
Published: (2002)

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
Published: (2005)

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
Published: (1999)

Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures /
Published: (2003)

Validated designs for object-oriented systems /
Published: (2005)

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /
Published: (1998)

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
Published: (2004)

Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /
Published: (2002)

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
Published: (2006)

Practical UML statecharts in C/C++ : event-driven programming for embedded systems /
by: Samek, Miro
Published: (2009)

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
Published: (2005)