2022 search results - page 157 / 405 » Complexity of Non-Monotonic Logics |
174
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
193
click to vote
IJAR
2010
15 years 5 months ago
2010
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
161
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...
180
click to vote
ICSEA
2007
IEEE
16 years 27 days ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
161
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...