咨询与建议

限定检索结果

文献类型

  • 1,159 篇 会议
  • 58 册 图书
  • 37 篇 期刊文献

馆藏范围

  • 1,253 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 922 篇 工学
    • 870 篇 计算机科学与技术...
    • 470 篇 软件工程
    • 93 篇 控制科学与工程
    • 66 篇 电气工程
    • 43 篇 信息与通信工程
    • 13 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 建筑学
    • 8 篇 石油与天然气工程
    • 7 篇 交通运输工程
    • 7 篇 生物工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 力学(可授工学、理...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 5 篇 农业工程
  • 242 篇 理学
    • 203 篇 数学
    • 19 篇 系统科学
    • 18 篇 物理学
    • 15 篇 生物学
    • 7 篇 统计学(可授理学、...
  • 97 篇 管理学
    • 62 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 37 篇 工商管理
  • 13 篇 教育学
    • 12 篇 教育学
  • 11 篇 医学
    • 8 篇 基础医学(可授医学...
    • 7 篇 临床医学
  • 10 篇 法学
    • 6 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 文学
  • 3 篇 哲学

主题

  • 254 篇 logic programmin...
  • 53 篇 artificial intel...
  • 50 篇 fuzzy logic
  • 42 篇 semantics
  • 40 篇 formal logic
  • 40 篇 mathematical log...
  • 32 篇 computer circuit...
  • 31 篇 logics and meani...
  • 26 篇 software enginee...
  • 23 篇 integer programm...
  • 22 篇 temporal logic
  • 21 篇 programming tech...
  • 20 篇 programming lang...
  • 19 篇 programming
  • 19 篇 calculations
  • 19 篇 knowledge repres...
  • 17 篇 computer science
  • 17 篇 logic
  • 17 篇 answer set progr...
  • 14 篇 software enginee...

机构

  • 9 篇 univ bath dept c...
  • 9 篇 vienna univ tech...
  • 5 篇 univ london impe...
  • 5 篇 rhein westfal th...
  • 5 篇 univ london impe...
  • 5 篇 univ texas dept ...
  • 4 篇 tu wien austria
  • 4 篇 simon fraser uni...
  • 4 篇 department of co...
  • 4 篇 guangxi key labo...
  • 4 篇 univ liverpool d...
  • 4 篇 univ potsdam ins...
  • 4 篇 carnegie mellon ...
  • 4 篇 univ glamorgan c...
  • 4 篇 univ potsdam ins...
  • 3 篇 univ potsdam ins...
  • 3 篇 theoretical comp...
  • 3 篇 saitama univ dep...
  • 3 篇 microsoft resear...
  • 3 篇 univ potsdam pot...

作者

  • 12 篇 schaub torsten
  • 12 篇 de vos marina
  • 10 篇 brain martin
  • 9 篇 ricca francesco
  • 8 篇 gebser martin
  • 8 篇 russo alessandra
  • 7 篇 gore rajeev
  • 6 篇 leone nicola
  • 6 篇 andrei voronkov
  • 6 篇 xu yang
  • 6 篇 giesl juergen
  • 5 篇 cliffe owen
  • 5 篇 eiter thomas
  • 5 篇 faber wolfgang
  • 5 篇 cabalar pedro
  • 5 篇 gupta gopal
  • 5 篇 tompits hans
  • 5 篇 schaub t
  • 4 篇 mileo alessandra
  • 4 篇 chang liang

语言

  • 1,233 篇 英文
  • 13 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1254 条 记 录,以下是11-20 订阅
排序:
Capturing Qubit Decoherence through Paraconsistent Transition Systems  23
Capturing Qubit Decoherence through Paraconsistent Transitio...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Barbosa, Luis Soares Madeira, Alexandre Univ Minho Braga Portugal Univ Aveiro Aveiro Portugal
this position paper builds on the authors' previous work on paraconsistent transition systems to propose a modelling framework for quantum circuits with explicit representation of decoherence.
来源: 评论
Language-Based Security for Low-Level MPC  24
Language-Based Security for Low-Level MPC
收藏 引用
26th international conference on Principles and Practice of Declarative programming (PPDP)
作者: Skalka, Christian Near, Joseph P. Univ Vermont Burlington VT 05405 USA
Secure Multi-Party Computation (MPC) is an important enabling technology for data privacy in modern distributed applications. Currently, proof methods for low-level MPC protocols are primarily manual and thus tedious ... 详细信息
来源: 评论
Tableaux for automated reasoning in Dependently-Typed Higher-Order logic  1
收藏 引用
12th international Joint conference on automated reasoning (IJCAR)
作者: Niederhauser, Johannes Brown, Chad E. Kaliszyk, Cezary Univ Innsbruck Dept Comp Sci Innsbruck Austria Czech Tech Univ Czech Inst Informat Robot & Cybernet Prague Czech Republic Univ Melbourne Sch Comp & Informat Syst Melbourne Australia
Dependent type theory gives an expressive type system facilitating succinct formalizations of mathematical concepts. In practice, it is mainly used for interactive theorem proving with intensional type theories, with ... 详细信息
来源: 评论
automated Playing of Survival Video Games with Commonsense reasoning  27th
Automated Playing of Survival Video Games with Commonsense R...
收藏 引用
27th international Symposium on Practical Aspects of Declarative Languages, PADL 2025
作者: Hargreaves, Bryant Nguyen, Dan N. Krimbell, Keegan Gupta, Gopal Department of Computer Science The University of Texas at Dallas RichardsonTX United States
Don’t Starve is a non-linear, real-time survival video game where the player’s objective is to survive as long as possible. the game is challenging because randomly generated situations and events make it ... 详细信息
来源: 评论
Towards Reliable Distributed Quantum Computing on Quantum Interconnects  23
Towards Reliable Distributed Quantum Computing on Quantum In...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Wakizaka, Ryo Kyoto Univ Kyoto Japan
Quantum interconnects (QuICs), which connect multiple quantum devices to build distributed quantum systems, are essential for large-scale quantum information processing. While various software tools have been develope... 详细信息
来源: 评论
SAT-Based Learning of Computation Tree logic  1
收藏 引用
12th international Joint conference on automated reasoning (IJCAR)
作者: Pommellet, Adrien Stan, Daniel Scatton, Simon EPITA LRE Le Kremlin Bicetre France
the CTL learning problem consists in finding for a given sample of positive and negative Kripke structures a distinguishing CTL formula that is verified by the former but not by the latter. Further constraints may bou... 详细信息
来源: 评论
A logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems  12th
A Logic for Repair and State Recovery in Byzantine Fault-Tol...
收藏 引用
12th international Joint conference on automated reasoning (IJCAR)
作者: van Ditmarsch, Hans Fruzsa, Krisztina Kuznets, Roman Schmid, Ulrich Univ Toulouse IRIT CNRS Toulouse France TU Wien Embedded Comp Syst Grp Vienna Austria
We provide novel epistemic logical language and semantics for modeling and analysis of byzantine fault-tolerant multi-agent systems, with the intent of not only facilitating reasoning about the agents' fault statu... 详细信息
来源: 评论
2024 7th international conference on Information Technologies in Engineering Education, Inforino 2024 - Proceedings
2024 7th International Conference on Information Technologie...
收藏 引用
7th international conference on Information Technologies in Engineering Education, Inforino 2024
the proceedings contain 116 papers. the topics discussed include: SMath studio in the engineering personnel training for thermal power engineering and heat engineering;3D modeling for a flexible detector in VR radiogr...
来源: 评论
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs  7th
Analyzing Termination for Prev-Aware Fragments of Communicat...
收藏 引用
7th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Di Cosmo, Francesco Free Univ Bozen Bolzano Bolzano Italy
Communicating Datalog Programs (CDPs) are a distributed computing model grounded on logic programming: networks of nodes perform Datalog-like computations, leveraging on information coming from incoming messages and d... 详细信息
来源: 评论
Key technologies of automatic operation control logic for urban rail transit comprehensive inspection trainset  7
Key technologies of automatic operation control logic for ur...
收藏 引用
7th international conference on Traffic Engineering and Transportation System (ICTETS)
作者: Li, Yang Yu, Puhan Ma, Quanzhou Zhang, Zihong China Acad Railway Sci Corp Ltd Urban Rail Transit Ctr CAR Beijing Peoples R China Tianiin Intelligent Rail Transit Res Inst Beijing Peoples R China
the comprehensive inspection trainset for urban rail transit is a type of large-scale inspection equipment that conforms to the green equipment system and intelligent inspection concept, equipped with multiple types o... 详细信息
来源: 评论