1578 search results - page 27 / 316 » Induction of Stable Models |
111
Voted
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
113
Voted
GLVLSI
2003
IEEE
15 years 8 months ago
2003
IEEE
Modeling on-chip inductive effects for interconnects of multigigahertz microprocessors remains challenging. SPICE simulation of these effects is very slow because of the large num...
120
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
123
Voted
ICLP
2001
Springer
15 years 7 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
104
Voted
WCE
2007
15 years 3 months ago
2007
Abstract—Positive stable laws have become a standard tool in modelling heavy tailed data in such diverse areas as finance, engineering and survival analysis. Due to the non–ex...