Name Card

Full name Familienname, Vorname
Truszczynski, Miroslaw
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Maly, Jan ; Woltran, Stefan ; Truszczynski, Miroslaw Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?Konferenzbeitrag Inproceedings 2018
2Brewka, Gerd ; Eiter, Thomas ; Truszczynski, Miroslaw Answer Set Programming: An Introduction to the Special IssueArtikel Article2016
3Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan A Glimpse on Gerhard Brewka's Contributions to Artificial IntelligenceBuchbeitrag Book Contribution2015
4Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong EquivalenceKonferenzbeitrag Inproceedings 2013
5Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan Strong Equivalence of Qualitative Optimization ProblemsKonferenzbeitrag Inproceedings 2012
6Brewka, Gerd ; Truszczynski, Miroslaw ; Woltran, Stefan Representing Preferences Among SetsKonferenzbeitrag Inproceedings 2010
7Truszczynski, Miroslaw ; Woltran, Stefan Hyperequivalence of Logic Programs with Respect to Supported ModelsBericht Report2008
8Truszczynski, Miroslaw ; Woltran, Stefan Relativized Hyperequivalence of Logic Programs for Modular ProgrammingBericht Report2008
9Truszczynski, Miroslaw ; Woltran, Stefan Relativized Hyperequivalence of Logic Programs for Modular ProgrammingKonferenzbeitrag Inproceedings 2008
10Truszczynski, Miroslaw ; Woltran, Stefan Hyperequivalence of Logic Programs with Respect to Supported ModelsKonferenzbeitrag Inproceedings 2008
11Truszczynski, Miroslaw ; Woltran, Stefan Hyperequivalence of programs and operators (Preliminary version)Konferenzbeitrag Inproceedings2008

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Simkus, Mantas Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
2Charwat, Günther ; Woltran, Stefan Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
3Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
4Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
5Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan Advances in Knowledge Representation, Logic Programming, and Abstract ArgumentationBuch Book2015
6Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Diagnosis Selection in Multi-Context SystemsBuchbeitrag Book Contribution 2015
7Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan A Glimpse on Gerhard Brewka's Contributions to Artificial IntelligenceBuchbeitrag Book Contribution2015
8Baumann, Ringo ; Spanring, Christof Infinite Argumentation FrameworksBuchbeitrag Book Contribution2015
9Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Linsbichler, Thomas ; Wallner, Johannes Peter Reduction-Based Approaches to Implement Modgil’s Extended Argumentation FrameworksBuchbeitrag Book Contribution2015
10Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Dynamic Distributed Nonmontonic Multi-Context SystemsBuchbeitrag Book Contribution 2011
11Ciabattoni, Agata ; Rusnok, Pavel On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert SystemsKonferenzbeitrag Inproceedings2010
12Oikarinen, Emilia ; Woltran, Stefan Characterizing Strong Equivalence for Argumentation FrameworksKonferenzbeitrag Inproceedings2010
13Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards Fixed-Parameter Tractable Algorithms for ArgumentationKonferenzbeitrag Inproceedings2010
14Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
15Brewka, Gerd ; Woltran, Stefan Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings2010
16Ortiz 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
17Eiter, Thomas ; Fink, Michael ; Moura, Joao Paracoherent Answer Set ProgrammingKonferenzbeitrag Inproceedings 2010
18Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversKonferenzbeitrag Inproceedings 2010
19Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
20Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schindlauer, Roman Exploiting Conjunctive Queries in Description Logic ProgramsKonferenzbeitrag Inproceedings2008