2291 search results - page 213 / 459 » Representational Reasoning and Verification |
169
click to vote
KBSE
2006
IEEE
16 years 19 days 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...
182
click to vote
ICAIL
2005
ACM
16 years 5 days 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...
193
click to vote
DSVIS
2005
Springer
16 years 4 days 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...
185
click to vote
ICIAR
2005
Springer
16 years 1 days 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...
156
click to vote
SAC
2003
ACM
15 years 12 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...