.png){kind=icon}
.png){kind=icon}
Return
Asymptotic Reasoning With Two Variables
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99536-1_3.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
We study asymptotic probabilities of formal languages specified by logical formulas. We focus on first-order sentences. We prove several results related to the asymptotic tractability of the two-variable fragment. Those results amount to show that asymptotic reasoning with two variables is feasible. We study some applications that are related to temporal reasoning.
Keywords:
AUTOMATA
Journal
L
IF:
0
Papers:
21
Citations:
0