97 search results - page 5 / 20 » Some Considerations on the Reason for Bloat |
107
Voted
KR
2010
Springer
15 years 4 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
102
Voted
DIAGRAMS
2010
Springer
15 years 3 months ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
LPAR
2000
Springer
15 years 3 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
82
Voted
INAP
2001
Springer
15 years 4 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
99
Voted
TARK
2005
Springer
15 years 5 months ago
2005
Springer
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...