Record Type: Journal Article / Author/Creator: HECHER, MARKUS - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Record Type Journal Article Author/Creator HECHER, MARKUS

1. Exploiting Database Management Systems and Treewidth for Counting. Issue 1 (12th January 2022)

Authors:: FICHTE, JOHANNES K.; HECHER, MARKUS; THIER, PATRICK; WOLTRAN, STEFAN
Journal:: Theory and practice of logic programming
Issue:: Volume 22:Issue 1(2022)
Page Start:: 128
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Inconsistency Proofs for ASP: The ASP - DRUPE Format. Issue 5 (September 2019)

Authors:: ALVIANO, MARIO; DODARO, CARMINE; FICHTE, JOHANNES K.; HECHER, MARKUS; PHILIPP, TOBIAS; RATH, JAKOB
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 891
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. Issue 5 (September 2021)

Authors:: BESIN, VIKTOR; HECHER, MARKUS; WOLTRAN, STEFAN
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 5(2021)
Page Start:: 575
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗