Membership Details ()
Contact:
Member node: 096
>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details
Book
Bontemps, Y. and Schobbens, P.Y.
(2003)
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
.
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.
.
Ryan, M. and Schobbens, P.Y.
(2002)
Operators and Laws for Combining Preference Relations.
Journal of Logic and Computation.
.
Ryan, M. and Schobbens, P.Y.
(2001)
Agents and Roles: Refinement in Alternating-Time Temporal Logic.
ATAL.
.
SCHOBBENS, P.Y. and RASKIN, J.F. and HENZINGER, T.
(2001)
Axioms for real-time logics.
Theoretical Computer Science.
.
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.
.
PETIT, M. and HEYMANS, P. and SCHOBBENS, P.Y.
(1991)
Formal Models of Agents.
Springer LNAI.
.
This list was generated on Mon Sep 10 16:39:09 BST 2007. |
