2766 search results - page 210 / 554 » Hybridizing a Logical Framework |
165
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
149
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
141
click to vote
FOIKS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
190
click to vote
JUCS
2010
15 years 3 months ago
2010
: This study provides a conceptual framework with respect to service innovation, especially from a service-dominant logic (S-D logic) perspective. Even though innovation has been d...
174
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...