×

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

最新的 引文 相关性
刘，刘;米罗斯瓦·特鲁什琴斯基

用ASP解决哈密顿循环问题的编码选择。 （英语） 兹伯利07453125

Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306302-308（2019）。
MSC公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{L.Liu}和\textit{M.Truszczynski}，电子。程序。西奥。计算。科学。（EPTCS）306302--308（2019；Zbl 07453125）
全文： arXiv公司 链接
米罗斯瓦·特鲁什琴斯基

通过还原连接一阶ASP和逻辑FO（ID）。 （英语） Zbl 1357.68225号

Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。《计算机科学讲义》7265543-559（2012）。
MSC公司：68T27型 第68页第17页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Truszczynski}，莱克特。注释计算。科学。7265、543--559（2012；Zbl 1357.68225）
全文： DOI程序
特鲁什琴斯基，米洛斯奥

命题理论的约简、可满足关系和逻辑程序语义的推广。 （英语） Zbl 1251.68069号

Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649175-189（2009）。
MSC公司：第68页第17页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Truszczyn ski}，莱克特。注释计算。科学。5649、175--189（2009年；Zbl 1251.68069）
全文： DOI程序
特鲁什琴斯基，米洛斯奥;斯特凡·沃尔特兰

模块化编程逻辑程序的相对超等价。 （英语） Zbl 1185.68186号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366576-590（2008）。
MSC公司：第68页第17页
PDF格式BibTeX公司 XML格式引用
\textit{M.Truszczyn ski}和\textit{S.Woltran}，莱克托。注释计算。科学。5366、576--590（2008年；Zbl 1185.68186）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件