1174 search results - page 73 / 235 » A Logical Approach to Abstract Algebra |
142
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
185
click to vote
FMOODS
2003
15 years 7 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
208
click to vote
KSEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we compare merging operators in possibilistic logic. We first propose an approach to evaluating the discriminating power of a merging operator. After that...
150
click to vote
ESWS
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
197
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...