158 search results - page 8 / 32 » Space Efficiency of Propositional Knowledge Representation F... |
147
click to vote
IMCSIT
2010
15 years 1 months ago
2010
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
121
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
156
click to vote
FUIN
2007
15 years 4 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
139
click to vote
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
125
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...