|
Number of items: 8.
Ryan, M. and Schobbens, P.Y.
(2001)
Agents and Roles: Refinement in Alternating-Time Temporal Logic.
ATAL.
.
ANDREKA, H. and RYAN, M. and SCHOBBENS, P.Y.
(2002)
Agents as a Key Concept for Information Systems Requirements Engineering.
Agent-Oriented Information Systems.
.
Harding, A. and Ryan, M. and Schobbens, P.Y.
(2002)
Approximating ATL.
ATL.
.
SCHOBBENS, P.Y. and RASKIN, J.F. and HENZINGER, T.
(2001)
Axioms for real-time logics.
Theoretical Computer Science.
.
PETIT, M. and HEYMANS, P. and SCHOBBENS, P.Y.
(1991)
Formal Models of Agents.
Springer LNAI.
.
Ryan, M. and Schobbens, P.Y.
(2002)
Operators and Laws for Combining Preference Relations.
Journal of Logic and Computation.
.
Bontemps, Y. and Schobbens, P.Y.
(2003)
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
.
SCHOBBENS, P.Y. and PETIT, M.
(1998)
The Albert Approach to Agents Systems Design.
First meeting of the AgentLink Special Interest Group on Methodologies and Software Engineering for Agent Systems.
.
This list was generated on Mon Sep 10 16:55:21 BST 2007.
|
