Sciweavers

14084 search results - page 366 / 2817

» A Theory for Game Theories

141

FSTTCS
2009
Springer

100views Software Engineering» more FSTTCS 2009»

Using Elimination Theory to construct Rigid Matrices

16 years 1 months ago

Using Elimination Theory to construct Rigid Matrices

Download itcs.tsinghua.edu.cn

The rigidity of a matrix A for target rank r is the minimum number of entries of A that

Kumar Abhinav, Satyanarayana V. Lokam, Vijay M. Pa...

claim paper

Read More »

140

ICLA
2009
Springer

103views Artificial Intelligence» more ICLA 2009»

Some Second Order Set Theory

16 years 1 months ago

Some Second Order Set Theory

Download ali.cmi.ac.in

Joel David Hamkins

claim paper

Read More »

143

ICLA
2009
Springer

97views Artificial Intelligence» more ICLA 2009»

Machine Checking Proof Theory: An Application of Logic to Logic

16 years 1 months ago

Machine Checking Proof Theory: An Application of Logic to Logic

Download ali.cmi.ac.in

Rajeev Goré

claim paper

Read More »

156

Voted

KI
2009
Springer

98views Artificial Intelligence» more KI 2009»

Planning with h + in Theory and Practice

16 years 1 months ago

Planning with h + in Theory and Practice

Download www.informatik.uni-freiburg.de

Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...

Christoph Betz, Malte Helmert

claim paper

Read More »

168

Voted

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

16 years 1 months ago

Integrating Answer Set Programming and Satisfiability Modulo Theories

Download www.datalog20.org

Ilkka Niemelä

claim paper

Read More »

« Prev « First page 366 / 2817 Last » Next »