2302 search results - page 312 / 461 » Basic Description Logics |
177
click to vote
INFOCOM
1998
IEEE
15 years 9 months ago
1998
IEEE
Large-Scale multicast applications for the Internet require the availability of multicast protocols that enhance the basic connectionless IP Multicast service. A critical requirem...
123
click to vote
ICDT
1997
ACM
15 years 9 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
139
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
138
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
121
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...