Sciweavers

CI
2004
79views more  CI 2004»
14 years 9 days ago
Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion
John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, P...
CI
2004
85views more  CI 2004»
14 years 9 days ago
Soft Constraint Propagation and Solving in Constraint Handling Rules
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
CI
2004
95views more  CI 2004»
14 years 9 days ago
Automated Design of Security Protocols
Hao Chen, John A. Clark, Jeremy L. Jacob
CI
2004
119views more  CI 2004»
14 years 9 days ago
Reasoning with Sets of Defaults in Default Logic
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...
James P. Delgrande, Torsten Schaub
CI
2004
76views more  CI 2004»
14 years 9 days ago
Negotiating Exchanges of P3p-Labeled Information for Compensation
We consider private information a commodity, of value to both the information holder and the information seeker. Hence, a customer can be enticed to trade his/her private informati...
Scott Buffett, Keping Jia, Sandy Liu, Bruce Spence...
CI
2004
125views more  CI 2004»
14 years 9 days ago
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
Tran Cao Son, Enrico Pontelli
CI
2004
99views more  CI 2004»
14 years 9 days ago
Purpose-Based Expert Finding in a Portfolio Management System
Most of the research inthe area of expert finding focuses on creating and maintaining centralized directories of experts' profiles, which users can search on demand. However, ...
Xiaolin Niu, Gordon I. McCalla, Julita Vassileva