Sciweavers

435 search results - page 37 / 87
» Probability logic, logical probability, and inductive suppor...
Sort
View
TIME
1998
IEEE
15 years 1 months ago
A Logic of Action, Causality, and the Temporal Relations of Events
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
Richard B. Scherl, Glenn Shafer
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 1 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
ECSQARU
2005
Springer
15 years 3 months ago
Measuring the Quality of Uncertain Information Using Possibilistic Logic
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
Anthony Hunter, Weiru Liu
CORR
2011
Springer
140views Education» more  CORR 2011»
14 years 1 months ago
Bias-Driven Revision of Logical Domain Theories
The theory revision problem is the problem of how best to go about revising a deficient domain theory using information contained in examples that expose inaccuracies. In this pa...
Ronen Feldman, Moshe Koppel, Alberto Maria Segre
FORMATS
2006
Springer
15 years 1 months ago
A Dose of Timed Logic, in Guarded Measure
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
Kamal Lodaya, Paritosh K. Pandya