Author/Creator: ALVIANO, MARIO - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator ALVIANO, MARIO

1. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Issue 5 (September 2020)

Authors:: BARYANNIS, GEORGE; TACHMAZIDIS, ILIAS; BATSAKIS, SOTIRIS; ANTONIOU, GRIGORIS; ALVIANO, MARIO; PAPADAKIS, EMMANUEL
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 5(2020)
Page Start:: 687
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. 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) ↗

3. Anytime answer set optimization via unsatisfiable core shrinking. Issue 5 (14th October 2016)

Authors:: ALVIANO, MARIO; DODARO, CARMINE
Editors:: Carro, Manuel; King, Andy
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 5/6(2016)
Page Start:: 533
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Anytime Computation of Cautious Consequences in Answer Set Programming. Issue 4 (21st July 2014)

Authors:: ALVIANO, MARIO; DODARO, CARMINE; RICCA, FRANCESCO; Leuschel, Michael; Schrijvers, Tom
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 4/5(2014)
Page Start:: 755
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Cautious reasoning in ASP via minimal models and unsatisfiable cores. Issue 3 (10th August 2018)

Authors:: ALVIANO, MARIO; DODARO, CARMINE; JÄRVISALO, MATTI; MARATEA, MARCO; PREVITI, ALESSANDRO
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 319
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Complexity and compilation of GZ-aggregates in answer set programming. Issue 4 (3rd September 2015)

Authors:: ALVIANO, MARIO; LEONE, NICOLA
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 574
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Complexity of super-coherence problems in ASP*. Issue 3 (May 2014)

Authors:: ALVIANO, MARIO; FABER, WOLFGANG; WOLTRAN, STEFAN
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 3(2014)
Page Start:: 339
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Enhancing Magic Sets with an Application to Ontological Reasoning. Issue 5 (September 2019)

Authors:: ALVIANO, MARIO; LEONE, NICOLA; VELTRI, PIERFRANCESCO; ZANGARI, JESSICA
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 654
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Fuzzy answer set computation via satisfiability modulo theories. Issue 4 (3rd September 2015)

Authors:: ALVIANO, MARIO; PEÑALOZA, RAFAEL
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 588
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. 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) ↗