1223 search results - page 2 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
CADE
2010
Springer
15 years 26 days ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
111
click to vote
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
IKE
2007
15 years 1 months ago
2007
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...
SUM
2009
Springer
15 years 4 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
115
click to vote
DALT
2009
Springer
15 years 3 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...