2500 search results - page 374 / 500 » Logical Semantics of Modularisation |
111
click to vote
CALCO
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
118
click to vote
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
141
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
124
click to vote
WWW
2006
ACM
15 years 9 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
113
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...