3047 search results - page 266 / 610 » On the Meaning of Logical Completeness |
244
click to vote
FM
2003
Springer
16 years 25 days ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
201
click to vote
ARTS
1999
Springer
15 years 12 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
201
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
249
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
212
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...