Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-5

Dynamic Magic Sets and super-coherent answer set programs

Mario Alviano, Wolfgang Faber

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2011-5

Potassco: The Potsdam Answer Set Solving Collection

Martin Gebser, Benjamin Kaufmann, Roland Kaminski [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2009-10

GASP: Answer Set Programming with Lazy Grounding

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Symmetry-breaking answer set solving

Christian Drescher, Oana Tifrea, Toby Walsh

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2017

Representing Argumentation Frameworks in Answer Set Programming

Chiaki Sakama, Tjitze Rienstra

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

Negation as a Resource: a Novel View on Answer Set Semantics *

Stefania Costantini, Andrea Formisano

Fundamenta Informaticae

Open access

Research article

First published 2010-6-1

Answer-set programming encodings for argumentation frameworks

Uwe Egly, Sarah Alice Gaggl, Stefan Woltran

Argument & Computation

Retricted access

Research article

First published 2011-5

An incremental answer set programming based system for finite model computation

Martin Gebser, Orkunt Sabuncu, Torsten Schaub

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2024-10-09

Addressing marketplace logistic tasks in answer set programming

Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners

Intelligenza Artificiale

Free access

Research article

First published 2015-1

Defeasibility in answer set programs with defaults and argumentation rules

Hui Wan, Michael Kifer, Benjamin Grosof

Semantic Web: – Interoperability,Usability,Applicability

Search results