1177 search results - page 158 / 236 » A Theory of Role Composition |
114
click to vote
MLQ
2000
15 years 16 days ago
2000
In Zermelo-Fraenkel set theory with the axiom of choice every set has the same cardinal number as some ordinal. Von Rimscha has weakened this condition to "Every set has the s...
102
click to vote
ER
2007
Springer
15 years 7 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
132
Voted
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
104
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
111
Voted
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...