10568 search results - page 217 / 2114 » Computer Intelligence and Formalization |
136
click to vote
ICAIL
2003
ACM
15 years 8 months 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...
106
click to vote
COLCOM
2005
IEEE
15 years 8 months 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...
130
click to vote
ICSOC
2005
Springer
15 years 8 months 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...
105
click to vote
ICALP
2004
Springer
15 years 8 months 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...
124
click to vote
ACL
2008
15 years 4 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...