2233 search results - page 154 / 447 » On the Complexity of Theory Curbing |
224
click to vote
JSAI
2007
Springer
16 years 17 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
193
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate t...
184
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
191
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
130
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...