1950 search results - page 119 / 390 » Lambda-Free Logical Frameworks |
178
click to vote
AIML
2006
15 years 8 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
167
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
– The quest for technologies with superior device characteristics has showcased Carbon Nanotube Field Effect Transistors (CNFETs) into limelight. Among the several design aspects...
188
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
172
Voted
FUIN
2008
15 years 6 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
173
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—The problem of designing high capacity and high bit rate IP-over-WDM networks, which can provide uninterrupted service in the presence of network equipment failures, continues t...