Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
The Description Logic Handbook
The Description Logic Handbook
A survey on knowledge compilation
AI Communications
A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Description logics for multi-issue bilateral negotiation with incomplete information
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Prime implicate normal form for ALC concepts
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
CUI networks: a graphical representation for conditional utility independence
Journal of Artificial Intelligence Research
A new algorithm for incremental prime implicate generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Propositional non-monotonic reasoning and inconsistency in symmetric neural networks
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A new algorithm for computing theory prime implicates compilations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Graphical models for preference and utility
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Computing utility from weighted description logic preference formulas
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Compactly representing utility functions using weighted goals and the max aggregator
Artificial Intelligence
A Unified Framework for Non-standard Reasoning Services in Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Computers and Industrial Engineering
Semantic matchmaking and ranking: beyond deduction in retrieval scenarios
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
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 formulas in a decidable fragment of First-order Logic and agreements expressed as a formula. We ground our framework in Description Logics (DL) endowed with disjunction, to be compliant with Semantic Web technologies. A logic based approach to preference representation allows, when a background knowledge base is exploited, to relax the often unrealistic assumption of additive independence among attributes. We provide suitable definitions of the problem and present algorithms to compute utility in our setting. We also validate our approach through an experimental evaluation.