909 search results - page 39 / 182 » Temporal Logic Case Study |
IDC
2009
Springer
14 years 3 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
IGPL
2010
13 years 7 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
ENTCS
2007
13 years 8 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
IGPL
2010
13 years 6 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
IANDC
2010
13 years 7 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...