15754 search results - page 270 / 3151 » Programs are Knowledge Bases |
166
click to vote
OOPSLA
2007
Springer
16 years 11 days ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...
165
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
157
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Knowledge workers need to communicate and access knowledge while they work alone, in groups, sitting in their offices or on the move. This paper presents the MILK project, which ai...