1174 search results - page 73 / 235 » A Logical Approach to Abstract Algebra |
ECAI
2006
Springer
14 years 1 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...
FMOODS
2003
13 years 11 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...
KSEM
2010
Springer
13 years 8 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...
ESWS
2009
Springer
14 years 4 months 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...
COOPIS
2004
IEEE
14 years 1 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...