咨询与建议

限定检索结果

文献类型

  • 109 册 图书
  • 1 篇 期刊文献

馆藏范围

  • 110 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 控制科学与工程
    • 1 篇 软件工程
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 文学
    • 1 篇 中国语言文学
    • 1 篇 外国语言文学
  • 1 篇 理学
    • 1 篇 科学技术史(分学科...
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 110 篇 logic in ai
  • 39 篇 theory of comput...
  • 36 篇 natural language...
  • 36 篇 mathematical log...
  • 31 篇 software enginee...
  • 22 篇 logics and meani...
  • 20 篇 mathematics of c...
  • 17 篇 mathematical log...
  • 16 篇 software enginee...
  • 16 篇 special purpose ...
  • 15 篇 control structur...
  • 14 篇 computer system ...
  • 13 篇 knowledge based ...
  • 13 篇 programming tech...
  • 13 篇 computer systems...
  • 12 篇 information syst...
  • 12 篇 programming lang...
  • 10 篇 computer communi...
  • 10 篇 computer applica...
  • 10 篇 artificial intel...

机构

  • 6 篇 university of am...
  • 5 篇 sintef oslo
  • 5 篇 certh-iti thessa...
  • 5 篇 university of os...
  • 4 篇 university of ed...
  • 3 篇 university of su...
  • 3 篇 university of li...
  • 3 篇 institute of com...
  • 3 篇 university of ag...
  • 2 篇 tel aviv univers...
  • 2 篇 oslomet – oslo m...
  • 2 篇 cispa helmholtz ...
  • 2 篇 tsinghua univers...
  • 2 篇 federal rural un...
  • 2 篇 brock university...
  • 2 篇 indian institute...
  • 2 篇 tu wien austria
  • 2 篇 aix-marseille un...
  • 2 篇 university of le...
  • 2 篇 deutsches zentru...

作者

  • 5 篇 ewa luger
  • 5 篇 petter bae brand...
  • 5 篇 asbjørn følstad
  • 5 篇 symeon papadopou...
  • 5 篇 theo araujo
  • 4 篇 effie l.-c. law
  • 4 篇 ahmet soylu
  • 4 篇 dumitru roman
  • 3 篇 dag westerståhl
  • 3 篇 wei li
  • 3 篇 morten goodwin
  • 3 篇 mingming liu
  • 3 篇 yuefei sui
  • 2 篇 hiroshi yama
  • 2 篇 dun deng
  • 2 篇 jean baratgin
  • 2 篇 mikhail volkov
  • 2 篇 luigi santocanal...
  • 2 篇 roland glück
  • 2 篇 igor potapov

语言

  • 110 篇 英文
检索条件"主题词=Logic in AI"
110 条 记 录,以下是1-10 订阅
排序:
logic and Its Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Md. Aquil Khan Amaldev Manuel
来源: 评论
logic, Rationality, and Interaction  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Patrick Blackburn Emiliano Lorini Meiyun Guo
来源: 评论
logic and Its Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mohua Banerjee A. V. Sreejith
来源: 评论
New Developments in Legal Reasoning and logic  1
收藏 引用
丛书名: logic, Argumentation & Reasoning
1000年
作者: Shahid Rahman Hans Christian Nordtveit Kvernenes Matthias Armgardt
This combination has resulted in renewed interest in deontic logic and logic of norms that stems from the interaction between artificial intelligence and law and their applications to these areas of logic. The book al... 详细信息
来源: 评论
Fields of logic and Computation III  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Andreas Blass Patrick Cégielski Nachum Dershowitz Manfred Droste Bernd Finkbeiner
来源: 评论
Language, logic, and Computation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Alexandra Silva Sam Staton Peter Sutton Carla Umbach
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.;The volume contains ... 详细信息
来源: 评论
Dynamics in logic and Language  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dun Deng Mingming Liu Dag Westerståhl Kaibo Xie
Edited in collaboration with FoLLI, the Association of logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on logic, Language, and Meaning, ... 详细信息
来源: 评论
Dynamic logic. New Trends and Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Nina Gierasimczuk Fernando R. Velázquez-Quesada
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023.;The 8 full pa... 详细信息
来源: 评论
Quantum-Dot Cellular Automata Based Digital logic Circuits: A Design Perspective  1
收藏 引用
丛书名: Studies in Computational Intelligence
1000年
作者: Trailokya Nath Sasamal Ashutosh Kumar Singh Anand Mohan
来源: 评论
The Art of Modelling Computational Systems: A Journey from logic and Concurrency to Security and Privacy  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mário S. Alvim Kostas Chatzikokolakis Carlos Olarte Frank Valencia
These contributions are a tribute to Catuscia Palamidessi’s intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scien... 详细信息
来源: 评论