2022 search results - page 129 / 405 » Complexity of Non-Monotonic Logics |
90
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
PADS
2005
ACM
15 years 6 months ago
2005
ACM
— In this paper, a new event scheduling mechanism XEQ and a new rollback procedure rb-messages are proposed for use in optimistic logic simulation. We incorporate both of these t...
114
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
87
Voted
SEKE
2004
Springer
15 years 6 months ago
2004
Springer
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
113
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...