3831 search results - page 87 / 767 » Dynamic Context Logic |
85
Voted
IJIS
2002
15 years 9 days ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
125
Voted
INFSOF
2002
15 years 9 days ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
CONCUR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
140
Voted
AMAST
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
92
Voted
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...