Found: 22
Select item for more details and to access through your institution.
Modeling and Language Extensions.
- Published in:
- AI Magazine, 2016, v. 37, n. 3, p. 33, doi. 10.1609/aimag.v37i3.2673
- By:
- Publication type:
- Article
Aggregate Semantics for Propositional Answer Set Programs.
- Published in:
- Theory & Practice of Logic Programming, 2023, v. 23, n. 1, p. 157, doi. 10.1017/S1471068422000047
- By:
- Publication type:
- Article
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 4, p. 623, doi. 10.1017/S1471068422000217
- By:
- Publication type:
- Article
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 4, p. 606, doi. 10.1017/S1471068422000151
- By:
- Publication type:
- Article
The Seventh Answer Set Programming Competition: Design and Results.
- Published in:
- Theory & Practice of Logic Programming, 2020, v. 20, n. 2, p. 176, doi. 10.1017/S1471068419000061
- By:
- Publication type:
- Article
ASP-Core-2 Input Language Format.
- Published in:
- Theory & Practice of Logic Programming, 2020, v. 20, n. 2, p. 294, doi. 10.1017/S1471068419000450
- By:
- Publication type:
- Article
plasp 3: Towards Effective ASP Planning.
- Published in:
- Theory & Practice of Logic Programming, 2019, v. 19, n. 3, p. 477, doi. 10.1017/S1471068418000583
- By:
- Publication type:
- Article
Multi-shot ASP solving with clingo.
- Published in:
- Theory & Practice of Logic Programming, 2019, v. 19, n. 1, p. 27, doi. 10.1017/S1471068418000054
- By:
- Publication type:
- Article
Experimenting with robotic intra-logistics domains.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 502, doi. 10.1017/S1471068418000200
- By:
- Publication type:
- Article
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 520, doi. 10.1017/S1471068418000182
- By:
- Publication type:
- Article
Rewriting recursive aggregates in answer set programming: back to monotonicity.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 559, doi. 10.1017/S1471068415000228
- By:
- Publication type:
- Article
Abstract gringo.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 449, doi. 10.1017/S1471068415000150
- By:
- Publication type:
- Article
Multi-threaded ASP solving with clasp.
- Published in:
- Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 525, doi. 10.1017/S1471068412000166
- By:
- Publication type:
- Article
Complex optimization in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 4/5, p. 821, doi. 10.1017/S1471068411000329
- By:
- Publication type:
- Article
On elementary loops of logic programs.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 6, p. 953, doi. 10.1017/S1471068411000019
- By:
- Publication type:
- Article
Detecting inconsistencies in large biological networks with answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 2/3, p. 323, doi. 10.1017/S1471068410000554
- By:
- Publication type:
- Article
Declarative encodings of acyclicity properties.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 4, p. 923, doi. 10.1093/logcom/exv063
- By:
- Publication type:
- Article
Monotonic Answer Set Programming.
- Published in:
- Journal of Logic & Computation, 2009, v. 19, n. 4, p. 539, doi. 10.1093/logcom/exn040
- By:
- Publication type:
- Article
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.
- Published in:
- International Journal of Reconfigurable Computing, 2009, p. 1, doi. 10.1155/2009/863630
- By:
- Publication type:
- Article
Potassco: The Potsdam Answer Set Solving Collection.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 107
- By:
- Publication type:
- Article
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
Lifting symmetry breaking constraints with inductive logic programming.
- Published in:
- Machine Learning, 2022, v. 111, n. 4, p. 1303, doi. 10.1007/s10994-022-06146-3
- By:
- Publication type:
- Article