1546 search results - page 53 / 310 » Thoughts on solution concepts |
129
Voted
NDJFL
2000
15 years 3 months ago
2000
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
122
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Coalition formation is an important capability for automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered i...
133
Voted
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...
131
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
98
Voted
EATCS
2002
15 years 3 months ago
2002
We solve the general case of the bridge-crossing puzzle. 1 The Puzzle Four people begin on the same side of a bridge. You must help them across to the other side. It is night. The...