10568 search results - page 217 / 2114 » Computer Intelligence and Formalization |
218
click to vote
ICAIL
2003
ACM
16 years 13 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
152
click to vote
COLCOM
2005
IEEE
16 years 24 days ago
2005
IEEE
P2P data stores achieve high data availability by introducing replication of data. As a consequence, searching data may require to follow several routing paths introducing additio...
198
click to vote
ICSOC
2005
Springer
16 years 20 days ago
2005
Springer
Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweigh...
160
click to vote
ICALP
2004
Springer
16 years 16 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
187
click to vote
ACL
2008
15 years 8 months ago
2008
We propose the use of regular tree grammars (RTGs) as a formalism for the underspecified processing of scope ambiguities. By applying standard results on RTGs, we obtain a novel a...