Sciweavers

1144 search results - page 12 / 229
» Logic programming for combinatorial problems
Sort
View
ANOR
2005
131views more  ANOR 2005»
15 years 1 months ago
Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization
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
103
Voted
CORR
2002
Springer
102views Education» more  CORR 2002»
15 years 1 months ago
Low Size-Complexity Inductive Logic Programming: The East-West Challenge Considered as a Problem in Cost-Sensitive Classificatio
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
124
Voted
IAT
2006
IEEE
15 years 8 months ago
Toward Inductive Logic Programming for Collaborative Problem Solving
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
85
Voted
JELIA
2004
Springer
15 years 7 months ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
98
Voted
HEURISTICS
2002
62views more  HEURISTICS 2002»
15 years 1 months ago
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Stefano Bistarelli, Ugo Montanari, Francesca Rossi