Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
July 26, 2024

Computational Aspects of Progression for Temporal Equilibrium Logic

View Full Paper
Ask AI
Bookmark
Share

Authors

TEThomas EiterDSDavide Soldà

Discussion

Loading...

Member takes

Overview

Key Points

Key points are not available for this paper at this time.

Cite This Study

Eiter et al. (2024) studied this question.

synapsesocial.com/papers/68e5ee97b6db643587583764https://doi.org/10.24963/ijcai.2024/370
View Full Paper
Ask AI
Bookmark
Share

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1On Temporal ASP with Eager Unfoldable Operators2025
  2. 2Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming2026
  3. 3Metric Temporal Equilibrium Logic over Timed Traces2024 · 5 citations
  4. 4Structural Temporal Logic for Mechanized Program Verification2025 · 1 citations
  5. 5Reducing Arbitrary Metric Temporal Formulas into Logic Programs Under Answer Set Semantics2026