1346 search results - page 72 / 270 » Alternating-time dynamic logic |
KR
2010
Springer
14 years 14 days ago
2010
Springer
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
APPINF
2003
13 years 9 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
GLVLSI
2002
IEEE
14 years 19 days ago
2002
IEEE
A compact delay model for series connected MOSFETs has been derived. This model enables accurate prediction of worst-case delay of different logic families such as dynamic logic. ...