4737 search results - page 102 / 948 » The LOGIC negotiation model |
AAAI
2010
13 years 10 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
JAPLL
2007
13 years 9 months ago
2007
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abst...
ICIAP
1997
ACM
14 years 1 months ago
1997
ACM
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...
ACOM
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
CAV
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...