2338 search results - page 63 / 468 » Separation in Theory - Coordination in Practice |
FROCOS
2009
Springer
14 years 1 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
ECIS
2004
13 years 10 months ago
2004
In this paper we discuss a number of implications which follow from the way that the information systems discipline has developed, largely separately, from computer ethics. These ...
ICSE
2007
IEEE-ACM
14 years 3 months ago
2007
IEEE-ACM
Investigations of software development practices, processes, and techniques frequently report separately on the costs and benefits of a phenomenon under study, but rarely adequate...
AIL
2005
13 years 8 months ago
2005
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissen...