VDict - Definition of AGM Theory for Belief Revision

search result for AGM Theory for Belief Revision in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

operational semantics linear argument Institut National de Recherche en Informatique et Automatique Mu static analysis Bird-Meertens Formalism rdb Busy Beaver monad infinite automaton toy language Church of the SubGenius Basic Encoding Rules constructor GAP functor chromatic number black art least upper bound open/closed principle typed lambda-calculus relational algebra eta conversion evaluator Richard Hamming transitive closure metaheuristic Hamiltonian problem bottom-unique combinator Concrete Data Structure Actors quantum bogodynamics Discordianism Head Normal Form Cornell University greatest lower bound computability theory entropy Stephen Kleene tree Domain Analysis A. K. Erlang intuitionistic logic meme Liskov substitution principle head-strict Neutrosophy compact Management Information Base Turing Machine partial ordering quantum computer dual Simple Network Management Protocol version 2 axiomatic semantics fat electrons John von Neumann state transparent icon constructive Interest Group in Pure and Applied Logics abstract machine linear type chain model checking category union Use the Source Luke delta reduction bit rot gedanken powerdomain games BIFF Intel 486SX Banach space type

First < Previous 1 2 3 4 Next > Last