2291 search results - page 246 / 459 » Logic Programming and Model Checking |
124
Voted
WSC
2008
15 years 5 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
109
click to vote
FLAIRS
2000
15 years 4 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
116
click to vote
JAIR
2008
15 years 2 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
148
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
109
Voted
ACIIDS
2010
IEEE
15 years 7 months ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...