1546 search results - page 53 / 310 » Thoughts on solution concepts |
NDJFL
2000
13 years 8 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 ...
ATAL
2008
Springer
13 years 11 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...
EWCBR
2006
Springer
14 years 20 days 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...
ECAI
2010
Springer
13 years 10 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 ...
EATCS
2002
13 years 8 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...