×

找到16个文档（结果1-16）

最新的 引文 关联
Johannes Oetsch；胡安·卡洛斯·尼维斯

带有序算子的命题理论的稳定序模型。 （英语） Zbl 1525.68174号

Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 794-802 (2019).
MSC公司：68T27型 03B44号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}和\textit{J.-C.Nieves}，莱克特。注释计算。科学。11468、794--802（2019年；Zbl 1525.68174）
全文： 内政部
亚历山大·格雷勒；Johannes Oetsch；汉斯·托姆皮茨

\（\mathsf｛Harvey｝\）：ASP中的随机测试系统。 （英语） Zbl 1491.68044号

Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 229-235 (2017).
MSC公司：68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Greßler}等人，莱克特。注释计算。科学。10377、229--235（2017；Zbl 1491.68044）
全文： 内政部
埃格利，乌韦；弗洛里安·朗辛；Johannes Oetsch

增量SAT和QBF求解器的自动基准测试。 （英语） Zbl 1471.68306号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450，178-186（2015年）。
MSC公司：68伏15 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{U.Egly}等人，Lect。注释计算。科学。9450、178--186（2015；Zbl 1471.68306）
全文： 内政部 arXiv公司
汉斯·托姆皮茨（编辑）；萨尔瓦多阿布雷乌（编辑）；Johannes Oetsch（编辑）；元首，约尔格（编辑）；迪特马尔，塞佩尔（编辑）；梅田，Masanobu（编辑）；Wolf，阿明（编辑）

声明式编程和知识管理的应用。2011年INAP第19届国际会议和2011年WLP第25次逻辑编程研讨会，2011年9月28日至30日，奥地利维也纳。修订了选定的论文。 （英语） 兹比尔1320.68029

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-41523-4/pbk；978-3-442-41524-1/电子书）。xiii，365页。(2013).
MSC公司：68-06 68N17号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Tompits}（ed.）等人，声明式编程和知识管理的应用。2011年INAP第19届国际会议和2011年WLP第25次逻辑编程研讨会，2011年9月28日至30日，奥地利维也纳。修改选定的论文。柏林：施普林格出版社（2013；Zbl 1320.68029）
全文： 内政部
Johannes Oetsch；元首，约尔格；汉斯·托姆皮茨

具有析取的抽象约束程序的FLP式应答集语义。 （英语） Zbl 1281.68150号

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。根据会议上的陈述撰写的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，222-234，仅电子版（2012年）。
MSC公司：68问题55 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}等人，LIPIcs——莱布尼茨国际程序。通知。17、222--234（2012；Zbl 1281.68150）
全文： 内政部
Johannes Oetsch；元首，约尔格；汉斯·托姆皮茨

描述逻辑程序的逐步调试。 （英语） Zbl 1357.68039号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。《计算机科学讲义》7265、492-508（2012）。
MSC公司：68N17号 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}等人，Lect。注释计算。科学。7265，492--508（2012；Zbl 1357.68039）
全文： 内政部
Johannes Oetsch；汉斯·托姆皮茨

三值逻辑的Gentzen型反驳系统，用于反驳强等价性。 （英语） Zbl 1327.03018号

Delgrade，James P.（编辑）等人，《逻辑编程和非单调推理》。2011年5月16日至19日，加拿大温哥华，第11届国际会议，LPNMR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20894-2/pbk）。计算机科学课程讲稿6645。人工智能课堂讲稿，254-259（2011）。
MSC公司：03B50号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}和\textit{H.Tompits}，莱克特。注释计算。科学。6645254--259（2011；Zbl 1327.03018）
全文： 内政部
Johannes Oetsch；元首，约尔格；汉斯·托姆皮茨

逐步完成回答程序。 （英语） Zbl 1327.68068号

Delgrade，James P.（编辑）等人，《逻辑编程和非单调推理》。2011年5月16日至19日，加拿大温哥华，第11届国际会议，LPNMR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20894-2/pbk）。计算机科学课程讲稿6645。人工智能课堂讲稿，134-147（2011）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}等人，Lect。注释计算。科学。6645、134--147（2011年；Zbl 1327.68068）
全文： 内政部
Johannes Oetsch；元首，约尔格；汉斯·托姆皮茨

开发答题程序的方法和方法——项目描述。 （英语） Zbl 1237.68191号

Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学论文集7，154-161，仅电子版（2010）。
MSC公司：68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}等人，LIPIcs——莱布尼茨国际程序。通知。7、154--161（2010年；Zbl 1237.68191）
全文： 内政部 链接
汤米·詹胡宁；伊尔卡·尼梅尔；Johannes Oetsch；元首，约尔格；汉斯·托姆皮茨

关于测试答案集程序。 （英语） Zbl 1211.68383号

Coelho，Helder（编辑）等人，ECAI 2010。第19届欧洲人工智能会议，2010年8月16日至20日，葡萄牙里斯本。包括第六届著名的人工智能应用程序（PAIS-2010）。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-605-8/pbk；978-1-60750-606-5/ebook）。人工智能和应用前沿215951-956（2010）。
MSC公司：68T20型 2017年第68季度 第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.Janhunen}等人，前面。Artif公司。智力。申请。215951-956（2010年；Zbl 1211.68383）
全文： 内政部
Johannes Oetsch；汉斯·托姆皮茨

答案集语义下的程序通信：非基础情况。 （英语） Zbl 1185.68173号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，591-605（2008）。
MSC公司：68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Oetsch}和\textit{H.Tompits}，莱克特。注释计算。科学。5366、591--605（2008年；Zbl 1185.68173）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件