Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Thomas
Last name:	Eiter
DBLP:	e/TEiter
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 251  

Select a publication
Show	Title	Venue	Rating	Date
	Thomas Eiter, Mantas Simkus. FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols.	ACM Trans. Comput. Log. 2010, Volume 11	(0)	2010
	Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner. Realizing Default Logic over Description Logic Knowledge Bases.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings 2009	(0)	2009
	Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner. Combining Nonmonotonic Knowledge Bases with External Sources.	Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings 2009	(0)	2009
	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. Modular Nonmonotonic Logic Programming Revisited.	Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings 2009	(0)	2009
	Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink. Finding Similar or Diverse Solutions in Answer Set Programming.	Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings 2009	(0)	2009
	Diego Calvanese, Thomas Eiter, Magdalena Ortiz. Regular Path Queries in Expressive Description Logics with Nominals.	IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 2009	(0)	2009
	Thomas Eiter, Michael Fink, Thomas Krennwallner. Decomposition of Declarative Knowledge Bases with External Functions.	IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 2009	(0)	2009
	Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. Query Answering in Description Logics with Transitive Roles.	IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 2009	(0)	2009
	Thomas Eiter, Mantas Simkus. Bidirectional Answer Set Programs with Function Symbols.	IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 2009	(0)	2009
	Gerhard Brewka, Thomas Eiter. Argumentation Context Systems: A Framework for Abstract Group Argumentation.	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings 2009	(0)	2009

Your query returned 251 matches in the database.