4617 search results - page 727 / 924 » Automation of Diagrammatic Reasoning |
294
click to vote
PPSWR
2005
Springer
16 years 18 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
191
click to vote
SEMWEB
2005
Springer
16 years 18 days ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
183
click to vote
TARK
2005
Springer
16 years 18 days ago
2005
Springer
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
192
click to vote
TARK
2005
Springer
16 years 18 days ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
181
click to vote
TARK
2005
Springer
16 years 18 days ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...