4290 search results - page 129 / 858 » Formal Approaches to Teamwork |
182
click to vote
IJMTM
2010
15 years 3 months ago
2010
: In today's rapidly evolving global marketplace, jobs are continually being redefined due to technological innovations and a host of other factors. Workers are also being cal...
147
click to vote
AAAI
2010
15 years 8 months ago
2010
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
160
click to vote
JAPLL
2011
15 years 1 months ago
2011
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
150
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
180
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...