4401 search results - page 40 / 881 » Computing with Default Logic |
SAC
2011
ACM
12 years 11 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
IWFM
2003
13 years 10 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...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
CORR
2010
Springer
13 years 8 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
13 years 10 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...