2649 search results - page 411 / 530 » Temporal Theories of Reasoning |
178
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
130
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
164
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
155
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
138
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...