Challenges for action theories

Challenges for action theories

Saved in:

Bibliographic Details
Main Author:	Thielscher, Michael
Format:	Book
Published:	Berlin Springer 2000
Series:	Lecture notes in artificial intelligence; 1775 : Lecture notes in computer science
Subjects:	System design Computer logic Formal methods (Computer science)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dynamic logic
by: Harel, David 1950-
Published: (2000)

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000
Published: (2001)

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

Verification of reactive systems formal methods and algorithms
by: Schneider, Klaus 1967-
Published: (2004)

Petri nets for systems engineering a guide to modeling, verification, and applications
by: Girault, Claude, et al.
Published: (2003)

Formal models of agents ESPRIT project modelage final workshop selected papers
Published: (1999)

Software specification method
Published: (2006)

Elements of the theory of computation
by: Lewis, Harry R
Published: (1981)

Elements of the theory of computation
by: Lewis, Harry R.
Published: (1998)

Teamwork in multi-agent systems a formal approach
by: Dunin-Keplicz, Barbara
Published: (2010)

Automatic syntactic analysis
by: Foster, J. M. John Michael
Published: (1970)

Modeling and verification of real-time systems formalisms and software tools
Published: (2008)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Published: (2010)

Language constructs for describing features proceedings of the FIREworks workshop
Published: (2001)

Theory of formal languages with applications
by: Simovici, Dan A.
Published: (1999)

Using formal description techniques an introduction to Estelle, LOTOS, and SDL
Published: (1993)

Grammars for programming languages
by: Cleaveland, J. Craig
Published: (1977)

Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000
Published: (2000)

An object-oriented approach to programming logic and design
by: Farrell, Joyce
Published: (2013)

Communicating embedded systems software and design : formal methods
Published: (2010)

Evolving knowledge bases specification and semantics
by: Leite, Joao Alexandre
Published: (2003)

Logic programming and knowledge engineering
by: Amble, Tore 1945-
Published: (1987)

Introduction to automata theory, languages, and computation
by: Hopcroft, John E. 1939-
Published: (1979)

Introduction to automata theory, languages, and computation
by: Hopcroft, John E 1939-
Published: (2001)

Introduction to automata theory, languages, and computation
by: Hopcroft, John E. 1939-
Published: (2007)

Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)

A pragmatic introduction to the finite element method for thermal and stress analysis
by: Krysl, Petr
Published: (2006)

Process algebra for parallel and distributed processing
Published: (2009)

Computer logic design principles and applications
by: Hsu, John Y.
Published: (2002)

Algebraic and automata-theoretic properties of formal languages
by: Ginsburg, Seymour 1927-
Published: (1975)

Categorial combinators, sequential algorithms, and functional programming
by: Curien, Pierre-Louis
Published: (1993)

Grammar and L forms an introduction
by: Wood, Derick l940-
Published: (1980)

Categorical combinators, sequential algorithms, and functional programming
by: Curien, P.-L. (Pierre-Louis
Published: (1993)

Logic and language models for computer science
by: Hamburger, Henry
Published: (2002)

Formal groups and applications
by: Hazewinkel, Michiel
Published: (1978)

Formal languages
by: Salomaa, Arto
Published: (1987)

Simple program schemes and formal languages
by: Engelfriet, Joost
Published: (1974)

Learning language in logic
Published: (2000)

Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986)