arXiv

View Statistics Email Alert RSS Feed

Details

Servername
arXiv
 
Website
https://arxiv.org
 
Location Ort
Ithaca
Country Land
Vereinigte Staaten
 

Publications Publikationen

Filter:
Author:  Fink, Michael

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fink, Michael A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-TherePreprint Preprint2010
2Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael Causal Graph Justifications of Logic ProgramsPreprint Preprint2014
3Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
4Eiter, Thomas ; Erdem, Esra ; Erdogan, Halit ; Fink, Michael Finding Similar/Diverse Solutions in Answer Set ProgrammingPreprint Preprint2011
5Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby Symmetry Breaking for Distributed Multi-Context SystemsPreprint Preprint2011