9145 search results - page 320 / 1829 » Description Logic Systems |
159
click to vote
ISIPTA
2005
IEEE
16 years 8 days ago
2005
IEEE
A consistent concept of logical probability affords the employment of interval probability. Such a concept which attributes probability to arguments consisting of premise and con...
148
Voted
IJCAI
2007
15 years 8 months ago
2007
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...
160
click to vote
IJIT
2004
15 years 8 months ago
2004
This paper analyses the performance of a genetic algorithm using a new concept, namely a fractional-order dynamic fitness function, for the synthesis of combinational logic circuit...
204
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
159
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...