Theory and Practice of Logic Programming, Volume 13
Volume 13, Number 1, January 2013
, Jia-Huai You
: Relating weight constraint and aggregate programs: Semantics and representation. 1-31
: Interdefinability of defeasible logic and logic programming under the well-founded semantics. 107-142
Volume 13, Number 2, March 2013
, Terrance Swift
: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. 279-302
Volume 13, Number 3, May 2013
Volume 13, Numbers 4-5, July 2013
: The jobs puzzle: Taking on the challenge via controlled natural language processing. 487-501
: ASP with non-herbrand partial functions: a language and system for practical use. 547-561
: Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings). 847-861
Volume 13, Numbers 4-5-Online-Supplement, July 2013
: Towards Parametrizing Logic Program Analysis: Two Examples.
Doctoral Consortium Contributions
: Evaluation and Application of Portfolio Approaches in Constraint Programming.
: LogicObjects: A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language.
: Argumentation for Answer Set Programming and other Non-monotonic Reasoning Systems.
: An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages.
: Representing Actions in Logic-based Languages.
Volume 13, Number 6, November 2013