151
Voted
CGO
2006
IEEE
15 years 7 months ago
2006
IEEE
Class hierarchies in object-oriented programs are used to capture various attributes of the underlying objects they represent, allowing programmers to encapsulate common attribute...
141
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
67
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
136
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Thinking about how the law might decide whether to extend legal personhood to artificial agents provides a valuable testbed for philosophical theories of mind. Further, philosophic...
