Pührer, Jörg Realizability of three-valued semantics for abstract dialectical frameworks. (English) Zbl 1478.68358 Artif. Intell. 278, Article ID 103198, 28 p. (2020). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{J. Pührer}, Artif. Intell. 278, Article ID 103198, 28 p. (2020; Zbl 1478.68358) Full Text: DOI
Brewka, Gerhard; Pührer, Jörg; Woltran, Stefan Multi-valued GRAPPA. (English) Zbl 1525.68156 Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 85-101 (2019). MSC: 68T27 03B50 68T30 PDFBibTeX XMLCite \textit{G. Brewka} et al., Lect. Notes Comput. Sci. 11468, 85--101 (2019; Zbl 1525.68156) Full Text: DOI
Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg Reactive multi-context systems: heterogeneous reasoning in dynamic environments. (English) Zbl 1443.68182 Artif. Intell. 256, 68-104 (2018). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{G. Brewka} et al., Artif. Intell. 256, 68--104 (2018; Zbl 1443.68182) Full Text: DOI arXiv
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Stepwise debugging of answer-set programs. (English) Zbl 1425.68053 Theory Pract. Log. Program. 18, No. 1, 30-80 (2018). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Oetsch} et al., Theory Pract. Log. Program. 18, No. 1, 30--80 (2018; Zbl 1425.68053) Full Text: DOI arXiv
Linsbichler, Thomas; Pührer, Jörg; Strass, Hannes A uniform account of realizability in abstract argumentation. (English) Zbl 1403.68271 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 252-260 (2016). MSC: 68T27 PDFBibTeX XMLCite \textit{T. Linsbichler} et al., Front. Artif. Intell. Appl. 285, 252--260 (2016; Zbl 1403.68271) Full Text: DOI arXiv
Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg Inconsistency management in reactive multi-context systems. (English) Zbl 1444.68197 Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 529-535 (2016). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{G. Brewka} et al., Lect. Notes Comput. Sci. 10021, 529--535 (2016; Zbl 1444.68197) Full Text: DOI Link
Ellmauthaler, Stefan; Pührer, Jörg Asynchronous multi-context systems. (English) Zbl 1432.68460 Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 141-156 (2015). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{S. Ellmauthaler} and \textit{J. Pührer}, Lect. Notes Comput. Sci. 9060, 141--156 (2015; Zbl 1432.68460) Full Text: DOI arXiv
Brewka, Gerhard; Ellmauthaler, Stefan; Pührer, Jörg Multi-context systems for reactive reasoning in dynamic environments. (English) Zbl 1366.68280 Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 159-164 (2014). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{G. Brewka} et al., Front. Artif. Intell. Appl. 263, 159--164 (2014; Zbl 1366.68280) Full Text: arXiv Link
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan Model-based recasting in answer-set programming. (English) Zbl 1400.68048 J. Appl. Non-Class. Log. 23, No. 1-2, 75-104 (2013). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{T. Eiter} et al., J. Appl. Non-Class. Log. 23, No. 1--2, 75--104 (2013; Zbl 1400.68048) Full Text: DOI
Tompits, Hans (ed.); Abreu, Salvador (ed.); Oetsch, Johannes (ed.); Pührer, Jörg (ed.); Seipel, Dietmar (ed.); Umeda, Masanobu (ed.); Wolf, Armin (ed.) Applications of declarative programming and knowledge management. 19th international conference, INAP 2011, and 25th workshop on logic programming, WLP 2011, Vienna, Austria, September 28–30, 2011. Revised selected papers. (English) Zbl 1320.68029 Lecture Notes in Computer Science 7773. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-41523-4/pbk; 978-3-642-41524-1/ebook). xiii, 365 p. (2013). MSC: 68-06 68N17 00B25 PDFBibTeX XMLCite \textit{H. Tompits} (ed.) et al., Applications of declarative programming and knowledge management. 19th international conference, INAP 2011, and 25th workshop on logic programming, WLP 2011, Vienna, Austria, September 28--30, 2011. Revised selected papers. Berlin: Springer (2013; Zbl 1320.68029) Full Text: DOI
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans An FLP-style answer-set semantics for abstract-constraint programs with disjunctions. (English) Zbl 1281.68150 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 222-234, electronic only (2012). MSC: 68Q55 68T27 PDFBibTeX XMLCite \textit{J. Oetsch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 17, 222--234 (2012; Zbl 1281.68150) Full Text: DOI
De Vos, Marina; Kisa, Doğa Gizem; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Annotating answer-set programs in LANA. (English) Zbl 1260.68058 Theory Pract. Log. Program. 12, No. 4-5, 619-637 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{M. De Vos} et al., Theory Pract. Log. Program. 12, No. 4--5, 619--637 (2012; Zbl 1260.68058) Full Text: DOI arXiv
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Stepwise debugging of description-logic programs. (English) Zbl 1357.68039 Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 492-508 (2012). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{J. Oetsch} et al., Lect. Notes Comput. Sci. 7265, 492--508 (2012; Zbl 1357.68039) Full Text: DOI
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Stepping through an answer-set program. (English) Zbl 1327.68068 Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 134-147 (2011). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Oetsch} et al., Lect. Notes Comput. Sci. 6645, 134--147 (2011; Zbl 1327.68068) Full Text: DOI
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Methods and methodologies for developing answer-set programs – project description. (English) Zbl 1237.68191 Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 154-161, electronic only (2010). MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{J. Oetsch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 7, 154--161 (2010; Zbl 1237.68191) Full Text: DOI Link
Janhunen, Tomi; Niemelä, Ilkka; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans On testing answer-set programs. (English) Zbl 1211.68383 Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 951-956 (2010). MSC: 68T20 68Q17 68T27 68T30 PDFBibTeX XMLCite \textit{T. Janhunen} et al., Front. Artif. Intell. Appl. 215, 951--956 (2010; Zbl 1211.68383) Full Text: DOI
Oetsch, Johannes; Pührer, Jörg; Schwengerer, Martin; Tompits, Hans The system Kato: detecting cases of plagiarism for answer-set programs. (English) Zbl 1213.68223 Theory Pract. Log. Program. 10, No. 4-6, 759-775 (2010). MSC: 68N99 68N17 PDFBibTeX XMLCite \textit{J. Oetsch} et al., Theory Pract. Log. Program. 10, No. 4--6, 759--775 (2010; Zbl 1213.68223) Full Text: DOI arXiv
Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Catching the Ouroboros: on debugging non-ground answer-set programs. (English) Zbl 1213.68182 Theory Pract. Log. Program. 10, No. 4-6, 513-529 (2010). MSC: 68N17 68N99 PDFBibTeX XMLCite \textit{J. Oetsch} et al., Theory Pract. Log. Program. 10, No. 4--6, 513--529 (2010; Zbl 1213.68182) Full Text: DOI arXiv
Pührer, Jörg; Tompits, Hans Casting away disjunction and negation under a generalisation of strong equivalence with projection. (English) Zbl 1258.68039 Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 264-276 (2009). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{J. Pührer} and \textit{H. Tompits}, Lect. Notes Comput. Sci. 5753, 264--276 (2009; Zbl 1258.68039) Full Text: DOI
Pührer, Jörg; Tompits, Hans; Woltran, Stefan Elimination of disjunction and negation in answer-set programs under hyperequivalence. (English) Zbl 1185.68177 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 561-575 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Pührer} et al., Lect. Notes Comput. Sci. 5366, 561--575 (2008; Zbl 1185.68177) Full Text: DOI
Brain, Martin; Gebser, Martin; Pührer, Jörg; Schaub, Torsten; Tompits, Hans; Woltran, Stefan Debugging ASP programs by means of ASP. (English) Zbl 1149.68326 Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15–17, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72199-4/pbk). Lecture Notes in Computer Science 4483. Lecture Notes in Artificial Intelligence, 31-43 (2007). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Brain} et al., Lect. Notes Comput. Sci. 4483, 31--43 (2007; Zbl 1149.68326) Full Text: DOI