The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Johannes Klaus Fichte" ( http://dblp.L3S.de/Authors/Johannes_Klaus_Fichte )

  Author page on DBLP  Author page in RDF  Community of Johannes Klaus Fichte in ASPL-2

Publication years (Num. hits)
2009-2015 (15) 2016-2018 (20) 2019 (5)
Publication types (Num. hits)
article(21) inproceedings(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 41 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran A multiparametric view on answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP-DRUPE Format. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Treewidth and Counting Projected Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Treewidth and Counting Projected Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Arne Meier Counting Complexity for Reasoning in Abstract Argumentation. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Jorge Fandinno, Johannes Klaus Fichte Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Michael Morak, Markus Hecher, Stefan Woltran Exploiting Treewidth for Projected Model Counting and its Limits. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Arne Meier Counting Complexity for Reasoning in Abstract Argumentation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Stefan Woltran, Markus Zisser Weighted Model Counting on the GPU by Exploiting Small Treewidth. Search on Bibsonomy ESA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Irina Schindler Default Logic and Bounded Treewidth. Search on Bibsonomy LATA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Exploiting Treewidth for Projected Model Counting and Its Limits. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider An SMT Approach to Fractional Hypertree Width. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Exploiting Treewidth for Counting Projected Answer Sets. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Irina Schindler Default Logic and Bounded Treewidth. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Answer Set Solving with Bounded Treewidth Revisited. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Answer Set Solving with Bounded Treewidth Revisited. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran A Multiparametric View on Answer Set Programming. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Stefan Szeider Backdoor Trees for Answer Set Programming. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Neha Lodha, Stefan Szeider SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Search on Bibsonomy IPEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Counting Answer Sets via Dynamic Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Arne Meier, Irina Schindler Strong Backdoors for Default Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Arne Meier, Irina Schindler Strong Backdoors for Default Logic. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthieu-P. Schapranow, Matthias Uflacker, Murat Sariyar, Sebastian C. Semler, Johannes Klaus Fichte, Dietmar Schielke, Kismet Ekinci, Thomas Zahn Towards an integrated health research process: A cloud-based approach. Search on Bibsonomy BigData The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Stefan Szeider Backdoors to Normality for Disjunctive Logic Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Stefan Szeider Backdoors to tractable answer set programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran Dual-normal Logic Programs - the Forgotten Class. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran Dual-normal logic programs - the forgotten class. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Albert Atserias, Johannes Klaus Fichte, Marc Thurley Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Stefan Szeider Backdoors to Normality for Disjunctive Logic Programs Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Johannes Klaus Fichte Backdoors to the Tractability of Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Johannes Klaus Fichte Backdoors to Tractability of Answer-Set Programming. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Stefan Szeider Backdoors to Normality for Disjunctive Logic Programs. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Johannes Klaus Fichte The Good, the Bad, and the Odd: Cycles in Answer-Set Programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Albert Atserias, Johannes Klaus Fichte, Marc Thurley Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Stefan Szeider Backdoors to Tractable Answer-Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Johannes Klaus Fichte The Good, the Bad, and the Odd: Cycles in Answer-Set Programs. Search on Bibsonomy ESSLLI Student Sessions The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Stefan Szeider Backdoors to Tractable Answer-Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Albert Atserias, Johannes Klaus Fichte, Marc Thurley Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license