1423 search results - page 135 / 285 » Quantum logic as a dynamic logic |
159
click to vote
AAAI
2000
15 years 7 months ago
2000
We discuss the problems associated with managing ontologies in distributed environments such as the Web. The Web poses unique problems for the use of ontologies because of the rap...
199
click to vote
JSW
2008
15 years 6 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...
171
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
167
click to vote
CAGD
2010
15 years 3 months ago
2010
In this paper we introduce a new framework for geometric modeling that combines implicit and parametric surface representations with volumetric warpings. The framework is based on...
136
click to vote
TCS
2010
15 years 1 months ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...