Results 131 to 140 of about 570,700 (231)

A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming

, 2007
Stefan Woltran
openalex   +2 more sources

An Application of Proof-Theory in Answer Set Programming

, 2009
Victor W. Marek, Jeffrey B. Remmel
openalex   +2 more sources

Answer Set Programming for Procedural Content Generation: A Design Space Approach [PDF]

, 2011
Adam M. Smith, Michael Mateas
openalex   +1 more source

A general approach to belief change in answer set programming

, 2009
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran   +3 more
openalex   +2 more sources

Finding Semantic Inconsistencies in UMLS using Answer Set Programming

, 2010
Halit Erdoğan, Olivier Bodenreider, Esra Erdem   +2 more
openalex   +2 more sources

Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming [PDF]

Bioinformatics, 2014
europepmc   +1 more source

Annotating answer-set programs in Lana [PDF]

, 2012
Marina De Vos, Doga Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits   +4 more
openalex   +1 more source

Formalization of Psychological Knowledge in Answer Set Programming and its Application

, 2010
Marcello Balduccini, Sara Girotto
openalex   +2 more sources

Node and edge control strategy identification via trap spaces in Boolean networks. [PDF]

BMC Bioinformatics
Cifuentes-Fontanals L, Tonello E, Siebert H.   +2 more
europepmc   +1 more source