3733 search results - page 94 / 747 » Logics of communication and change |
114
Voted
CP
2005
Springer
15 years 3 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
97
Voted
FMOODS
2007
15 years 2 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
101
Voted
JANCL
2007
15 years 29 days ago
2007
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we ...
88
Voted
JOLLI
2010
14 years 11 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
107
click to vote
VTS
1999
IEEE
15 years 5 months ago
1999
IEEE
Ground bounce in internal circuitry is becoming an important design validation and test issue. In this paper a new circuit model for ground bounce in internal circuitry is propose...