3053 search results - page 345 / 611 » A Logic of Abstract Argumentation |
199
click to vote
COLT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...
150
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
157
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
189
click to vote
ISCAS
1994
IEEE
15 years 11 months ago
1994
IEEE
Abstract: Modified sign Haar transform with sign Walsh-like structure is introduced in this article. This nonlinear transform converts binary/ternary vectors into digital spectral ...
163
click to vote
AMI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...