1588 search results - page 224 / 318 » On the Logic of Constitutive Rules |
120
click to vote
ICAIL
2005
ACM
15 years 7 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...
100
click to vote
RULEML
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
107
click to vote
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
119
click to vote
VLDB
1990
ACM
15 years 5 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
129
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...