3793 search results - page 122 / 759 » Expressive Description Logics |
137
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
125
click to vote
JOLLI
2008
15 years 4 months ago
2008
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
130
click to vote
WILF
2009
Springer
15 years 11 months ago
2009
Springer
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...
131
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
116
click to vote
AUSAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We describe a probabilistic reference disambiguation mechanism developed for a spoken dialogue system mounted on an autonomous robotic agent. Our mechanism performs proba...