-
1
-
-
0005598734
-
The forspec temporal logic: A new temporal property-specification language
-
R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, and Y. Zbar. The forspec temporal logic: A new temporal property-specification language. In TACAS, 2002.
-
(2002)
TACAS
-
-
Armoni, R.1
Fix, L.2
Flaisher, A.3
Gerth, R.4
Ginsburg, B.5
Kanza, T.6
Landver, A.7
Mador-Haim, S.8
Singerman, E.9
Tiemeyer, A.10
Vardi, M.Y.11
Zbar, Y.12
-
2
-
-
84896064276
-
Planning for temporally extended goals
-
F. Bacchus and F. Kabanza. Planning for temporally extended goals. In AAAI, 1996.
-
(1996)
AAAI
-
-
Bacchus, F.1
Kabanza, F.2
-
3
-
-
0033897011
-
Using temporal logics to express search control knowledge for planning
-
F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artif. Intell., 116(1-2):123-191, 2000.
-
(2000)
Artif. Intell
, vol.116
, Issue.1-2
, pp. 123-191
-
-
Bacchus, F.1
Kabanza, F.2
-
5
-
-
84860561066
-
Planning with qualitative temporal preferences
-
M. Bienvenu, C. Fritz, and S. A. McIlraith. Planning with qualitative temporal preferences. In KR, 2006.
-
(2006)
KR
-
-
Bienvenu, M.1
Fritz, C.2
McIlraith, S.A.3
-
6
-
-
79954843160
-
Specifying and computing preferred plans
-
M. Bienvenu, C. Fritz, and S. A. McIlraith. Specifying and computing preferred plans. Artif. Intell., 175(7-8):1308-1345, 2011.
-
(2011)
Artif. Intell
, vol.175
, Issue.7-8
, pp. 1308-1345
-
-
Bienvenu, M.1
Fritz, C.2
McIlraith, S.A.3
-
7
-
-
33749388943
-
Symbolic implementation of alternating automata
-
R. Bloem, A. Cimatti, I. Pill, M. Roveri, and S. Semprini. Symbolic implementation of alternating automata. Implementation and Application of Automata, LNCS 4094, 2006.
-
(2006)
Implementation and Application of Automata LNCS 4094
-
-
Bloem, R.1
Cimatti, A.2
Pill, I.3
Roveri, M.4
Semprini, S.5
-
8
-
-
0002824996
-
On equations for regular languages, finite automata, and sequential networks
-
J. A. Brzozowski and E. L. Leiss. On equations for regular languages, finite automata, and sequential networks. Theor. Comput. Sci., 10:19-35, 1980.
-
(1980)
Theor. Comput. Sci
, vol.10
, pp. 19-35
-
-
Brzozowski, J.A.1
Leiss, E.L.2
-
9
-
-
70350098746
-
Weak second-order arithmetic and finite automata
-
J. R. Büchi. Weak second-order arithmetic and finite automata. Zeit. Math. Logik. Grund. Math., 6:66-92, 1960.
-
(1960)
Zeit. Math. Logik. Grund. Math
, vol.6
, pp. 66-92
-
-
Büchi, J.R.1
-
10
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
T. Bylander. The computational complexity of propositional STRIPS planning. Artif. Intell., 69(1-2):165-204, 1994.
-
(1994)
Artif. Intell
, vol.69
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
11
-
-
0043027541
-
Reasoning about actions and planning in LTL action theories
-
D. Calvanese, G. De Giacomo, and M. Y. Vardi. Reasoning about actions and planning in LTL action theories. In KR, 2002.
-
(2002)
KR
-
-
Calvanese, D.1
De Giacomo, G.2
Vardi, M.Y.3
-
13
-
-
0038256832
-
Automata-theoretic approach to planning for temporally extended goals
-
G. De Giacomo and M. Y. Vardi. Automata-theoretic approach to planning for temporally extended goals. In ECP, 1999.
-
(1999)
ECP
-
-
De Giacomo, G.1
Vardi, M.Y.2
-
16
-
-
84944056157
-
Decision problems of finite automata design and related arithmetics
-
C. C. Elgot. Decision problems of finite automata design and related arithmetics. Trans. Amer. Math. Soc., 98:21-52, 1961.
-
(1961)
Trans. Amer. Math. Soc
, vol.98
, pp. 21-52
-
-
Elgot, C.C.1
-
18
-
-
84893361816
-
Synthesizing agent protocols from LTL specifications against multiple partially observable environments
-
P. Felli, G. De Giacomo, and A. Lomuscio. Synthesizing agent protocols from LTL specifications against multiple partially observable environments. In KR, 2012.
-
(2012)
KR
-
-
Felli, P.1
De Giacomo, G.2
Lomuscio, A.3
-
19
-
-
0018454915
-
Propositional dynamic logic of regular programs
-
M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. J. Comput. Syst. Sci., 18:194-211, 1979.
-
(1979)
J. Comput. Syst. Sci
, vol.18
, pp. 194-211
-
-
Fischer, M.J.1
Ladner, R.E.2
-
20
-
-
66149169135
-
Precondition control and the progression algorithm
-
A. Gabaldon. Precondition control and the progression algorithm. In KR, 2004.
-
(2004)
KR
-
-
Gabaldon, A.1
-
27
-
-
0008200158
-
Succint representation of regular languages by boolean automata
-
E. L. Leiss. Succint representation of regular languages by boolean automata. Theor. Comput. Sci., 13:323-330, 1981.
-
(1981)
Theor. Comput. Sci
, vol.13
, pp. 323-330
-
-
Leiss, E.L.1
-
28
-
-
0031126053
-
GOLOG: A logic programming language for dynamic domains
-
H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. GOLOG: A logic programming language for dynamic domains. J. of Logic Programming, 31:59-84, 1997.
-
(1997)
J. of Logic Programming
, vol.31
, pp. 59-84
-
-
Levesque, H.J.1
Reiter, R.2
Lesperance, Y.3
Lin, F.4
Scherl, R.5
-
29
-
-
0014638440
-
Some philosophical problems from the standpoint of aritificial intelligence
-
J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of aritificial intelligence. Machine Intelligence, 4:463-502, 1969.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
32
-
-
78149368184
-
Enacting declarative languages using LTL: Avoiding errors and improving performance
-
M. Pešić, D. Bošnački, and W. van der Aalst. Enacting declarative languages using LTL: avoiding errors and improving performance. Model Checking Software, 2010.
-
(2010)
Model Checking Software
-
-
Pešić, M.1
Bošnački, D.2
Aalst Der W.Van3
-
33
-
-
85047040703
-
The temporal logic of programs
-
A. Pnueli. The temporal logic of programs. In FOCS, 1977.
-
(1977)
FOCS
-
-
Pnueli, A.1
-
34
-
-
84896062528
-
The glory of the past
-
June 17-19, 1985
-
A. Pnueli, O. Lichtenstein, and L. Zuck. The Glory of The Past. Logics of Programs: Brooklyn, June 17-19, 1985, 193:194, 1985.
-
(1985)
Logics of Programs: Brooklyn
, pp. 193-194
-
-
Pnueli, A.1
Lichtenstein, O.2
Zuck, L.3
-
35
-
-
0024864157
-
On the synthesis of a reactive module
-
A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL, 1989.
-
(1989)
POPL
-
-
Pnueli, A.1
Rosner, R.2
-
37
-
-
0022092438
-
The complexity of propositional linear temporal logics
-
July
-
A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. J. ACM, 32(3):733-749, July 1985.
-
(1985)
J ACM
, vol.32
, Issue.3
, pp. 733-749
-
-
Sistla, A.P.1
Clarke, E.M.2
-
38
-
-
84896062017
-
Preferred explanations: Theory and generation via planning
-
S. Sohrabi, J. A. Baier, and S. A. McIlraith. Preferred explanations: Theory and generation via planning. In AAAI, 2011.
-
(2011)
AAAI
-
-
Sohrabi, S.1
Baier, J.A.2
McIlraith, S.A.3
-
39
-
-
4243137233
-
Cosmological lower bound on the circuit complexity of a small problem in logic
-
L. J. Stockmeyer and A. Meyer. Cosmological lower bound on the circuit complexity of a small problem in logic. J. ACM, 49(6):753-784, 2002.
-
(2002)
J ACM
, vol.49
, Issue.6
, pp. 753-784
-
-
Stockmeyer, L.J.1
Meyer, A.2
-
40
-
-
0018506517
-
Star-free regular sets of ω-sequences
-
W. Thomas. Star-free regular sets of ω-sequences. Information and Control, 42(2):148-156, 1979.
-
(1979)
Information and Control
, vol.42
, Issue.2
, pp. 148-156
-
-
Thomas, W.1
-
42
-
-
0039016140
-
Finite automata and monadic second order logic
-
Russian
-
B. Trakhtenbrot. Finite automata and monadic second order logic. Siberian Math. J, 3:101-131, 1962. Russian
-
(1962)
Siberian Math. J
, vol.3
, pp. 101-131
-
-
Trakhtenbrot, B.1
-
43
-
-
0346934337
-
-
English translation in: AMS Transl. 59 (1966), 23-55.
-
(1966)
AMS Transl
, vol.59
, pp. 23-55
-
-
-
47
-
-
0002249938
-
Classifying discrete temporal properties
-
T. Wilke. Classifying discrete temporal properties. STACS,1999.
-
(1999)
STACS
-
-
Wilke, T.1
-
48
-
-
0020496645
-
Temporal logic can be more expressive
-
P.Wolper. Temporal logic can be more expressive. Information and Control, 56(1/2):72-99, 1983.
-
(1983)
Information and Control
, vol.56
, Issue.1-2
, pp. 72-99
-
-
Wolper, P.1
|