111 search results - page 15 / 23 » Compiling Reasoning with and about Preferences into Default ... |
111
click to vote
CLIMA
2006
15 years 1 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
105
Voted
LOGCOM
2002
14 years 11 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
87
Voted
SYNTHESE
2010
14 years 10 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
105
click to vote
TGC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
128
click to vote
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...