1151 search results - page 100 / 231 » Collaborative Programming: Applications of Logic and Automat... |
147
Voted
EDOC
2007
IEEE
15 years 7 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
125
Voted
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
158
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
124
Voted
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
122
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
In this article, we study the quantified constraint satisfaction problem (QCSP) over infinite domains. We develop a technique called collapsibility that allows one to give strong c...