Sciweavers

1373 search results - page 241 / 275
» What is Fuzzy Logic
Sort
View
81
Voted
COMMA
2006
15 years 2 months ago
Justifying Actions by Accruing Arguments
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
Trevor J. M. Bench-Capon, Henry Prakken
87
Voted
FUIN
2007
110views more  FUIN 2007»
15 years 19 days ago
Controllable Delay-Insensitive Processes
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
Mark B. Josephs, Hemangee K. Kapoor
74
Voted
SYNTHESE
2008
83views more  SYNTHESE 2008»
15 years 18 days ago
The early Russell on the metaphysics of substance in Leibniz and Bradley
While considerable ink has been spilt over the rejection of idealism by Bertrand Russell and G.E. Moore at the end of the 19th Century, relatively little attention has been directe...
T. Allan Hillman
ENTCS
2002
143views more  ENTCS 2002»
15 years 15 days ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...
IVC
2008
94views more  IVC 2008»
15 years 6 days ago
Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...