8232 search results - page 264 / 1647 » Dynamic Logic Programming |
176
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
163
Voted
FPL
2007
Springer
15 years 10 months ago
2007
Springer
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
168
click to vote
IJCNN
2007
IEEE
16 years 28 days ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
191
click to vote
AIMSA
2008
Springer
16 years 29 days ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
173
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...