Knowledge-based programs
From MaRDI portal
Knowledge-based programs (AFP entry KBPs)
- Code generation via higher-order rewrite systems
- Common knowledge and update in finite environments
- Computer Aided Verification
- Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
- Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings
- Data Refinement
- Describing an algorithm by Hopcroft
- Essentials of game theory. A concise, multidisciplinary introduction.
- Finite state implementations of knowledge-based programs (extended abstract)
- Formalizing the Logic-Automaton Connection
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
- Interpretation of Locales in Isabelle: Theories and Proof Contexts
- Isabelle/HOL. A proof assistant for higher-order logic
- Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
- Knowledge in multiagent systems: initial configurations and broadcast
- Knowledge-based programs
- Logic for Programming, Artificial Intelligence, and Reasoning
- Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14--18, 2005. Proceedings.
- Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11--12, 2006. Proceedings.
- Minimal state graph generation
- The Isabelle collections framework
- Three Partition Refinement Algorithms
- VERICS 2007 -- a model checker for knowledgee and real-time
This page was built for software: Knowledge-based programs
