ISSN: 1471-0684 - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

ISSN 1471-0684

31. A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Issue 5 (September 2019)

Authors:: BERTHOLD, MATTI; GONÇALVES, RICARDO; KNORR, MATTHIAS; LEITE, JOÃO
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 1038
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

32. A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Issue 3 (10th August 2018)

Authors:: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; SELLIS, TIMOS; TSAI, PEI-WEI
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 355
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

33. A Transformation-based implementation for CLP with qualification and proximity*. Issue 1 (25th April 2012)

Authors:: CABALLERO, R.; RODRÍGUEZ-ARTALEJO, M.; ROMERO-DÍAZ, C. A.
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 1(2014)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

34. A Transformational Approach to Resource Analysis with Typed-norms Inference. Issue 3 (5th May 2020)

Authors:: ALBERT, ELVIRA; GENAIM, SAMIR; GUTIÉRREZ, RAÚL; MARTIN-MARTIN, ENRIQUE
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 3(2020)
Page Start:: 310
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

35. About Epistemic Negation and World Views in Epistemic Logic Programs. Issue 5 (September 2019)

Authors:: COSTANTINI, STEFANIA
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 790
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

36. Abstract Diagnosis for tccp using a Linear Temporal Logic. Issue 4 (21st July 2014)

Authors:: COMINI, MARCO; TITOLO, LAURA; VILLANUEVA, ALICIA; Leuschel, Michael; Schrijvers, Tom
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 4/5(2014)
Page Start:: 787
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

37. Abstract gringo. Issue 4 (3rd September 2015)

Authors:: GEBSER, MARTIN; HARRISON, AMELIA; KAMINSKI, ROLAND; LIFSCHITZ, VLADIMIR; SCHAUB, TORSTEN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 449
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

38. Abstract interpretation of temporal concurrent constraint programs. Issue 3 (10th February 2014)

Authors:: FALASCHI, MORENO; OLARTE, CARLOS; PALAMIDESSI, CATUSCIA
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 3(2015)
Page Start:: 312
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

39. Abstract Solvers for Computing Cautious Consequences of ASP programs. Issue 5 (September 2019)

Authors:: AMENDOLA, GIOVANNI; DODARO, CARMINE; MARATEA, MARCO
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 740
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

40. AC-KBO revisited*†. Issue 2 (8th June 2015)

Authors:: YAMADA, AKIHISA; WINKLER, SARAH; HIROKAWA, NAO; MIDDELDORP, AART
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 2(2016)
Page Start:: 163
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗