260 search results - page 8 / 52 » Nonmonotonic Reasoning in FLORA-2 |
DEDUCTIVE
1997
13 years 11 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
JAIR
2007
13 years 9 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
LOGCOM
2002
13 years 9 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
TARK
1998
Springer
14 years 2 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
JELIA
1990
Springer
14 years 1 months ago
1990
Springer
