3199 search results - page 121 / 640 » Variability in Automation System Models |
104
click to vote
ICAIL
1995
ACM
15 years 5 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
124
click to vote
FOIKS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
125
Voted
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
132
click to vote
JAR
2000
15 years 2 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
119
Voted
WSC
2004
15 years 3 months ago
2004
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...