3005 search results - page 127 / 601 » Logical Information Systems: from Taxonomies to Logics |
151
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
160
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
182
click to vote
DOLAP
2006
ACM
16 years 12 days ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...
161
click to vote
IJCAI
1989
15 years 7 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
176
click to vote
BMCBI
2007
15 years 6 months ago
2007
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...