×

Found 21 Documents (Results 1–21)

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
Full Text: DOI arXiv

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
Full Text: DOI Link

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
Full Text: DOI arXiv

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
Full Text: arXiv Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software