13827 search results - page 2566 / 2766 » The state of artificial intelligence |
201
click to vote
KR
2004
Springer
16 years 17 days ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
144
click to vote
KR
2004
Springer
16 years 17 days ago
2004
Springer
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
171
click to vote
KR
2004
Springer
16 years 17 days ago
2004
Springer
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...
185
click to vote
KR
2004
Springer
16 years 17 days ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
215
click to vote
KR
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...