Sciweavers

1223 search results - page 18 / 245
» A Logic for Reasoning about Evidence
Sort
View
65
Voted
JANCL
2000
47views more  JANCL 2000»
14 years 11 months ago
A multimodal logic for reasoning about complementarity
Ivo Düntsch, Beata Konikowska
CORR
2010
Springer
64views Education» more  CORR 2010»
14 years 6 months ago
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
CADE
2006
Springer
16 years 22 hour ago
Specifying and Reasoning About Dynamic Access-Control Policies
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
NIPS
2003
15 years 1 months ago
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
Artur S. d'Avila Garcez, Luís C. Lamb
AI
2007
Springer
14 years 12 months ago
Subjective logic and arguing with evidence
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
Nir Oren, Timothy J. Norman, Alun D. Preece