3973 search results - page 18 / 795 » Records for Logic Programming |
85
Voted
IPL
2006
14 years 11 months ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
EUSFLAT
2009
14 years 9 months ago
2009
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
83
Voted
CP
2003
Springer
15 years 4 months ago
2003
Springer
Recently spectacular improvements in the performance of SAT solvers have been achieved through nogood recording (clause learning). In the CSP literature, on the other hand, nogood ...
122
click to vote
JAMIA
2010
14 years 6 months ago
2010
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...