Search Sciweavers | Sciweavers

1144 search results - page 12 / 229

» Logic programming for combinatorial problems

click to vote

ANOR
2005

131views more ANOR 2005»

Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization

13 years 7 months ago

Download www.dii.unisi.it

Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...

Egon Balas

claim paper

Read More »

click to vote

CORR
2002
Springer

102views Education» more CORR 2002»

Low Size-Complexity Inductive Logic Programming: The East-West Challenge Considered as a Problem in Cost-Sensitive Classificatio

13 years 7 months ago

Download cogprints.org

The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...

Peter D. Turney

claim paper

Read More »

click to vote

IAT
2006
IEEE

111views Intelligent Agents» more IAT 2006»

Toward Inductive Logic Programming for Collaborative Problem Solving

14 years 1 months ago

Download www.agentlab.unimelb.edu.au

In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...

Jian Huang, Adrian R. Pearce

claim paper

Read More »

click to vote

JELIA
2004
Springer

84views Artificial Intelligence» more JELIA 2004»

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

14 years 29 days ago

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Yuliya Lierler

claim paper

Read More »