Showing 1 - 3 results of 3 for search 'Dimitar P. Guelev', query time: 0.02s Refine Results
  1. 1
    Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

    Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems by Dimitar P. Guelev

    Published 2007-07-01
    Get full text
    Article
  2. 2
    Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

    Reducing Validity in Epistemic ATL to Validity in Epistemic CTL by Dimitar P. Guelev

    Published 2013-03-01
    Get full text
    Article
  3. 3
    Refining and Delegating Strategic Ability in ATL

    Refining and Delegating Strategic Ability in ATL by Dimitar P. Guelev

    Published 2014-04-01
    Get full text
    Article

Search Tools: