马丁·吉斯;汤比思，汉斯 有限值非确定性逻辑的序列型拒绝系统。 （英语） Zbl 07757224号 J.应用。非类别。日志。 33，编号3-4，606-640（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Gius}和\textit{H.Tompits}，J.Appl。非类别。日志。33，编号3--4，606--640（2023；Zbl 07757224） 全文： 内政部
托拜厄斯·盖宾格;汉斯·托姆皮茨 非单调次协调逻辑系统的序列型计算。 （英语） Zbl 07455717号 Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）325178-191（2020）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Geibinger}和\textit{H.Tompits}，电子。程序。西奥。计算。科学。（EPTCS）325178--191（2020；Zbl 07455717） 全文： arXiv公司 链接
约翰内斯·奥奇;约格·普勒;汉斯·托姆皮茨 逐步调试应答程序。 （英语） Zbl 1425.68053号 理论实践。日志。程序。 18，第1期，30-80（2018）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人，《理论与实践》。日志。程序。18，编号1，30-80（2018；兹bl 1425.68053） 全文： 内政部 arXiv公司
托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 答案集编程中基于模型的重铸。 （英语） Zbl 1400.68048号 J.应用。非类别。日志。 23，编号1-2，75-104（2013）.MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，J.Appl。非类别。日志。23、编号1--2、75-104（2013；Zbl 1400.68048） 全文： 内政部
詹姆斯·德尔格兰德;托尔斯滕·绍布;汉斯·托姆皮茨;斯特凡·沃尔特兰 在答案集语义下合并逻辑程序。 （英语） Zbl 1251.68057号 Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649160-174（2009）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Delgrande}等人，Lect。注释计算。科学。5649160-174（2009年；兹比尔1251.68057） 全文： 内政部 链接
大卫·皮尔斯;汉斯·托姆皮茨;斯特凡·沃尔特兰 平衡逻辑和嵌套逻辑程序的特征：简化和复杂性。 （英语） Zbl 1186.68100号 理论实践。日志。程序。 9，第5期，565-616（2009）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}等人，《理论与实践》。日志。程序。9，编号565——616（2009年；兹bl 1186.68100） 全文： 内政部
托马斯·艾特;乔瓦姆巴蒂斯塔·伊安尼;托马斯·卢卡西维奇;罗马辛德劳;汉斯·托姆皮茨 将答案集编程与语义web的描述逻辑相结合。 （英语） Zbl 1183.68595号 Artif公司。智力。 172，编号12-13，1495-1539（2008）.MSC公司：68T27型 68英里11 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，Artif。智力。172，编号12--131495-1539（2008年；兹bl 1183.68595） 全文： 内政部
约翰内斯·奥奇;汉斯·托姆皮茨 答案集语义下的程序通信：非基础情况。 （英语） Zbl 1185.68173号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。《计算机科学讲义》53661591-605（2008）。MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}和\textit{H.Tompits}，莱克特。注释计算。科学。5366、591--605（2008年；Zbl 1185.68173） 全文： 内政部
约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 在超等价条件下消除答题程序中的析取和否定。 （英语） Zbl 1185.68177号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，561-575（2008）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Pührer}等人，Lect。注释计算。科学。5366151-575（2008年；兹bl 1185.68177） 全文： 内政部
马丁·格布瑟;托尔斯滕·绍布;汉斯·托姆皮茨;斯特凡·沃尔特兰 基于无基础集的答案集语义下程序等价性的替代特征。 （英语） Zbl 1138.68559号 Hartmann，Sven（编辑）等人，《信息和知识系统基础》。第五届国际研讨会，FoIKS 2008，意大利比萨，2008年2月11日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77683-3/pbk）。计算机科学课堂讲稿4932，24-41（2008）。MSC公司：68T27型 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，Lect。注释计算。科学。4932，24-41（2008年；Zbl 1138.68559） 全文： 内政部