Potassco: The Potsdam Answer Set Solving Collection.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 107
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2011 AND VI 24 AND IP 2
Results: 7
1
2
Learning and using domain-specific heuristics in ASP solvers.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 147, doi. 10.3233/aic-2011-0493
- By:
- Publication type:
- Article
3
Dynamic Magic Sets and super-coherent answer set programs.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 125
- By:
- Publication type:
- Article
4
Symmetry-breaking answer set solving.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 177
- By:
- Publication type:
- Article
5
Special issue on answer set programming.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 105, doi. 10.3233/aic-2011-0497
- By:
- Publication type:
- Article
6
An incremental answer set programming based system for finite model computation.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 195
- By:
- Publication type:
- Article
7
A logical characterisation of ordered disjunction.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 165
- By:
- Publication type:
- Article