16616 search results - page 33 / 3324 » Extending Extended Vacuity |
ESWS
2005
Springer
14 years 4 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
GI
2004
Springer
14 years 4 months ago
2004
Springer
: A means to define multiple activity instantiation is an important feature of a business process modelling language. In this paper we suggest to extend BPEL4WS with structured ac...
CIARP
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. In this paper we propose the extended star clustering algorithm and compare it with the original star clustering algorithm. We introduce a new concept of star and as a co...
COMPSAC
2002
IEEE
14 years 4 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
SBIA
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...