3693 search results - page 258 / 739 » Splitting a Logic Program |
189
click to vote
LICS
1995
IEEE
15 years 8 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
142
click to vote
AAAI
2000
15 years 6 months ago
2000
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
115
Voted
ACL
1996
15 years 6 months ago
1996
Off-line compilation of logic grammars using Magic allows an incorporation of filtering into the logic underlying the grammar. The explicit definite clause characterization of fil...
170
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
130
Voted
MOR
2002
15 years 4 months ago
2002
ngly better objective function value until an optimal solution is reached. From an abstract point of view, an augmentation problem is solved in each iteration. That is, given a fea...