MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Reading Agent." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

A Truly Concurrent View of Linda Interprocess Communication
by N. Busi, R. Gorrieri, G. Zavattaro — 1997
… is introduced to represent the request of reading message a without consuming it. ffl The agent hai can…
Cited by 5 (4 self) – Add To MetaCart

How to represent knowledge and belief? (Extended Abstract)
by Ho Ngoc Duc — 1996
… it at this state. Thus, we consider epistemic statements of the form: "Agent i knows A in n units of time" (read…
Add To MetaCart

Action Concepts for Describing Organised Interaction
by Filipe A. A. Santos , Andrew J. I. Jones , Jose M. C. L. M. Campos — 1997
…, here designated by E i , where expressions of the form E i A are read "the agent i brings it about…
Cited by 27 (0 self) – Add To MetaCart

Towards a Calculus for Generative Communication
by P. Ciancarini, R. Gorrieri, G. Zavattaro — 1996
… and it can be read by an agent which performs a read operation: hai a \Gamma! hai The labels a and a…
Cited by 11 (4 self) – Add To MetaCart

Common knowledge does not have the
by unknown authors
…. The formula ✷iA is read as agent i knows A and the formula CA is read as A is common knowledge…
Add To MetaCart

Grounding and the expression of belief
by Benoit Gaudou, Andreas Herzig, Dominique Longin, Université Paul Sabatier — 2006 — in Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR
… an accessibility relation Ci to each i ∈ AGT . Ci(w) denote the set of worlds the agent i prefers. ChiA reads…
Cited by 2 (1 self) – Add To MetaCart

Some Remarks on Alternating Temporal Epistemic Logic
by Wojciech Jamroga — 2004 — Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003
… quantifiers # and #. The common-sense reading of ##A### is: "the group of agents A have a collective…
Cited by 14 (8 self) – Add To MetaCart

A Mobility Calculus with Local and Dependent Types
by Federico Cozzi, Mariangiola Dezani-ciancaglini, Elio Giovannetti, Rosario Pugliese — 2005 — Processes, Terms and Cycles: Steps on the Road to Infinity, volume 3838 of LNCS
… in the journal contains the variable y: the journal will thus accept any reading agent coming from a download…
Cited by 5 (3 self) – Add To MetaCart

Reasoning about Failure
by Andreas Herzig Irit, Universite Paul Sabatier, Route De Narbonne, F- Toulouse Cedex
… AGT .We associate a modal operator Si to every i 2 AGT . The formula SiA is read"agent i said A…
Add To MetaCart

Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems
by Michael Wooldridge — 1995
… (Konolige, 1986a). The formula (Do i a) is read `agent i performs the action a '. The formula (Send i j j…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB