1615 search results - page 36 / 323 » What's New |
171
click to vote
ECIS
2000
15 years 7 months ago
2000
- Computer based information systems (IS) in work-based organisation are generally acknowledged as incorporating a social as well as technical dimension. Information system strateg...
145
click to vote
ICMAS
1998
15 years 7 months ago
1998
Multi-agent models of language evolution usually involve agents giving names to internal independently constructed categories. We present an approach in which the creation of cate...
155
click to vote
UAI
1994
15 years 7 months ago
1994
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
187
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
180
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...