Search Sciweavers | Sciweavers

8232 search results - page 244 / 1647

» Dynamic Logic Programming

173

click to vote

CONSTRAINTS
1999

111views more CONSTRAINTS 1999»

Scheduling Sport Tournaments using Constraint Logic Programming

15 years 6 months ago

Download www.diegm.uniud.it

Andrea Schaerf

claim paper

Read More »

157

Voted

TOPLAS
1998

41views more TOPLAS 1998»

Partial Evaluation of Functional Logic Programs

15 years 6 months ago

Download www.cparity.com

María Alpuente, Moreno Falaschi, Germ&aacut...

claim paper

Read More »

145

click to vote

TOPLAS
1998

113views more TOPLAS 1998»

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs

15 years 6 months ago

Download www.cparity.com

Konstantinos F. Sagonas, Terrance Swift

claim paper

Read More »

151

Voted

TCS
2002

81views Theoretical Computer Science» more TCS 2002»

Fixpoint semantics for logic programming a survey

15 years 6 months ago

Download ii.fmph.uniba.sk

Melvin Fitting

claim paper

Read More »

133

Voted

TOCL
2010

73views more TOCL 2010»

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers