1059 search results - page 62 / 212 » Standard Logics Are Valuation-Nonmonotonic |
142
click to vote
RV
2009
Springer
16 years 21 days ago
2009
Springer
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
173
click to vote
ATVA
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
177
click to vote
PKDD
2007
Springer
16 years 8 days ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
133
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
156
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...