2022 search results - page 108 / 405 » Complexity of Non-Monotonic Logics |
90
Voted
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
105
click to vote
SBCCI
2009
ACM
15 years 5 months ago
2009
ACM
The multiplication of a variable by multiple constants, i.e., the multiple constant multiplications (MCM), has been a central operation and performance bottleneck in many applicat...
137
Voted
SIGMOD
2007
ACM
16 years 28 days ago
2007
ACM
Date's popular critique of SQL's three-valued logic [4, 3] purports to demonstrate that SQL queries can produce erroneous results when nulls are present in the database....
90
Voted
AUSAI
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialo...
105
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...