^Fisher, Michael David; Gabbay, Dov M.; Vila, Lluis (2005), Handbook of Temporal Reasoning in Artificial Intelligence, Foundations of Artificial Intelligence, vol. 1, Elsevier, p. 150, ISBN9780080533360.
^Kowalski, Robert A.; Sadri, Fariba (1996), "Towards a Unified Agent Architecture That Combines Rationality with Reactivity", Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1ÔÇô2, 1996, Proceedings, Lecture Notes in Computer Science, vol. 1154, Springer-Verlag, pp. 137–149, doi:10.1007/BFb0031739, ISBN978-3-540-61814-0.
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
gabbay, separation, theorem, mathematical, logic, computer, science, named, after, gabbay, states, that, arbitrary, temporal, logic, formula, rewritten, logically, equivalent, past, future, form, future, becomes, what, must, satisfied, this, form, used, execut. In mathematical logic and computer science Gabbay s separation theorem named after Dov Gabbay states that any arbitrary temporal logic formula can be rewritten in a logically equivalent past future form I e the future becomes what must be satisfied 1 This form can be used as execution rules a MetateM program is a set of such rules 2 References Edit Fisher Michael David Gabbay Dov M Vila Lluis 2005 Handbook of Temporal Reasoning in Artificial Intelligence Foundations of Artificial Intelligence vol 1 Elsevier p 150 ISBN 9780080533360 Kowalski Robert A Sadri Fariba 1996 Towards a Unified Agent Architecture That Combines Rationality with Reactivity Logic in Databases International Workshop LID 96 San Miniato Italy July 1OCo2 1996 Proceedings Lecture Notes in Computer Science vol 1154 Springer Verlag pp 137 149 doi 10 1007 BFb0031739 ISBN 978 3 540 61814 0 This mathematical logic related article is a stub You can help Wikipedia by expanding it vte This computer science article is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Gabbay 27s separation theorem amp oldid 955843960, wikipedia, wiki, book, books, library,
