Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.
Alberto ZanardoJosé CarmoPublished in: J. Log. Comput. (1993)
Keyphrases
- computational logic
- logic programming
- management science
- model checking
- early days
- multi agent systems
- inductive logic programming
- temporal logic
- future directions
- logic programs
- computation tree logic
- real world
- artificial intelligence
- program synthesis
- machine learning
- knowledge management
- knowledge representation
- high level