Volume 11; Issue 2-3

Theory and Practice of Logic Programming

Volume 11; Issue 2-3
1

Functional answer set programming

CABALAR, PEDRO
Journal:
Theory and Practice of Logic Programming
Year:
2011
Language:
english
File:
PDF, 248 KB
english, 2011
4

Abstract answer set solvers with backjumping and learning

LIERLER, YULIYA
Journal:
Theory and Practice of Logic Programming
Year:
2011
Language:
english
File:
PDF, 353 KB
english, 2011
6

TLP volume 11 issue 2-3 Cover and Front matter

Journal:
Theory and Practice of Logic Programming
Year:
2011
Language:
english
File:
PDF, 141 KB
english, 2011
7

Products of weighted logic programs

COHEN, SHAY B., SIMMONS, ROBERT J., SMITH, NOAH A.
Journal:
Theory and Practice of Logic Programming
Year:
2011
Language:
english
File:
PDF, 1.69 MB
english, 2011
11

Solving functional constraints by variable substitution

ZHANG, YUANLIN, YAP, ROLAND H. C.
Journal:
Theory and Practice of Logic Programming
Year:
2011
Language:
english
File:
PDF, 432 KB
english, 2011
12

TLP volume 11 issue 2-3 Cover and Back matter

Journal:
Theory and Practice of Logic Programming
Year:
2011
Language:
english
File:
PDF, 1.52 MB
english, 2011