Logic and Proof. Argument An argument is a sequence of statements. All statements but the first one are called assumptions or hypothesis. The final statement.
Hierarchical and Recursive State Machines with Context- Dependent Properties Salvatore La Torre, Margherita Napoli, Mimmo Parente and Gennaro Parlato Dipartimento.
Artificial Intelligence Planning
LDK R Logics for Data and Knowledge Representation Propositional Logic Originally by Alessandro Agostini and Fausto Giunchiglia Modified by Fausto Giunchiglia,
Artificial Intelligence
D isc r e t e
INF02511: Knowledge Engineering Reasoning about Knowledge (a very short introduction)
Translating from logic to automata Book: Chapter 6
Hierarchical and Recursive State Machines with Context-Dependent Properties
Mat. Abstract
Translating from logic to automata