|
Showing 1 - 4 of
4 matches in All Departments
This book provides a tutorial introduction to modern techniques for
representing and reasoning about qualitative preferences with
respect to a set of alternatives. The syntax and semantics of
several languages for representing preference languages, including
CP-nets, TCP-nets, CI-nets, and CP-theories, are reviewed. Some key
problems in reasoning about preferences are introduced, including
determining whether one alternative is preferred to another, or
whether they are equivalent, with respect to a given set of
preferences. These tasks can be reduced to model checking in
temporal logic. Specifically, an induced preference graph that
represents a given set of preferences can be efficiently encoded
using a Kripke Structure for Computational Tree Logic (CTL). One
can translate preference queries with respect to a set of
preferences into an equivalent set of formulae in CTL, such that
the CTL formula is satisfied whenever the preference query holds.
This allows us to use a model checker to reason about preferences,
i.e., answer preference queries, and to obtain a justification as
to why a preference query is satisfied (or not) with respect to a
set of preferences. This book defines the notions of the
equivalence of two sets of preferences, including what it means for
one set of preferences to subsume another, and shows how to answer
preferential equivalence and subsumption queries using model
checking. Furthermore, this book demontrates how to generate
alternatives ordered by preference, along with providing ways to
deal with inconsistent preference specifications. A description of
CRISNER-an open source software implementation of the model
checking approach to qualitative preference reasoning in CP-nets,
TCP-nets, and CP-theories is included, as well as examples
illustrating its use.
This book describes an approach for designing Systems-on-Chip such
that the system meets precise mathematical requirements. The
methodologies presented enable embedded systems designers to reuse
intellectual property (IP) blocks from existing designs in an
efficient, reliable manner, automatically generating correct SoCs
from multiple, possibly mismatching, components.
|
Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings (Paperback, 2013)
Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu
|
R1,695
Discovery Miles 16 950
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 11th
International Conference on Service-Oriented Computing, ICSOC 2012,
held in Berlin, Germany, in December 2013. The 29 full papers and
27 short papers presented were carefully reviewed and selected from
205 submissions. The papers are organized in topical sections on
service engineering, service operations and management; services in
the cloud; and service applications and implementations.
This book describes an approach for designing Systems-on-Chip such
that the system meets precise mathematical requirements. The
methodologies presented enable embedded systems designers to reuse
intellectual property (IP) blocks from existing designs in an
efficient, reliable manner, automatically generating correct SoCs
from multiple, possibly mismatching, components.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Gloria
Sam Smith
CD
R407
Discovery Miles 4 070
Morgan
Kate Mara, Jennifer Jason Leigh, …
Blu-ray disc
(1)
R70
Discovery Miles 700
|