1768 search results - page 132 / 354 » A Logic for Algebraic Effects |
160
click to vote
TCS
2002
15 years 5 months ago
2002
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...
152
click to vote
FUZZIEEE
2007
IEEE
16 years 18 days ago
2007
IEEE
— In this paper, we propose two novel indices for type-2 fuzzy rule ranking to identify the most influential fuzzy rules in designing type-2 fuzzy logic systems, and name them a...
166
click to vote
ATAL
1995
Springer
15 years 9 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
152
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
145
click to vote
IGPL
2010
15 years 4 months ago
2010
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...