221. MAP Inference for Probabilistic Logic Programming. Issue 5 (September 2020) Authors: BELLODI, ELENA; ALBERTI, MARCO; RIGUZZI, FABRIZIO; ZESE, RICCARDO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 641 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
222. Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation*. Issue 4 (21st July 2014) Authors: CHARALAMBIDIS, ANGELOS; ÉSIK, ZOLTÁN; RONDOGIANNIS, PANOS; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 725 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
223. Modal Logic S5 Satisfiability in Answer Set Programming. Issue 5 (September 2021) Authors: ALVIANO, MARIO; BATSAKIS, SOTIRIS; BARYANNIS, GEORGE Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 527 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
224. Model enumeration in propositional circumscription via unsatisfiable core analysis*. Issue 5 (22nd August 2017) Authors: ALVIANO, MARIO Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 708 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
225. Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Issue 1 (2nd January 2022) Authors: ARIAS, JOAQUÍN; CARRO, MANUEL; CHEN, ZHUO; GUPTA, GOPAL Journal: Theory and practice of logic programming Issue: Volume 22:Issue 1(2022) Page Start: 51 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
226. Modelling Multi-Agent Epistemic Planning in ASP. Issue 5 (September 2020) Authors: BURIGANA, ALESSANDRO; FABIANO, FRANCESCO; DOVIER, AGOSTINO; PONTELLI, ENRICO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 593 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
227. Modular action language ${\mathcal ALM}$. Issue 2 (6th July 2015) Authors: INCLEZAN, DANIELA; GELFOND, MICHAEL Journal: Theory and practice of logic programming Issue: Volume 16:Issue 2(2016) Page Start: 189 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
228. Modular Answer Set Programming as a Formal Specification Language. Issue 5 (September 2020) Authors: CABALAR, PEDRO; FANDINNO, JORGE; LIERLER, YULIYA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 767 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
229. Modular Constraint Solver Cooperation via Abstract Interpretation. Issue 6 (November 2020) Authors: TALBOT, PIERRE; MONFROY, ÉRIC; TRUCHET, CHARLOTTE Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 848 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
230. Multi-shot ASP solving with clingo. Issue 1 (10th July 2018) Authors: GEBSER, MARTIN; KAMINSKI, ROLAND; KAUFMANN, BENJAMIN; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 1(2019) Page Start: 27 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗