Pages that link to "Item:Q4351796"

The following pages link to A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution (Q4351796):

Displayed 14 items.

• Agent deliberation in an executable temporal framework (Q456706) ‎ (← links)
• First-order temporal verification in practice (Q851137) ‎ (← links)
• Exploring the future with resource-bounded agents (Q1006514) ‎ (← links)
• Backdoors for linear temporal logic (Q1725638) ‎ (← links)
• Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) ‎ (← links)
• First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) ‎ (← links)
• SAT-based explicit LTL reasoning and its application to satisfiability checking (Q2335900) ‎ (← links)
• Mechanising first-order temporal resolution (Q2486579) ‎ (← links)
• Alternating automata and temporal logic normal forms (Q2488275) ‎ (← links)
• Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) ‎ (← links)
• Theorem proving using clausal resolution: from past to present (Q2695485) ‎ (← links)
• A clausal resolution method for CTL branching-time temporal logic (Q4421285) ‎ (← links)
• A temporal negative normal form which preserves implicants and implicates (Q4443401) ‎ (← links)
• A separation theorem for discrete-time interval temporal logic (Q5074367) ‎ (← links)