3994 search results - page 78 / 799 » A Linear Logical Framework |
VLSID
2001
IEEE
16 years 27 days ago
2001
IEEE
107
Voted
AAAI
2010
15 years 2 months ago
2010
Ontology matching is the problem of determining correspondences between concepts, properties, and individuals of different heterogeneous ontologies. With this paper we present a n...
125
click to vote
LOPSTR
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
93
Voted
ECAI
2006
Springer
15 years 4 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...
93
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...