×

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

最新的 引文 关联
圭多·西亚维科；马特奥·扎瓦特里；蒂齐亚诺别墅

挖掘重要的时态网络是多项式的。 （英语） Zbl 07760481号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第11条，第12页（2020年）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{G.Sciavicco}等人，LIPIcs——莱布尼茨国际程序。通知。178，第11条，第12页（2020；Zbl 07760481）
全文： 内政部
卢克·亨斯伯格；罗伯托·波塞纳托

将条件简单时态网络的epsilon-DC检查简化为DC检查。 （英语） Zbl 1487.68215号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第15条，第15页（2018）。
MSC公司：68T20型 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{L.Hunsberger}和\textit{R.Posenato}，LIPIcs——莱布尼茨国际程序。通知。120，第15条，第15页（2018；Zbl 1487.68215）
全文： 内政部
卢克·亨斯伯格；罗伯托·波塞纳托

用于检查具有不确定性的条件简单时态网络的动态可控性的健全完整算法。 （英语） Zbl 1487.68214号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第14条，第17页（2018年）。
MSC公司：68T20型 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{L.Hunsberger}和\textit{R.Posenato}，LIPIcs——莱布尼茨国际程序。通知。120，第14条，第17页（2018；Zbl 1487.68214）
全文： 内政部
卡洛·库比；罗伯托·波塞纳托

扩展具有部分可收缩不确定性的条件简单时间网络。 （英语） Zbl 1487.68210号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第9条，第16页（2018年）。
MSC公司：68T20型 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{C.Combi}和\textit{R.Posenato}，LIPIcs——莱布尼茨国际程序。通知。120，第9条，第16页（2018；Zbl 1487.68210）
全文： 内政部
罗马人Barták；乔佩克，Ondřej；海娜，马丁

具有替代项的嵌套时态网络中的时态推理。 （英语） Zbl 1162.68649号

Fages，François（编辑）等人，约束方面的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会，2007年CSCLP，法国罗克扬科特，2007年6月7日至8日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89811-5/pbk）。计算机科学课堂讲稿5129。人工智能课堂讲稿，17-31（2008）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Barták}等人，Lect。票据计算。科学。5129、17-31（2008年；Zbl 1162.68649）
全文： 内政部
罗马人Barták；乔佩克，Ondřej

具有备选方案的嵌套优先网络：识别、可处理性和模型。 （英语） Zbl 1169.68599号

Dochev，Danail（编辑）等人，《人工智能：方法、系统和应用》。2008年9月4日至6日在保加利亚瓦尔纳举行的2008年AIMSA第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85775-4/pbk）。计算机科学讲义5253。人工智能课堂讲稿，235-246（2008）。
MSC公司：68T20型 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Barták}和\textit{O.Co epek}，莱克特。票据计算。科学。5253235--246（2008年；Zbl 1169.68599）
全文： 内政部
米歇尔·伦巴第；米歇拉·米兰

调度条件任务图。 （英语） Zbl 1145.68524号

Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。《计算机科学讲义》4741468-482（2007）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Lombardi}和\textit{M.Milano}，莱克特。票据计算。科学。4741、468--482（2007年；Zbl 1145.68524）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件