2766 search results - page 47 / 554 » Hybridizing a Logical Framework |
ICTAI
2005
IEEE
14 years 3 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
JAR
2010
13 years 8 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
EUSFLAT
2009
13 years 7 months ago
2009
The present article dedicates itself to fuzzy modelling of data
LICS
1987
IEEE
14 years 1 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...