×

找到73份文件（结果1-73）

最新的 引文 关联
亚历山大·巴尔塔格;尼克·贝扎尼什维利;费尔南德斯·冈萨雷斯（Fernández González），萨尔

拓扑证据逻辑：多智能体设置。 （英语） Zbl 1530.03060号

奥兹根、艾布克（编辑）等人，《语言、逻辑和计算》。第十三届第比利斯国际研讨会，2019年TbiLLC，格鲁吉亚巴统，2019月16-20日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13206, 237-257 (2022).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。13206237-257（2022年；兹比尔1530.03060）
全文： 内政部
亚历山大·巴尔塔格;伊拉里亚州卡纳沃托;斯梅茨，索尼娅

因果代理和责任：STIT逻辑的细化。 （英语） Zbl 07607239号

亚历山德罗·佐丹尼（编辑）等，《高清晰度逻辑——逻辑语义学趋势》。根据2019年逻辑趋势会议上的陈述选择论文。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。56, 149-176 (2021).
MSC公司：03B42号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，《趋势日志》。螺柱日志。伦敦银行同业拆借利率。56、149--176（2021；Zbl 07607239）
全文： 内政部
亚历山大·巴尔塔格;艾比克·厄兹根;阿娜·露西亚，瓦尔加斯·桑多瓦尔

AGM从部分观察中学习的逻辑。 （英语） 兹比尔1496.03123

Soares Barbosa，Luís（编辑）等人，《动态逻辑》。新趋势和应用。2019年10月7日至11日，第二届国际研讨会，DALI 2019，葡萄牙波尔图。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12005, 35-52 (2020).
MSC公司：03B70号 03B42号 68T05型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。12005，35-52（2020；Zbl 1496.03123）
全文： 内政部 链接
亚历山大·巴尔塔格;拉德·索鲁斯·拉菲;斯梅茨，索尼娅

学习概率：走向统计学习的逻辑。 （英语） Zbl 07450019号

Moss，Lawrence S.（编辑），《第十七届理性与知识理论方面会议论文集》，2019年7月17日至19日，法国图卢兹，TARK 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29735-49（2019）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，《电子》。程序。西奥。计算。科学。（EPTCS）297，35-49（2019；Zbl 07450019）
全文： arXiv公司 链接
亚历山大·巴尔塔格;尼克·贝扎尼什维利;费尔南德斯·冈萨雷斯（Fernández González），萨尔

拓扑证据逻辑的麦肯锡-塔斯基定理。 （英语） Zbl 1530.03059号

罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，2019年7月2日至5日，荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11541, 177-194 (2019).
MSC公司：03B42号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。11541、177--194（2019年；Zbl 1530.03059）
全文： 内政部
亚历山大·巴尔塔格;李大竹;佩德森，米娜·杨

在正确的道路上：监督学习的模态逻辑。 （英语） Zbl 07160597号

Blackburn，Patrick（编辑）等人，《逻辑、理性与互动》。2019年LORI第七届国际研讨会，中国重庆，2019年10月18-21日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11813, 1-14 (2019).
MSC公司：68问题32 03B45号 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。11813，1-14（2019；Zbl 07160597）
全文： 内政部 arXiv公司
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;艾比克·厄兹根;安娜·露西亚·巴尔加斯·桑多瓦尔;斯梅茨，索尼娅

学习理论的动态逻辑。 （英语） Zbl 1435.68310号

J.日志。阿尔盖布。方法计划。 109，文章ID 100485，20 p.（2019）.
MSC公司：68T27型 03B42号 68问题32 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，J.Log。阿尔盖布。方法程序。109，文章ID 100485，20 p.（2019；Zbl 1435.68310）
全文： 内政部 链接
亚历山大·巴尔塔格;艾比克·厄兹根;安娜·露西亚·巴尔加斯·桑多瓦尔

APAL的记忆力更好。 （英语） Zbl 1509.03062号

Moss，Lawrence S.（编辑）等人，《逻辑、语言、信息和计算》。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10944, 106-129 (2018).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。10944、106-129（2018年；Zbl 1509.03062）
全文： 内政部
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;艾比克·厄兹根;安娜·露西亚·巴尔加斯·桑多瓦尔;斯梅茨，索尼娅

学习理论的动态逻辑。 （英语） Zbl 1502.68283号

马德拉，亚历山大（编辑）等人，《动态逻辑》。新趋势和应用。2017年9月23日至24日在巴西巴西利亚举行的2017年DALI首次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10669, 35-54 (2018).
MSC公司：68T27型 03B42号 68问题32 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。10669，35-54（2018；Zbl 1502.68283）
全文： 内政部 链接
亚历山大·巴尔塔格;尼克·贝扎尼什维利;艾比克·厄兹根;斯梅茨，索尼娅

完全信念和弱信念的拓扑结构。 （英语） Zbl 1428.03046号

Hansen，Helle Hvid（编辑）等，《逻辑、语言和计算》。第十一届第比利斯国际研讨会，2015年第比利斯有限责任公司，格鲁吉亚第比利斯，2015年9月21日至26日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。10148, 205-228 (2017).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。10148205-228（2017；Zbl 1428.03046）
全文： 内政部 链接
亚历山大·巴尔塔格;艾比克·厄兹根;安娜·露西亚，巴尔加斯·桑多瓦尔

拓扑逻辑是一种动态认知逻辑。 （英语） Zbl 1496.03069号

Baltag，Alexandru（编辑）等人，《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10455, 330-346 (2017).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。10455330-346（2017；Zbl 1496.03069）
全文： 内政部 链接
亚历山大·巴尔塔格;尼克·贝扎尼什维利;朱莉娅·伊林;艾比克·厄兹根

商动力学：抽象的逻辑。 （英语） Zbl 1495.03044号

Baltag，Alexandru（编辑）等人，《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10455, 181-194 (2017).
MSC公司：03B60号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。10455、181--194（2017；Zbl 1495.03044）
全文： 内政部 链接
亚历山大·巴尔塔格;安德烈斯·奥奇宾蒂

证据逻辑与关系证据。 （英语） Zbl 1495.03017号

Baltag，Alexandru（编辑）等人，《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10455, 17-32 (2017).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{A.Occhipinti}，莱克特。注释计算。科学。10455，17-32（2017；Zbl 1495.03017）
全文： 内政部 arXiv公司 链接
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;斯梅茨，索尼娅

归纳问题的可解性：认知拓扑学研究。 （英语） Zbl 1483.68367号

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215，81-98（2016年）。
MSC公司：68T27型 03B42号 68问题32 68T20型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，《电子》。程序。西奥。计算。科学。（EPTCS）21581--98（2016；Zbl 1483.68367）
全文： arXiv公司 链接
亚历山大·巴尔塔格;弗吉尼亚州费特克;斯梅茨，索尼娅

论证模型中的信念和证据。 （英语） Zbl 1400.03029号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录（AiML 2016）。伦敦：学院出版物（ISBN 978-1-84890-201-5/pbk）。156-176 (2016).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，in：模态逻辑的进展。第11卷。第十一届会议记录（AiML 2016），匈牙利布达佩斯，2016年8月30日至9月2日。伦敦：学院出版物。156--176（2016；Zbl 1400.03029）
亚历山大·巴尔塔格

知道就是知道变量的值。 （英语） Zbl 1400.03028号

Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录（AiML 2016）。伦敦：学院出版物（ISBN 978-1-84890-201-5/pbk）。135-155 (2016).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}，in：模态逻辑的进展。第11卷。第十一届会议记录（AiML 2016），匈牙利布达佩斯，2016年8月30日至9月2日。伦敦：学院出版物。135-155（2016年；Zbl 1400.03028）
亚历山大·巴尔塔格;斯梅茨，索尼娅

动态交互信念修正的定性理论。 （英语） 兹比尔1384.03099

Arló-Costa，Horacio（编辑）等人，《形式认识论阅读》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。商会：施普林格出版社（ISBN 978-3-319-20450-5/hbk；978-3-319-20451-2/ebook）。斯普林格哲学研究生文集1813-858（2016）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，斯普林格梯度。文本Philos。1813--858（2016；Zbl 1384.03099）
全文： 内政部
亚历山大·巴尔塔格;劳伦斯·莫斯。;索莱奇·萨沃米尔

公开声明、常识和私人怀疑的逻辑。 （英语） Zbl 1386.03019号

Arló-Costa，Horacio（编辑）等人，《形式认识论阅读》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。商会：施普林格出版社（ISBN 978-3-319-20450-5/hbk；978-3-319-20451-2/ebook）。斯普林格哲学研究生文集1773-812（2016）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Springer Grad。文本Philos。1773-812（2016年；兹bl 1386.03019）
全文： 内政部 链接
亚历山大·巴尔塔格;尼克·贝扎尼什维利;艾比克·厄兹根;斯梅茨，索尼娅

合理的信念和证据的拓扑结构。 （英语） Zbl 1478.03022号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9803, 83-103 (2016).
MSC公司：03B42号 54小时99
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。9803，83-103（2016年；Zbl 1478.03022）
全文： 内政部 链接
亚历山大·巴尔塔格;斯梅茨，索尼娅

逻辑动力学轨迹：本卷鸟瞰图。 （英语） Zbl 1336.03001号

Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。Logic 5的杰出贡献，xv-lxix（2014）。
MSC公司：03-03 01年6月 01A61号 03B42号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Baltag｝和\textit｛S.Smets｝，Outst。控制日志。5，xv-lxix（2014；Zbl 1336.03001）
亚历山大·巴尔塔格;弗吉尼亚州费特克;斯梅茨，索尼娅

DDL作为一种动态信念修正的“内化”。 （英语） Zbl 1347.03022号

Trypuz，Robert（编辑），Krister Segerberg关于行动逻辑。多德雷赫特：施普林格（ISBN 978-94-007-7045-4/pbk；978-94-07-7046-1/电子书）。《逻辑1的杰出贡献》，253-280（2014）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Outst。控制日志。1253--280（2014；Zbl 1347.03022）
全文： 内政部 链接
亚历山大·巴尔塔格;乔特·伯格菲尔德;Kohei的Kishida;约书亚·萨克;斯梅茨，索尼娅;钟，沈阳

PLQP&Company：量子算法的可判定逻辑。 （英语） 兹比尔1302.81082

国际J.Theor。物理学。 53，第10号，3628-3647（2014）.
MSC公司：81页68 81页第10页 03B45号 03G12号机组 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，国际期刊Theor。物理学。53，第10号，3628--3647（2014；Zbl 1302.81082）
全文： 内政部
亚历山大·巴尔塔格;佐埃·克里斯托夫;延斯·乌尔里克·汉森;斯梅茨，索尼娅

对Pacuit和Liu的回应。 （英语） Zbl 1306.91117号

van Benthem，Johan（编辑）等人，《大学逻辑：基础与应用》。清华逻辑会议记录，中国北京，2013年10月14-16日。伦敦：学院出版物（ISBN 978-1-84890-122-3/pbk）。《逻辑研究》（伦敦）47，440-444（2013）。
MSC公司：91D99型 91D10号 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，研究日志。（伦敦）47440-444（2013；Zbl 1306.91117）
亚历山大·巴尔塔格;佐埃·克里斯托夫;延斯·乌尔里克·汉森;斯梅茨，索尼娅

信息级联的逻辑模型。 （英语） 兹比尔1306.91116

van Benthem，Johan（编辑）等人，《大学逻辑：基础与应用》。清华逻辑会议记录，中国北京，2013年10月14-16日。伦敦：学院出版物（ISBN 978-1-84890-122-3/pbk）。《逻辑研究》（伦敦）47，405-432（2013）。
MSC公司：91D99型 91D10号 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，研究日志。（伦敦）47，405--432（2013；Zbl 1306.91116）
亚历山大·巴尔塔格

对Dietrich和List的评论。 （英语） Zbl 1306.91051号

van Benthem，Johan（编辑）等人，《大学逻辑：基础与应用》。清华逻辑会议记录，中国北京，2013年10月14-16日。伦敦：学院出版物（ISBN 978-1-84890-122-3/pbk）。《逻辑研究》（伦敦）47，389-391（2013）。
MSC公司：91B08型 91A26型 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}，螺柱日志。（伦敦）47，389--391（2013；Zbl 1306.91051）
亚历山大·巴尔塔格;斯梅茨，索尼娅

Leitgeb评论。 （英语） 兹比尔1320.03041

van Benthem，Johan（编辑）等人，《大学逻辑：基础与应用》。清华逻辑会议记录，中国北京，2013年10月14-16日。伦敦：学院出版物（ISBN 978-1-84890-122-3/pbk）。《逻辑研究》（伦敦）47，55-59（2013）。
MSC公司：03B42号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，Stud.Log。（伦敦）47，55-59（2013；Zbl 1320.03041）
亚历山大·巴尔塔格;尼克·贝扎尼什维利;艾比克·厄兹根;斯梅茨，索尼娅

信念、信念修正和不可行知识的拓扑结构。 （英语） Zbl 1407.03017号

格罗西·戴维德（编辑）等人，《逻辑、理性与互动》。2013年10月9日至12日，第四届国际研讨会，LORI 2013，中国杭州。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8196, 27-40 (2013).
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。8196，27--40（2013；Zbl 1407.03017）
全文： 内政部
亚历山大·巴尔塔格;Jort M.Bergfeld。;Kohei的Kishida;约书亚·萨克;Smets，Sonja J.L。;钟，沈阳

量子概率并矢二阶逻辑。 （英语） Zbl 1395.81016号

利布金，列奥尼德（编辑）等人，《逻辑、语言、信息和计算》。2013年8月20日至23日，德国达姆施塔特WoLLIC 2013第20届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39991-6/pbk）。计算机科学课堂讲稿8071，64-80（2013）。
MSC公司：81页第10页 03B25号 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。8071，64-80（2013；Zbl 1395.81016）
全文： 内政部
亚历山大·巴尔塔格;布莱恩·雷恩;斯梅茨，索尼娅

正当信念转变、软证据和可废止知识的逻辑。 （英语） Zbl 1362.03012号

Ong，Luke（编辑）等人，《逻辑、语言、信息和计算》。2012年9月3日至6日在阿根廷布宜诺斯艾利斯举办的2012年WoLLIC第19届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32620-2/pbk）。计算机科学课堂讲稿7456168-190（2012）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，Lect。注释计算。科学。7456，168--190（2012；Zbl 1362.03012）
全文： 内政部
亚历山大·巴尔塔格;斯梅茨，索尼娅

相关信息：多体量子系统的逻辑。 （英语） 兹比尔1348.81048

Coecke，Bob（编辑）等人，《第六届量子物理与逻辑国际研讨会论文集》（QPL 2009），英国牛津，2009年4月8日至9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》270，第2期，3-14页（2011年）。
MSC公司：81页第10页 03B42号 81页40页
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，电子。理论注释。计算。科学。270，第2号，第3-14号（2011；Zbl 1348.81048）
全文： 内政部
亚历山大·巴尔塔格;斯梅茨，索尼娅

通过问答进行学习：从信念-再认识循环到多角形不动点。 （英语） Zbl 1246.03035号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，124-139（2009）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，Lect。注释计算。科学。5514124-139（2009年；兹bl 1246.03035）
全文： 内政部
亚历山大·巴尔塔格;斯梅茨，索尼娅

条件性强词夺理行动的逻辑。 （英语） Zbl 1377.03006号

Apt，Krzysztof R.（编辑）等人，《游戏和互动的新视角》。根据2007年2月5日至7日在荷兰阿姆斯特丹举行的学术讨论会上的发言选出的论文。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-057-4/pbk；978-90-4850-642-2/电子书）。《逻辑和游戏中的文本》4，9-31（2008）。
MSC公司：03B42号 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，文本日志。游戏4，9-31（2008；Zbl 1377.03006）
亚历山大·巴尔塔格;斯梅茨，索尼娅

动态交互信念修正的定性理论。 （英语） Zbl 1261.03077号

Bonanno，Giacomo（编辑）等人，《逻辑与博弈与决策理论基础》（LOFT7）。修订后的论文2006年7月在英国利物浦举行的第七届会议上提出。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-026-0/pbk）。《逻辑与游戏文本》3，11-58（2008）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，文本日志。游戏3，11-58（2008；Zbl 1261.03077）
亚历山大·巴尔塔格;梅赫努什·萨德扎德

多智能体动态信念修正代数。 （英语） Zbl 1273.68369号

van der Hoek，Wiebe（编辑）等人，《第三届多智能体系统逻辑与通信国际研讨会论文集》（LCMAS 2005），英国爱丁堡，2005年8月1日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》157，第4期，37-56（2006）。
MSC公司：68T27型 03B42号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{M.Sadrzadeh}，电子。理论注释。计算。科学。157，第4号，37-56（2006；Zbl 1273.68369）
全文： 链接
亚历山大·巴尔塔格;斯梅茨，索尼娅

条件多角主义模型：一种动态信念修正的定性方法。 （英语） 兹比尔1262.03026

Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165，5-21（2006）。
MSC公司：03B42号 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，电子。理论注释。计算。科学。165，5--21（2006；Zbl 1262.03026）
全文： 内政部
亚历山大·巴尔塔格;鲍勃·科克;梅赫努什·萨德扎德

认知行为的代数和序贯演算。 （英语） Zbl 1272.68377号

van der Hoek，Wiebe（编辑）等人，《第二届多智能体系统逻辑与通信国际研讨会论文集》，LCMAS，法国南希，2004年8月16日至20日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记126，27-52（2005）。
MSC公司：68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，《电子》。理论注释。计算。科学。126、27-52（2005年；Zbl 1272.68377）
全文： 链接
亚历山大·巴尔塔格

认知程序的联合语义。 （英语） Zbl 1270.68184号

Gumm，H.Peter（编辑），CMCS’03：计算机科学中的协同代数方法。第六次研讨会会议记录（ETAPS 2003卫星活动），华沙，2003年4月5日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》82，第1期，17-38（2003）。
MSC公司：68问题65 03B42号 68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}，电子。理论注释。计算。科学。82，第1号，17--38（2003；Zbl 1270.68184）
全文： 链接
亚历山大·巴尔塔格

STS：集合的结构理论。 （英语） Zbl 0993.03065号

Zakharyaschev，Michael（编辑）等人，《模态逻辑的进展》。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）的论文选集。加利福尼亚州斯坦福：CSLI出版物。CSLI法律。笔记。119, 1-34 (2001).
MSC公司：03E70型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}，in：模态逻辑的进展。第2卷。1998年10月16日至18日，瑞典乌普萨拉，第二届国际研讨会（AiML'98）论文选集。加利福尼亚州斯坦福：CSLI出版物。1-34（2001；Zbl 0993.03065）
亚历山大·巴尔塔格

用于联合模拟的逻辑。 （英语） Zbl 0959.03501号

Reichel，Horst（编辑），CMCS 2000。2000年3月25日至26日，德国柏林，计算机科学中的协同代数方法。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。33、19页，仅电子版（2000年）。
MSC公司：03B45号 68问题85 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}，收录于：CMCS 2000。计算机科学中的代数方法，德国柏林，2000年3月25日至26日。阿姆斯特丹：爱思唯尔。第19页（2000年；Zbl 0959.03501）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段