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
Spatial Decay of the Vorticity Field of Time-Periodic Viscous Flow Past a Body.
- Published in:
- Archive for Rational Mechanics & Analysis, 2021, v. 242, n. 1, p. 149, doi. 10.1007/s00205-021-01690-z
- By:
- Publication type:
- Article
Periodic Lp Estimates by ℛ-Boundedness: Applications to the Navier-Stokes Equations.
- Published in:
- Acta Applicandae Mathematicae, 2023, v. 188, p. 1, doi. 10.1007/s10440-023-00612-3
- By:
- Publication type:
- Article
Periodic Lp Estimates by ℛ-Boundedness: Applications to the Navier-Stokes Equations.
- Published in:
- Acta Applicandae Mathematicae, 2023, v. 188, n. 1, p. 1, doi. 10.1007/s10440-023-00612-3
- 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Semiring Reasoning Frameworks in AI and Their Computational Complexity.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 77, p. 207, doi. 10.1613/jair.1.13970
- By:
- Publication type:
- Article
Efficient HEX-Program Evaluation Based on Unfounded Sets.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 269, doi. 10.1613/jair.4175
- By:
- Publication type:
- Article
Existence of energy-variational solutions to hyperbolic conservation laws.
- Published in:
- Calculus of Variations & Partial Differential Equations, 2024, v. 63, n. 4, p. 1, doi. 10.1007/s00526-024-02713-9
- 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 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
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II.
- Published in:
- 2023
- 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
Omission-based Abstraction for Answer Set Programs – ERRATUM.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice
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