default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFInCo@ETAPS 2005: Edinburgh, UK
- Dina Q. Goldin, Mirko Viroli:
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(5), Elsevier 2005 - Dina Q. Goldin, Mirko Viroli
:
Preface. 1-4 - Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation. 5-31 - Mark W. Johnson, Peter McBurney, Simon Parsons:
A Mathematical Model of Dialog. 33-48 - L. Gregory Meredith, Matthias Radestock:
A Reflective Higher-order Calculus. 49-67 - Leo Motus, Merik Meriste, Walter Dosch:
Time-awareness and Proactivity in Models of Interactive Computation. 69-95 - Nigel G. Walker, Marc Wennink:
Interactions in Transport Networks. 97-114 - Ian A. Mason, Carolyn L. Talcott:
Actors and Logical Analysis of Interactive Systems. 115-133 - Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
Interaction in Normative Multi-Agent Systems. 135-162 - David Keil, Dina Q. Goldin:
Adaptation and Evolution in Dynamic Persistent Environments. 163-179 - Peter Wegner, Farhad Arbab, Dina Q. Goldin, Peter McBurney, Michael Luck, David Robertson:
The Role of Agent Interaction in Models of Computing: Panelist Reviews. 181-198
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
