6355 search results - page 383 / 1271 » From Logic to Games |
202
Voted
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
180
Voted
LCTRTS
2005
Springer
16 years 11 days ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
170
click to vote
IJCAI
1989
15 years 8 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&#...
181
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...
157
Voted
SUM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...