4401 search results - page 40 / 881 » Computing with Default Logic |
105
click to vote
SAC
2011
ACM
14 years 22 days ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
119
click to vote
IWFM
2003
14 years 11 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
DGO
2007
14 years 11 months ago
2007
This paper outlines the project highlights for the research project, Governing with Information Technologies. Categories and Subject Descriptors K.4.1 [Computers and Society]: Pub...