Name Card

Full name Familienname, Vorname
Lin, Fangzhen
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wang, Yisong ; Eiter, Thomas ; Zhang, Yuanlin ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsArticle Artikel 27-Jan-2023
2Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsPresentation Vortrag29-Nov-2022

Contributing Publications Mitbeteiligte Publikationen

Results 1-18 of 18 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pan, Jeff Z. ; Calvanese, Diego ; Eiter, Thomas ; Horrocks, Ian ; Kifer, Michael ; Lin, Fangzhen ; Zhao, Yuting Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query AnsweringKonferenzband Proceedings 2017
2Ciabattoni, Agata ; Rusnok, Pavel On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert SystemsKonferenzbeitrag Inproceedings2010
3Oikarinen, Emilia ; Woltran, Stefan Characterizing Strong Equivalence for Argumentation FrameworksKonferenzbeitrag Inproceedings2010
4Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards Fixed-Parameter Tractable Algorithms for ArgumentationKonferenzbeitrag Inproceedings2010
5Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
6Brewka, Gerd ; Woltran, Stefan Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings2010
7Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Konferenzbeitrag Inproceedings 2010
8Eiter, Thomas ; Fink, Michael ; Moura, Joao Paracoherent Answer Set ProgrammingKonferenzbeitrag Inproceedings 2010
9Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversKonferenzbeitrag Inproceedings 2010
10Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
11Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Relevance-Driven Evaluation of Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2009
12Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009
13Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Belief Revision with Bounded TreewidthKonferenzbeitrag Inproceedings 2009
14Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment SolutionsKonferenzbeitrag Inproceedings 2009
15Puehrer, Joerg ; Tompits, Hans Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with ProjectionKonferenzbeitrag Inproceedings 2009
16Brewka, Gerhard ; Eiter, Thomas Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
17Brewka, Gerhard ; Eiter, Thomas From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
18De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans On Representational Issues about Combinations of Classical Theories with Nonmonotonic RulesKonferenzbeitrag Inproceedings2006