8232 search results - page 268 / 1647 » Dynamic Logic Programming |
168
click to vote
TARK
2007
Springer
16 years 22 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
262
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
182
click to vote
IJICT
2007
15 years 6 months ago
2007
We propose a parallel algorithm for dynamic slicing of distributed Java programs. Given a distributed Java program, we first construct an intermediate representation in the form o...
170
click to vote
IJAR
2008
15 years 6 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...