11436 search results - page 494 / 2288 » Modeling Real Reasoning |
159
click to vote
ER
2007
Springer
16 years 16 days ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
148
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
281
Voted
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...
153
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
174
click to vote
ECIS
2003
15 years 7 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...