×

找到3804份文件（结果1-100）

最新的 引文 关联
佩德森·托夫特（Pedersen Thoft），卡特琳·比约恩（Katrine Björn）;尼娜·吉拉西姆祖克

通过简单因果领域的干预学习。 （英语） Zbl 07856042号

Gierasimczuk，Nina（编辑）等人，《动态逻辑》。新趋势和应用。第五届国际研讨会，DaLí2023，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。14401, 104-118 (2024).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.B.Pedersen Thoft}和\textit{N.Gierasimczuk}，莱克特。注释计算。科学。14401104-118（2024年；兹bl 07856042）
全文： DOI程序
杜鹏浩;陈倩

链接变化混合逻辑的公理化。 （英语） Zbl 07856038号

Gierasimczuk，Nina（编辑）等人，《动态逻辑》。新趋势和应用。第五届国际研讨会，DaLí2023，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。14401, 35-51 (2024).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Du}和\textit{Q.Chen}，Lect。注释计算。科学。14401、35-51（2024；Zbl 07856038）
全文： DOI程序
库兹涅佐夫（Stepan L.Kuznetsov）。

交换Kleene代数理论的算法复杂性。 （英语。俄文原件） Zbl 07838022号

伊兹夫。数学。 88，编号2，236-269（2024）; Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料88，编号2，44-79（2024）。
MSC公司：03B25号 03C75号 03B47号 03天35分 05年3月 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Kuznetsov}，伊兹夫。数学。88，No.2，236--269（2024；Zbl 07838022）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料88，编号2，44--79（2024）
全文： DOI程序 MNR公司
里巴科夫，V.V。

S4.2相关模态逻辑的可接受性和统一性。 （英语。俄文原件） 兹比尔07804700

同胞。数学。J。 65，第1期，167-173（2024）; 来自Sib的翻译。材料Zh。65，第1期，198-206（2024）。
MSC公司：03Bxx号 68次发射 08Bxx年
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，西布。数学。J.65，No.1，167--173（2024；Zbl 07804700）；来自Sib的翻译。材料Zh。65，第1号，198--206（2024）
全文： DOI程序
V.V.里马茨基。

模态WCP逻辑的容许推理规则。 （英语。俄文原件） Zbl 07804699号

同胞。数学。J。 65，编号1，153-166（2024）; 来自Sib的翻译。材料Zh。65，第1期，180-197（2024）。
审核人：亚历山大·科斯塔·莱特（巴西利亚）
MSC公司：03财年03 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{V.Rimatskiy}，西布。数学。J.65，No.1，153--166（2024；Zbl 07804699）；来自Sib的翻译。材料Zh。65，第1号，180--197（2024）
全文： DOI程序
尼克·贝扎尼什维利;德米特里耶娃，安娜;吉姆·德·格罗特;托马索·莫拉希尼

超越分配性的正模态逻辑。 （英语） Zbl 07780209号

Ann.纯粹应用。逻辑 175，第2号，文章ID 103374，36页（2024）.
审核人：Xavier父母（维也纳）
MSC公司：03B45号 03G10年 06B15号 06年50月
PDF格式BibTeX公司 XML格式引用
\textit｛N.Bezhanishvili｝等人，Ann.纯应用。逻辑175，第2号，文章ID 103374，36页（2024；Zbl 07780209）
全文： DOI程序 arXiv公司
OA许可证
拉米雷斯·阿巴卡（Aldo Iván Ramírez Abarca）;布罗森，简

意向性的静态逻辑。 （英语） Zbl 07860236号

卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 125-153 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.I.Ramírez Abarca}和\textit{J.Broersen}，莱克特。注释计算。科学。13780，125-153（2023；Zbl 07860236）
全文： DOI程序
约翰·林德奎斯特;贝拉斯克斯·奎萨达，费尔南多·R。;托马斯·奥戈特内斯

谨慎的分散信仰。 （英语） Zbl 07860235号

卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 106-124 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Lindqvist}等人，Lect。注释计算。科学。13780、106-124（2023；Zbl 07860235）
全文： DOI程序
鲁斯塔姆·加利姆林;托马斯·奥戈特内斯

联盟逻辑的行动模型。 （英语） Zbl 07860233号

卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 73-89 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Galimullin}和\textit{T.奥戈特涅斯}，莱克特。注释计算。科学。13780，73-89（2023；Zbl 07860233）
全文： DOI程序
维塔利·多尔戈鲁科夫;格拉迪舍夫，马克西姆

预算约束代理的动态认知逻辑。 （英语） Zbl 07860232号

卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 56-72 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.Dolgorukov}和\textit{M.Gladyshev}，Lect。注释计算。科学。13780，56-72（2023；Zbl 07860232）
全文： DOI程序
卡洛斯·阿雷塞斯;劳尔·费尔瓦里;安德烈斯·萨拉维亚。;贝拉斯克斯·奎萨达，费尔南多·R。

更新知识的第一步。 （英语） Zbl 07860229号

卡洛斯·阿雷塞斯（编辑）等人，《动态逻辑》。新趋势和应用。第四届国际研讨会，DaLí2022年，以色列海法，2022年7月31日至8月1日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13780, 1-16 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}等人，Lect。注释计算。科学。13780，1-16（2023；Zbl 07860229）
全文： DOI程序
法拉·瓦尔达尼;考斯托夫·乔杜里;戴尔·米勒

使用分布式断言进行形式化推理。 （英语） Zbl 07842299号

Sattler，Uli（编辑）等人，《组合系统的前沿》。第十四届国际研讨会，2023年9月20日至22日，捷克共和国布拉格，Frocos 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14279, 176-194 (2023).
MSC公司：第68卷第15页 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{F.Al Wardani}等人，Lect。注释计算。科学。14279176-194（2023年；兹bl 07842299）
全文： DOI程序
OA许可证
马丁·布隆伯格;洛伦兹·勒特盖布;克里斯托夫·韦登巴赫

饱和约束Horn子句的符号模型构造。 （英语） Zbl 07842297号

Sattler，Uli（编辑）等人，《组合系统的前沿》。第十四届国际研讨会，2023年9月20日至22日，捷克共和国布拉格，Frocos 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14279, 137-155 (2023).
MSC公司：03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。14279137-155（2023；Zbl 07842297）
全文： DOI程序 arXiv公司
OA许可证
卢卡斯·史蒂文斯

面向集合论无量词片断的验证表证明器。 （英语） Zbl 07838504号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 491-508 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。14132491--508（2023年；Zbl 07838504）
全文： DOI程序 arXiv公司
Cláudia Nalon;乌尔里希·赫斯塔特;法比奥·帕帕奇尼;克莱尔·狄克逊

买一送14：评估模态逻辑的局部约简。 （英语） 兹伯利07838498

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 382-400 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Nalon}等人，Lect。注释计算。科学。14132382--400（2023；Zbl 07838498）
全文： DOI程序
佩特拉·霍佐娃;劳拉·科瓦奇;大通诺曼;安德烈·沃伦科夫

饱和状态下的程序合成。 （英语） Zbl 07838494号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 307-324 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{P.Hozzová}等人，Lect。注释计算。科学。14132307--324（2023；Zbl 07838494）
全文： DOI程序 arXiv公司
奥利弗·格利茨;丹尼尔·豪斯曼;悍马、梅林;德克·帕丁森;西蒙·普鲁克;卢茨·施罗德

COOL 2–模态定点逻辑的通用推理机（系统描述）。 （英语） Zbl 07838490号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 234-247 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit｛O.Görlitz｝等人，Lect。注释计算。科学。14132234--247（2023；Zbl 07838490）
全文： DOI程序 arXiv公司
罗宾·库特利埃;Kovács，劳拉;迈克尔·劳森;雅各布·拉特

基于SAT的包含解决方案。 （英语） Zbl 07838487号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 190-206 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{R.Coutelier}等人，Lect。注释计算。科学。14132、190--206（2023；Zbl 07838487）
全文： DOI程序 arXiv公司
马丁·布隆伯格;查亚特·贾恩;克里斯托夫·韦登巴赫

SCL（FOL）可以模拟非冗余叠加子句学习。 （英语） Zbl 07838484号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 134-152 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。14132，134--152（2023；Zbl 07838484）
全文： DOI程序 arXiv公司
贾斯敏·布兰切特;邱、齐;索菲·托雷特

验证给定条款程序。 （英语） Zbl 07838480号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 61-77 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{J.Blanchette}等人，Lect。注释计算。科学。14132，61--77（2023；Zbl 07838480）
全文： DOI程序
艾哈迈德·巴亚特;约翰·肖斯·沃尔（Johannes Schoisswohl）;迈克尔·劳森

叠加与延迟统一。 （英语） Zbl 07838478号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 23-40 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Bhayat}等人，Lect。注释计算。科学。14132，23--40（2023；Zbl 07838478）
全文： DOI程序 arXiv公司
拉克伦·麦克菲亚特;王达芙妮

DisCoCat代表驴子句子。 （英语） Zbl 07818973号

Moortgat，Michael（ed.）等人，《亚结构逻辑中的模态程序：逻辑、语言和计算接口的应用》，AMSLO 2023，斯洛文尼亚卢布尔雅那，2023年8月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）381，32-45（2023）。
MSC公司：03B47号 03B65号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Mcpheat}和textit{D.Wang}，电子。程序。西奥。计算。科学。（EPTCS）381、32--45（2023；Zbl 07818973）
全文： DOI程序 arXiv公司
布莱斯德尔，埃本;马克斯·卡诺维奇;库兹涅佐夫（Stepan L.Kuznetsov）。;伊莱恩·皮门特尔;安德烈·斯克洛夫

亚指数非结合非交换线性逻辑的探索。 （英语） Zbl 07818971号

Moortgat，Michael（ed.）等人，《亚结构逻辑中的模态程序：逻辑、语言和计算接口的应用》，AMSLO 2023，斯洛文尼亚卢布尔雅那，2023年8月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）381，4-19（2023）。
MSC公司：03B47号 03B65号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.Blaisdell}等人，《电子》。程序。西奥。计算。科学。（EPTCS）381，4--19（2023；Zbl 07818971）
全文： DOI程序 arXiv公司
亚历山大五世（Alexander V.Gheorghiu）。;大卫·J·派姆。

直觉主义命题逻辑的定义公式、否定即失败和基本扩展语义。 （英语） Zbl 07811414号

牛市。第节。日志。，大学后勤部。 52，编号2，239-266（2023）.
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Gheorghiu}和\textit{D.J.Pym}，公牛。第节。日志。，大学后勤部。52，编号2，239--266（2023；Zbl 07811414）
全文： DOI程序 arXiv公司
OA许可证
金、多汉

字符串上子句的等式定理证明。 （英语） Zbl 07810645号

Nantes-Sobrinho，Daniele（编辑）等人，第17届逻辑和语义框架应用国际研讨会论文集，LSFA，巴西贝洛奥里藏特，2022年9月23日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37649-66（2023年）。
MSC公司：03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Kim}，电子。程序。西奥。计算。科学。（EPTCS）376、49--66（2023；Zbl 07810645）
全文： DOI程序 arXiv公司
安娜·克鲁兹;亚历山大·马德拉;巴博萨、路易斯·索亚雷斯

准一致过渡系统。 （英语） Zbl 07810642号

Nantes-Sobrinho，Daniele（编辑）等人，第17届逻辑和语义框架应用国际研讨会论文集，LSFA，巴西贝洛奥里藏特，2022年9月23日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）376，3-15（2023）。
MSC公司：03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Cruz}等人，《电子》。程序。西奥。计算。科学。（EPTCS）376，3--15（2023；Zbl 07810642）
全文： DOI程序 arXiv公司
拉米雷斯·阿巴卡（Aldo Iván Ramírez Abarca）

基于逻辑的责任分析。 （英语） Zbl 07810634号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379470-486（2023年）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{A.I.Ramírez Abarca}，电子。程序。西奥。计算。科学。（EPTCS）379470-486（2023；Zbl 07810634）
全文： DOI程序 arXiv公司
丹尼尔·米埃德马;马尔文·加廷格

利用逻辑谜题中的不对称性：使用ZDDs进行符号模型检查动态认知逻辑。 （英语） Zbl 07810630号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379407-420（2023年）。
MSC公司：03年XX月 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛D.Miedema｝和\textit｛M.Gattinger｝，电子。程序。西奥。计算。科学。（EPTCS）379，407--420（2023；Zbl 07810630）
全文： DOI程序 arXiv公司
杰里米·古德曼;伯恩哈德·萨洛

基于概率的信念修正。 （英语） Zbl 07810623号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379308-317（2023）。
MSC公司：03年XX月 60年XX月
PDF格式BibTeX公司 XML格式引用
\textit{J.古德曼}和\textit{B.Salow}，电子。程序。西奥。计算。科学。（EPTCS）379308-317（2023；Zbl 07810623）
全文： DOI程序 arXiv公司
马尔科·加拉帕;爱德华多·费姆;莫里西奥·赖斯。

基于球体系统的两级可信度限制修订。 （英语） Zbl 07810621号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379287-298（2023年）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Garapa}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379287--298（2023；Zbl 07810621）
全文： DOI程序 arXiv公司
鲁斯塔姆·加利姆林;Louwe B.Kuijer。

具有常识的任意公告逻辑的可满足性是（Sigma^1_1）-困难的。 （英语） Zbl 07810619号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379260-271（2023）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{R.Galimullin}和\textit{L.B.Kuijer}，电子。程序。西奥。计算。科学。（EPTCS）379260--271（2023年；Zbl 07810619）
全文： DOI程序 arXiv公司
丁毅文;克里希纳·马诺卡尔;阿波斯托洛斯·齐莫利斯;王若丁;王晓龙

因果克里普克模型。 （英语） Zbl 07810614号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379185-200（2023）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ding}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，185--200（2023；Zbl 07810614）
全文： DOI程序 arXiv公司
贝尔科娃，玛尔塔;伊戈尔·塞德拉尔

结构化内涵群的认识逻辑。 （英语） Zbl 07810609号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379113-130（2023年）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bílková}和\textit{I.Sedlár}，电子。程序。西奥。计算。科学。（EPTCS）379、113--130（2023；Zbl 07810609）
全文： DOI程序 arXiv公司
盖亚·贝拉迪内利;布克哈德·C·希珀。

无意识结构中的隐性知识——扩展抽象——。 （英语） Zbl 07810608号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379，93-112（2023）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{G.Belardinelli}和\textit{B.C.Schipper}，电子。程序。西奥。计算。科学。（EPTCS）379，93-112（2023；Zbl 07810608）
全文： DOI程序 arXiv公司
尼科洛·维尔特里

斜非交换的最大多焦点证明磨机. （英语） 兹比尔07810577

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 377-393 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Veltri}，莱克特。注释计算。科学。13923、377--393（2023；Zbl 07810577）
全文： DOI程序
亚西尔·马哈茂德;乔尼·维尔特玛

命题包含和独立逻辑的参数化复杂性。 （英语） Zbl 07810570号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 274-291 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Mahmood｝和\textit｛J.Virtema｝，Lect。注释计算。科学。13923274--291（2023；Zbl 07810570）
全文： DOI程序 arXiv公司
托马斯·弗格森;潘奇阿，维特

结构完备性和超直觉的查询逻辑。 （英语） Zbl 07810565号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 194-210 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛T.Ferguson｝和\textit｛V.Punčochář｝，Lect。注释计算。科学。13923194-210（2023；Zbl 07810565）
全文： DOI程序
汉斯·范·迪特马什;迪迪埃·加米歇;玛尔塔·加威克

以认知行为历史为资源的分离逻辑。 （英语） Zbl 07810563号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 161-177 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，Lect。注释计算。科学。13923、161--177（2023；Zbl 07810563）
全文： DOI程序
达斯科·巴甫洛维奇;特姆拉·巴甫洛维奇

从哥德尔的不完备性定理到机器人信念的完备性（扩展抽象）。 （英语） Zbl 07810556号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 33-50 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.巴甫洛维奇}和\textit{T.巴甫洛维克}，莱克特。注释计算。科学。13923、33-50（2023；Zbl 07810556）
全文： DOI程序 arXiv公司
罗洁婷;托马斯·施图德;迈赫迪·达斯塔尼

提供个性化解释：对话方式。 （英语） Zbl 1531.68127号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 121-137 (2023).
MSC公司：68T27型 03B42号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{J.Luo}等人，Lect。注释计算。科学。14156121-137（2023年；Zbl 1531.68127）
全文： DOI程序 arXiv公司
克里斯蒂安·卡钦;大卫·莱纳;托马斯·施图德

多智能体系统的模态和理由逻辑（邀请演讲）。 （英语） Zbl 1528.68363号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 3-8 (2023).
MSC公司：68T27型 03B42号 03B45号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Cachin｝等人，Lect。注释计算。科学。14156，3--8（2023；Zbl 1528.68363）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件