-
1
-
-
0042886434
-
-
University of Berkeley Report
-
R. Alur, L. de Alfaro, T. A. Henzinger, S. C. Krishnan, F.Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Ta̧siran. MOCHA user manual. University of Berkeley Report, 2000.
-
(2000)
MOCHA User Manual
-
-
Alur, R.1
De Alfaro, L.2
Henzinger, T.A.3
Krishnan, S.C.4
Mang, F.Y.C.5
Qadeer, S.6
Rajamani, S.K.7
Ta̧siran, S.8
-
2
-
-
84945914804
-
Alternating refinement relations
-
International Conference on Concurrency Theory, Springer-Verlag
-
R. Alur, T. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In International Conference on Concurrency Theory, Vol.1466 of Lecture Notes in Computer Science, Springer-Verlag, pp. 163-178, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1466
, pp. 163-178
-
-
Alur, R.1
Henzinger, T.2
Kupferman, O.3
Vardi, M.4
-
3
-
-
0042908709
-
Alternating-time temporal logic
-
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49, 672-713, 2002.
-
(2002)
Journal of the ACM
, vol.49
, pp. 672-713
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
-
4
-
-
33646178489
-
Mocha: Modularity in model checking
-
Springer
-
R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Ta̧siran. Mocha: modularity in model checking. In CAV 1998: Tenth International Conference on Computeraided Verification, (LNCS Volume 1427), pp. 521-525. Springer, 1998.
-
(1998)
CAV 1998: Tenth International Conference on Computeraided Verification, (LNCS Volume 1427)
, pp. 521-525
-
-
Alur, R.1
Henzinger, T.A.2
Mang, F.Y.C.3
Qadeer, S.4
Rajamani, S.K.5
Ta̧siran, S.6
-
5
-
-
0001975827
-
Introduction to logic programming
-
J. van Leeuwen, ed. Elsevier
-
K. Apt. Introduction to logic programming. In Handbook of Theoretical Computer Science, J. van Leeuwen, ed. pp. 494-574. Elsevier, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, pp. 494-574
-
-
Apt, K.1
-
13
-
-
0003697514
-
-
Center for the Study of Language and Information, Ventura Hall, (Distributed by Chicago University Press)
-
R. Goldblatt. Logics of Time and Computation (CSLI Lecture Notes Number 7). Center for the Study of Language and Information, Ventura Hall, 1987. (Distributed by Chicago University Press).
-
(1987)
Logics of Time and Computation (CSLI Lecture Notes Number 7)
-
-
Goldblatt, R.1
-
14
-
-
0041906662
-
Coalition games and alternating temporal logics
-
J. van Benthem, ed., Siena, Italy
-
V. Goranko. Coalition games and alternating temporal logics. In Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), J. van Benthem, ed., Siena, Italy, pp. 259-272, 2001.
-
(2001)
Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII)
, pp. 259-272
-
-
Goranko, V.1
-
15
-
-
21144453887
-
Comparing semantics of logics for multi-agent systems
-
V. Goranko andW. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139, 241-280, 2004.
-
(2004)
Synthese
, vol.139
, pp. 241-280
-
-
Goranko, V.1
Jamroga, W.2
-
16
-
-
72649106869
-
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
-
To appear
-
V. Goranko and D. Shkatov. Tableau-based decision procedures for logics of strategic ability in multi-agent systems. ACM Transactions on Computational Logic, To appear, 2009.
-
(2009)
ACM Transactions on Computational Logic
-
-
Goranko, V.1
Shkatov, D.2
-
17
-
-
34548100505
-
-
Technical report, Stanford University, Stanford
-
N. Love, T. Hinrichs, and M. Genesereth. General game playing: game description language specification. Technical report, Stanford University, Stanford, 2006.
-
(2006)
General Game Playing: Game Description Language Specification
-
-
Love, N.1
Hinrichs, T.2
Genesereth, M.3
-
20
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
B. Meltzer and D. Michie, eds, Edinburgh University Press
-
J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, eds, Machine Intelligence 4, pp. 463-502. Edinburgh University Press, 1969.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
21
-
-
0042407900
-
-
PhD Thesis, ILLC Dissertation Series 2001-10. University of Amsterdam
-
M. Pauly. Logic for Social Software. PhD Thesis, ILLC Dissertation Series 2001-10. University of Amsterdam, 2001.
-
(2001)
Logic for Social Software
-
-
Pauly, M.1
-
24
-
-
72649106621
-
-
Technical Report ULCS- 09-14, Department of Computer Science, University of Liverpool
-
J. Ruan, W. van der Hoek, and M. Wooldridge. Model checking GDL through MOCHA: a case study. Technical Report ULCS-09-14, Department of Computer Science, University of Liverpool, 2009.
-
(2009)
Model Checking GDL Through MOCHA: A Case Study
-
-
Ruan, J.1
Van Der Hoek, W.2
Wooldridge, M.3
-
27
-
-
34047124635
-
Social laws in alternating time: Effectiveness, feasibility, and synthesis
-
W. van der Hoek, M. Roberts, and M.Wooldridge. Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese, 156, 1-19, 2007.
-
(2007)
Synthese
, vol.156
, pp. 11-19
-
-
Hoek Der W.Van1
Roberts, M.2
Wooldridge, M.3
-
28
-
-
4544383448
-
Time, knowledge, and cooperation: Alternating-time temporal epistemic logic and its applications
-
W. van der Hoek and M. Wooldridge. Time, knowledge, and cooperation: alternating-time temporal epistemic logic and its applications. Studia Logica, 75, 125-157, 2003.
-
(2003)
Studia Logica
, vol.75
, pp. 125-157
-
-
Van Der Hoek, W.1
Wooldridge, M.2
-
29
-
-
33750350599
-
ATL satisfiability is indeed Exp Timecomplete
-
D. Walther, C. Lutz, F. Wolter, and M. Wooldridge. ATL satisfiability is indeed ExpTimecomplete. Journal of Logic and Computation, 16, 765-787, 2006.
-
(2006)
Journal of Logic and Computation
, vol.16
, pp. 765-787
-
-
Walther, D.1
Lutz, C.2
Wolter, F.3
Wooldridge, M.4
|