Found: 57
Select item for more details and to access through your institution.
Introduction to the 31st International Conference on Logic Programming special issue.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 413, doi. 10.1017/S1471068415000356
- By:
- Publication type:
- Article
A 3D optical deformation measurement system supported by knowledge-based and learning techniques.
- Published in:
- Journal of Applied Geodesy, 2009, v. 3, n. 1, p. 1, doi. 10.1515/JAG.2009.001
- By:
- Publication type:
- Article
Distance measures for point sets and their computation.
- Published in:
- Acta Informatica, 1997, v. 34, n. 2, p. 109, doi. 10.1007/s002360050075
- By:
- Publication type:
- Article
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.
- Published in:
- Theory & Practice of Logic Programming, 2024, v. 24, n. 2, p. 421, doi. 10.1017/S1471068424000061
- By:
- Publication type:
- Article
Answer Set Programming: An Introduction to the Special Issue.
- Published in:
- AI Magazine, 2016, v. 37, n. 3, p. 5, doi. 10.1609/aimag.v37i3.2669
- By:
- Publication type:
- Article
On the Regularity of Weak Solutions to Time-Periodic Navier–Stokes Equations in Exterior Domains.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 1, p. 141, doi. 10.3390/math11010141
- By:
- Publication type:
- Article
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
- Published in:
- Theory & Practice of Logic Programming, 2023, v. 23, n. 6, p. 1281, doi. 10.1017/S1471068423000017
- By:
- Publication type:
- Article
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
A Neuro-Symbolic ASP Pipeline for Visual Question Answering.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 5, p. 739, doi. 10.1017/S1471068422000229
- By:
- Publication type:
- Article
Reasoning on with Defeasibility in ASP.
- Published in:
- Theory & Practice of Logic Programming, 2022, v. 22, n. 2, p. 254, doi. 10.1017/S1471068421000132
- By:
- Publication type:
- Article
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
- Published in:
- Theory & Practice of Logic Programming, 2021, v. 21, n. 5, p. 593, doi. 10.1017/S1471068421000284
- By:
- Publication type:
- Article
ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints.
- Published in:
- Theory & Practice of Logic Programming, 2020, v. 20, n. 6, p. 895, doi. 10.1017/S1471068420000393
- By:
- Publication type:
- Article
Omission-Based Abstraction for Answer Set Programs.
- Published in:
- Theory & Practice of Logic Programming, 2021, v. 21, n. 2, p. 145, doi. 10.1017/S1471068420000095
- By:
- Publication type:
- Article
Omission-based Abstraction for Answer Set Programs – ERRATUM.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
Managing caching strategies for stream reasoning with reinforcement learning.
- Published in:
- Theory & Practice of Logic Programming, 2020, v. 20, n. 5, p. 625, doi. 10.1017/S147106842000037X
- By:
- Publication type:
- Article
A Distributed Approach to LARS Stream Reasoning (System paper).
- Published in:
- Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 974, doi. 10.1017/S1471068419000309
- By:
- Publication type:
- Article
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 571, doi. 10.1017/S1471068418000261
- By:
- Publication type:
- Article
Ticker: A system for incremental ASP-based stream reasoning.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 744, doi. 10.1017/S1471068417000370
- By:
- Publication type:
- Article
A model building framework for answer set programming with external computations.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 4, p. 418, doi. 10.1017/S1471068415000113
- By:
- Publication type:
- Article
Optimizing phylogenetic supertrees using answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 604, doi. 10.1017/S1471068415000265
- By:
- Publication type:
- Article
TLP volume 15 issue 4-5 Cover and Back matter.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. b1, doi. 10.1017/S147106841500037X
- By:
- Publication type:
- Article
TLP volume 15 issue 4-5 Cover and Front matter.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. f1, doi. 10.1017/S1471068415000368
- By:
- Publication type:
- Article
Dual-normal logic programs – the forgotten class.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 495, doi. 10.1017/S1471068415000186
- By:
- Publication type:
- Article
A denotational semantics for equilibrium logic.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 620, doi. 10.1017/S1471068415000277
- By:
- Publication type:
- Article
Proving correctness of imperative programs by linearizing constrained Horn clauses.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 635, doi. 10.1017/S1471068415000289
- By:
- Publication type:
- Article
Practical run-time checking via unobtrusive property caching.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 726, doi. 10.1017/S1471068415000344
- By:
- Publication type:
- Article
Concolic testing in logic programming.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 711, doi. 10.1017/S1471068415000332
- By:
- Publication type:
- Article
Taming primary key violations to query large inconsistent data via ASP.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 696, doi. 10.1017/S1471068415000320
- By:
- Publication type:
- Article
Semantics of templates in a compositional framework for building logics.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 681, doi. 10.1017/S1471068415000319
- By:
- Publication type:
- Article
An infinitary encoding of temporal equilibrium logic.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 666, doi. 10.1017/S1471068415000307
- By:
- Publication type:
- Article
Adding partial functions to Constraint Logic Programming with sets.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 651, doi. 10.1017/S1471068415000290
- By:
- Publication type:
- Article
Knowledge compilation of logic programs using approximation fixpoint theory.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 464, doi. 10.1017/S1471068415000162
- By:
- Publication type:
- Article
Fuzzy answer set computation via satisfiability modulo theories.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 588, doi. 10.1017/S1471068415000241
- By:
- Publication type:
- Article
Complexity and compilation of GZ-aggregates in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 574, doi. 10.1017/S147106841500023X
- 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
Planning as tabled logic programming.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 543, doi. 10.1017/S1471068415000216
- By:
- Publication type:
- Article
Horn clauses as an intermediate representation for program analysis and transformation.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 526, doi. 10.1017/S1471068415000204
- By:
- Publication type:
- Article
Learning weak constraints in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 511, doi. 10.1017/S1471068415000198
- 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
A logic programming approach to predict effective compiler settings for embedded software.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 481, doi. 10.1017/S1471068415000174
- By:
- Publication type:
- Article
Improved answer-set programming encodings for abstract argumentation.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 434, doi. 10.1017/S1471068415000149
- By:
- Publication type:
- Article
Tabling as a library with delimited control.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 419, doi. 10.1017/S1471068415000137
- By:
- Publication type:
- Article
Finding similar/diverse solutions in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 3, p. 303, doi. 10.1017/S1471068411000548
- By:
- Publication type:
- Article
Conflict-driven ASP solving with external sources.
- Published in:
- Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 659, doi. 10.1017/S1471068412000233
- By:
- Publication type:
- Article
A knowledge-based approach for selecting information sources.
- Published in:
- Theory & Practice of Logic Programming, 2007, v. 7, n. 3, p. 249, doi. 10.1017/S1471068406002754
- By:
- Publication type:
- Article
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications.
- Published in:
- Theory & Practice of Logic Programming, 2006, v. 6, n. 1/2, p. 23, doi. 10.1017/S1471068405002577
- By:
- Publication type:
- Article
Using methods of declarative logic programming for intelligent information agents.
- Published in:
- Theory & Practice of Logic Programming, 2002, v. 2, n. 6, p. 645, doi. 10.1017/S1471068402001576
- By:
- Publication type:
- Article
Computing preferred answer sets by meta-interpretation in Answer Set Programming.
- Published in:
- Theory & Practice of Logic Programming, 2003, v. 3, n. 4/5, p. 463, doi. 10.1017/S1471068403001753
- By:
- Publication type:
- Article
On properties of update sequences based on causal rejection.
- Published in:
- Theory & Practice of Logic Programming, 2002, v. 2, n. 6, p. 711, doi. 10.1017/S1471068401001247
- By:
- Publication type:
- Article