5451 search results - page 71 / 1091 » Typed Operational Semantics |
117
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
134
click to vote
DEXAW
2006
IEEE
15 years 8 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
125
click to vote
IJAR
2007
15 years 2 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
102
click to vote
IWINAC
2007
Springer
15 years 8 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
103
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Although a loosely coupled component-based framework offers flexibility and versatility for building and deploying large-scale multi-physics simulation systems, the performance o...