Name Card

Full name Familienname, Vorname

Son, Tran Cao

Contributing Publications Mitbeteiligte Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Authors / Editors	Title	Type	Issue Date
	1		Ciabattoni, Agata ; Rozplokhas, Dmitrii	Streamlining Input/Output Logics with Sequent Calculi	Inproceedings Konferenzbeitrag	12-Nov-2023
	2		Saribatur, Zeynep G. ; Woltran, Stefan	Foundations for Projecting Away the Irrelevant in ASP Programs	Inproceedings Konferenzbeitrag	2023
	3		Lukasiewicz, Thomas ; Malizia, Enrico ; Molinaro, Cristian	Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs	Inproceedings Konferenzbeitrag	2023
	4		Kiesel, Rafael ; Eiter, Thomas	Knowledge Compilation and More with SharpSAT-TD	Inproceedings Konferenzbeitrag	2023
	5		Delgrande, James ; Peppas, Pavlos ; Woltran, Stefan	AGM-Style Belief Revision of Logic Programs under Answer Set Semantics	Konferenzbeitrag Inproceedings	2013
	6		Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter	ActHEX: Implementing HEX Programs with Action Atoms	Konferenzbeitrag Inproceedings	2013
	7		Ambroz, Thomas ; Charwat, Günther ; Jusits, Andreas ; Wallner, Johannes Peter ; Woltran, Stefan	ARVis: Visualizing Relations between Answer Sets	Konferenzbeitrag Inproceedings	2013
	8		Polberg, Sylwia ; Wallner, Johannes Peter ; Woltran, Stefan	Admissibility in the Abstract Dialectical Framework	Konferenzbeitrag Inproceedings	2013
	9		Leite, Joao ; Son, Tran Cao ; Torroni, Paolo ; van der Torre, Leon ; Woltran, Stefan	Computational Logic in Multi-Agent Systems	Buch Book	2013
	10		Antić, Christian ; Eiter, Thomas ; Fink, Michael	Hex Semantics via Approximation Fixpoint Theory	Konferenzbeitrag Inproceedings	2013
	11		Barilaro, Rosmaria ; Fink, Michael ; Ricca, Francesco ; Terracina, Giorgio	Towards Query Answering in Relational Multi-Context Systems	Konferenzbeitrag Inproceedings	2013
	12		Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui	VCWC: A Versioning Competition Workflow Compiler	Konferenzbeitrag Inproceedings	2013
	13		Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui	The Fourth Answer Set Programming Competition: Preliminary Report	Konferenzbeitrag Inproceedings	2013
	14		Brewka, Gerhard ; Eiter, Thomas ; Fink, Michael	Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources	Buchbeitrag Book Contribution	2011
	15		Faber, Wolfgang ; Woltran, Stefan	Manifold Answer-Set Programs and Their Applications	Buchbeitrag Book Contribution	2011
	16		Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans	A Preference-Based Framework for Updating Logic Programs: Preliminary Report	Konferenzbeitrag Inproceedings	2006