2386 search results - page 300 / 478 » Representing and Reasoning with Preferences |
175
click to vote
CAISE
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
179
click to vote
CAV
2004
Springer
16 years 1 hour ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
163
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
168
Voted
JIT
2004
Springer
15 years 12 months ago
2004
Springer
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...
198
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...