咨询与建议

限定检索结果

文献类型

  • 1,156 篇 会议
  • 37 篇 期刊文献
  • 10 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

  • 254 篇 logic programmin...
  • 50 篇 fuzzy logic
  • 42 篇 semantics
  • 40 篇 formal logic
  • 32 篇 computer circuit...
  • 23 篇 integer programm...
  • 22 篇 temporal logic
  • 19 篇 programming
  • 19 篇 calculations
  • 19 篇 artificial intel...
  • 19 篇 knowledge repres...
  • 17 篇 computer science
  • 17 篇 logic
  • 17 篇 answer set progr...
  • 14 篇 cognition
  • 12 篇 object oriented ...
  • 12 篇 logic gates
  • 11 篇 genetic programm...
  • 11 篇 model checking
  • 11 篇 probabilistic lo...

机构

  • 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 篇 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 篇 saitama univ dep...
  • 3 篇 univ potsdam pot...
  • 3 篇 tech univ munich...
  • 3 篇 katholieke univ ...
  • 3 篇 rhein westfal th...

作者

  • 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 篇 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
  • 4 篇 woltran stefan

语言

  • 1,187 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1203 条 记 录,以下是121-130 订阅
排序:
A logic-Based Approach to Incremental reasoning on Multi-agent Systems  1
收藏 引用
6th international conference on Dynamics Games and Science, DGS-VI-2018, 19th Latin American conference on Economic theory, JOLATE 2018 and 21st international Consortium on Applied Bioeconomy Research, ICABR 2017
作者: Ravve, Elena V. Volkovich, Zeev Weber, Gerhard-Wilhelm Software Engineering Department Ort Braude College Rehov Snunit 51 POB 78 Karmiel2161002 Israel Faculty of Engineering Management Poznan University of Technology ul. Jacka Rychlewskiego 2 Poznan60-965 Poland IAM METU Ankara06800 Turkey
We introduce the notion of strongly distributed multi-agent systems and present a uniform approach to incremental automated reasoning on them. the approach is based on systematic use of two logical reduction technique... 详细信息
来源: 评论
Research on Traffic Scheduling Optimization of Vehicle Ethernet Based on TSN
Research on Traffic Scheduling Optimization of Vehicle Ether...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Xuguang Hou Daliang Sun Shengli Huang Jiabao Fan Guangda Liu Lieyan He GAC Research and Development Center Guangzhou China
With the development of in-vehicle network (IVN) technology, the real-time performance and reliability of vehicle Ethernet become very important. Time-sensitive network (TSN) has become a new technical solution for ve... 详细信息
来源: 评论
Gender Differences in Computational thinking Skills among Malaysian's Primary School Students using Visual programming  7
Gender Differences in Computational Thinking Skills among Ma...
收藏 引用
7th international conference on Software Engineering and Computer Systems and 4th international conference on Computational Science and Information Management, ICSECS-ICOCSIM 2021
作者: Abdullah, Osmanullrazi Kamaludin, Adzhar Rahman, Nur Shamsiah Abdul University Malaysia Pahang Faculty of Computing Malaysia
Computational thinking (CT) is a thought process which utilize computer science concepts to solve problem in the real life. One of the methods to develop CT among the Children is by using visual programming to create ... 详细信息
来源: 评论
Finding the Fuzzy Critical Path with Octagonal Fuzzy Numbers using Linear programming model  7
Finding the Fuzzy Critical Path with Octagonal Fuzzy Numbers...
收藏 引用
7th international conference on Contemporary Information Technology and Mathematics, ICCITM 2021
作者: Younis, Sanar Mazin Yousif, Ahmed Yacoub Ministry of Education Baghdad Iraq University of Technology Baghdad Iraq
A Binary Integer Linear Programing (BILP) model was used to find the Fuzzy Critical Path (FCP) of a fuzzy project network, when the lengths of all activities are represented as Octagonal Fuzzy Numbers (OFN). Although ... 详细信息
来源: 评论
Strategies for Heterogeneous Multi-Core Processing Based on Graph programming  2021
Strategies for Heterogeneous Multi-Core Processing Based on ...
收藏 引用
7th international conference on Computing and Data Engineering, ICCDE 2021
作者: Fryer, Joshua Garcia, Paulo Carleton University Ottawa Canada
In this paper, we explore strategies for automated parallelization and reconfiguration across heterogeneous multi-core processor, based on a programming paradigm and an associated model of computation designed for eff... 详细信息
来源: 评论
Trylock, a case for temporal logic and eternity variables
收藏 引用
SCIENCE OF COMPUTER programming 2022年 216卷 102767-102767页
作者: Hesselink, Wim H.
An example is given of a software algorithm that implements its specification in linear time temporal logic (LTL), but not in branching time temporal logic (CTL). In LTL, a prophecy of future behaviour is needed to pr... 详细信息
来源: 评论
Implementation of a Neural Network Model on the Aurora Operating System Using ARM Architecture
Implementation of a Neural Network Model on the Aurora Opera...
收藏 引用
international Youth conference on Radio Electronics, Electrical and Power Engineering (REEPE)
作者: Daniil S. Markevich Dmitry A. Vidmanov Department of Information Systems and Telecommunications Bauman Moscow State Technical University Moscow Russian Federation
Deploying and training deep neural networks on mobile devices is a challenging task as machine learning applications increasingly require real-time data processing and on-device training capabilities. the ARM micropro... 详细信息
来源: 评论
logic programming for XAI: A technical perspective
Logic programming for XAI: A technical perspective
收藏 引用
2021 international conference on logic programming Workshops, ICLP Workshops 2021
作者: State, Laura Department of Computer Science University of Pisa Largo B. Pontecorvo 3 Pisa56127 Italy Scuola Normale Superiore Piazza dei Cavalieri 7 Pisa56126 Italy
Our world is increasingly shaped by Artificial Intelligence systems, from search engines over automated hiring algorithms to self-driving cars. Being also used in high-stake decisions, their impact on the life of indi... 详细信息
来源: 评论
the Application of three-Phase Induction Motor Protection automated System To Overcome Overload Conditions and Zelio logic-Based High Temperatures
The Application of Three-Phase Induction Motor Protection Au...
收藏 引用
international conference on Electrical, Telecommunication and Computer Engineering (ELTICOM)
作者: Agahari Ahmad Syafruddin Hs Fahmi Fahmi Electrical Engineering Department Universitas Sumatera Utara Medan Indonesia
the protection system on a three-phase induction motor is designed so that the motor can be used for a longer period of time and avoid damage. Disturbances such as overloads and high temperatures that occur can interf...
来源: 评论
An Algorithm for Partial Elimination of Jumps in an Object-Oriented Dataflow Language  23
An Algorithm for Partial Elimination of Jumps in an Object-O...
收藏 引用
Proceedings of the 2023 7th international conference on Computer Science and Artificial Intelligence
作者: Yegor Bugayenko Mikhail Lipanin Huawei RRI Russia
Despite enduring criticisms spanning several decades, jump statements such as goto, break, continue, and return remain prevalent in imperative programming languages, including but not limited to C++, Java, and Python.... 详细信息
来源: 评论