2291 search results - page 213 / 459 » Representational Reasoning and Verification |
102
Voted
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
116
Voted
ICAIL
2005
ACM
15 years 6 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
129
click to vote
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
120
click to vote
ICIAR
2005
Springer
15 years 6 months ago
2005
Springer
We have developed a generic ontology of objects, and a knowledge base of everyday physical objects. Objects are represented as assemblies of functional features and their spatial r...
97
Voted
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Researchers building multi-agent algorithms typically work with abstracted away from real applications. The abstracted problem instances allow systematic and detailed investigatio...