1737 search results - page 160 / 348 » On Interpolation in Existence Logics |
173
click to vote
CMOT
2006
15 years 7 months ago
2006
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
173
click to vote
JSW
2008
15 years 7 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
189
click to vote
IAJIT
2010
15 years 5 months ago
2010
: In parity preserving reversible circuit, the parity of the input vector must match the parity of the output vector. It renders a wide class of circuit faults readily detectable a...
188
click to vote
PSB
2010
15 years 5 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
175
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- We discuss some optimization problems for fuzzy variable functions and show two interesting results. First result is related to conditions for existence of global optima...