𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Temporal Logic Volume 827 || A graph-based approach to resolution in temporal logic

✍ Scribed by Gabbay, Dov M.; Ohlbach, Hans Jürgen

Book ID
121410420
Publisher
Springer-Verlag
Year
1994
Tongue
German
Weight
827 KB
Edition
1994
Category
Article
ISBN-13
9783540582410

No coin nor oath required. For personal study only.

✦ Synopsis

Dov M. Gabbay, Hans J. Ohlbach (eds.). Includes Bibliiographical References And Index.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Runt
[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic
✍ Qadeer, Shaz; Tasiran, Serdar 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 283 KB

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed a

[Lecture Notes in Computer Science] Rule
[Lecture Notes in Computer Science] Rule Interchange and Applications Volume 5858 || A Java Implementation of Temporal Defeasible Logic
✍ Governatori, Guido; Hall, John; Paschke, Adrian 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 183 KB

The 2009 International Symposium on Rule Interchange and Applications (RuleML 2009), collocated in Las Vegas, Nevada, with the 12th International Business Rules Forum, was the premier place to meet and to exchange ideas from all ?elds of rules technologies. The aims of RuleML 2009 were both to prese