1941 search results - page 36 / 389 » Reasoning about Computations Using Two-Levels of Logic |
127
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
143
click to vote
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
140
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
120
click to vote
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
KR
2000
Springer
15 years 5 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...