2012 search results - page 131 / 403 » CORAL - Control, Relations and Logic |
165
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
192
click to vote
JOLLI
2008
15 years 6 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
164
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
155
click to vote
WOLLIC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...
158
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
TCP-nets are an extension of CP-nets which allow the expression of conditional relative importance of pairs of variables. In this paper it is shown that a simple logic of condition...