11436 search results - page 418 / 2288 » Modeling Real Reasoning |
177
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. Organizational models specify the desired behaviour in terms of roles, relati...
120
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
172
Voted
KR
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
129
click to vote
LPAR
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
87
Voted
DLOG
2003
15 years 6 months ago
2003
In this paper we describe our work on representing and constructing ontologies for breast mammography, which is part of planned set of comprehensive breast imaging and pathology o...