4126 search results - page 324 / 826 » Set based logic programming |
134
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
118
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Successful negotiators prepare by determining their position along five dimensions: Legitimacy, Options, Goals, Independence, and Commitment, (LOGIC). We introduce a negotiation ...
174
click to vote
TABLEAUX
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
146
click to vote
ENTCS
2006
15 years 5 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
109
click to vote
FSS
2006
15 years 5 months ago
2006
An implication operator A is said to be tied if there is a binary operation T that ties A; that is, the identity A(a, A(b, z)) = A(T (a, b), z) holds for all a, b, z. We aim at th...