Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Fionda V and Greco G. (2018). LTL on finite and process traces. Journal of Artificial Intelligence Research. 63:1. (557-623). Online publication date: 1-Sep-2018.

    https://doi.org/10.1613/jair.1.11256

  • Schuppan V. (2016). Enhancing unsatisfiable cores for LTL with information on temporal relevance. Theoretical Computer Science. 655:PB. (155-192). Online publication date: 6-Dec-2016.

    https://doi.org/10.1016/j.tcs.2016.01.014

  • Schuppan V. (2016). Extracting unsatisfiable cores for LTL via temporal resolution. Acta Informatica. 53:3. (247-299). Online publication date: 1-Apr-2016.

    https://doi.org/10.1007/s00236-015-0242-1

  • Bresolin D, Muñoz-Velasco E and Sciavicco G. Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761. (122-136).

    https://doi.org/10.1007/978-3-319-11558-0_9

  • Artale A, Kontchakov R, Ryzhikov V and Zakharyaschev M. (2014). A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Transactions on Computational Logic. 15:3. (1-50). Online publication date: 8-Jul-2014.

    https://doi.org/10.1145/2629565

  • Gaintzarain J and Lucio P. (2013). Logical foundations for more expressive declarative temporal logic programming languages. ACM Transactions on Computational Logic. 14:4. (1-41). Online publication date: 1-Nov-2013.

    https://doi.org/10.1145/2528931

  • Konur S. (2013). A survey on temporal logics for specifying and verifying real-time systems. Frontiers of Computer Science: Selected Publications from Chinese Universities. 7:3. (370-403). Online publication date: 1-Jun-2013.

    https://doi.org/10.1007/s11704-013-2195-2

  • Gaintzarain J, Hermo M, Lucio P, Navarro M and Orejas F. A cut-free and invariant-free sequent calculus for PLTL. Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic. (481-495).

    /doi/10.5555/2392389.2392435

  • Konev B, Wolter F and Zakharyaschev M. Temporal logics over transitive states. Proceedings of the 20th international conference on Automated Deduction. (182-203).

    https://doi.org/10.1007/11532231_14

  • Fisher M. Implementing temporal logics. Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems. (129-142).

    https://doi.org/10.1007/11750734_8

  • Gago M, Fisher M and Dixon C. Algorithms for Guiding Clausal Temporal Resolution. Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence. (235-252).

    /doi/10.5555/647621.732228