咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
pARt Blocks: programming with Physical Tangible Blocks and AR  7
pARt Blocks: Programming with Physical Tangible Blocks and A...
收藏 引用
7th Human-Computer Interaction Slovenia conference, HCI SI 2022
作者: Trajkovska, Karolina Pucihar, Klen Čopič Kljun, Matjaž Deja, Jordan Aiko Weerasinghe, Maheshya University of Primorska Faculty of Mathematics Natural Sciences and Information Technologies Koper Slovenia Faculty of Information Studies Novo Mesto Slovenia De La Salle University Manila Philippines University of St Andrews St Andrews United Kingdom
Computer programming is a demanding task requiring users to understand a syntax of a programming language, logic flows, and complex abstract concepts. Adult users commonly start learning how to program in a text-based... 详细信息
来源: 评论
Aerial Target Intention Recognition Based on Deep Belief Network
Aerial Target Intention Recognition Based on Deep Belief Net...
收藏 引用
Pattern Recognition and Artificial Intelligence (PRAI), international conference on
作者: Zhao Wang Qingyang Song Si Chen Xuan Cui Xiaoshuai Pei Zhihong Peng Bao Xi Hao Yan Information Science Academy China Electronics Technology Group Corporation Beijing P.R. China Department of Nautical Psychology Faculty of Psychology Naval Medical University Shanghai P.R. China Unit 92192 Ningbo 315112 Ningbo P.R. China Beijing Institute of Technology Beijing P.R. China
In view of the current complex battlefield data, this paper studies the objects and elements of tactical intention recognition in order to obtain the characteristics of typical aerial target. On this basis, a method f... 详细信息
来源: 评论
Application of Interpretability-Based Federated Learning to Fault Diagnosis of pumpjacks
Application of Interpretability-Based Federated Learning to ...
收藏 引用
Robotics, Control and Automation Engineering (RCAE), international conference on
作者: Baoxin Shi Shixiang Lu Yuanhong Liu Hailang Jin College of Electrical and Information Engineering Northeast Petroleum University Daqing China Department of Automation Tsinghua University Beijing China
Fault diagnosis of pumpjacks is crucial in oil extraction, but traditional centralised approaches are no longer applicable due to the challenges of data privacy and decentralised data. Federated Learning (FL), an emer... 详细信息
来源: 评论
C programming Skill Levels Determination Using Fuzzy logic  7
C Programming Skill Levels Determination Using Fuzzy Logic
收藏 引用
7th international conference on Software Engineering and Computer Systems and 4th international conference on Computational Science and Information Management, ICSECS-ICOCSIM 2021
作者: Aiman Al-Falah Muhd Yazid, Muhammad Azida Sahabudin, Noor Farihan Mat Raffei, Anis Akmal Remli, Muhammad Universiti Malaysia Pahang Faculty of Computing Pahang Pekan Malaysia Universiti Malaysia Kelantan Department of Data Science Kota Bahru Kelantan Malaysia
programming language is known among computer science students. One should know at least one programming language throughout their studies. However, mastering one programming language is challenging. Most of the new st... 详细信息
来源: 评论
A Piecewise Linearization Algorithm for Solving MINLP in Intersection Management  7
A Piecewise Linearization Algorithm for Solving MINLP in Int...
收藏 引用
7th international conference on Vehicle Technology and Intelligent Transport Systems (VEHITS)
作者: Gerdts, Matthias Rogovs, Sergejs Valenti, Giammarco Bundeswehr Univ Munich Inst Engn Math Munich Germany Univ Trento Dept Ind Engn Trento Italy
In this paper, we propose a linearization algorithm for solving a Mixed Integer NonLinear Problem (MINLP) for Intersection Management (IM) of Connected Autonomous Vehicles (CAVs). the objective of such problem is to m... 详细信息
来源: 评论
Automatic programming Method and System of Multi-Axis CNC Pipe Bender
Automatic Programming Method and System of Multi-Axis CNC Pi...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Boyang Zhang Yulan Wei Liangyou Li Jiwen Peng Hongtao Han Bing Li School of Engineering Huzhou University Huzhou China Zhejiang Heliang Intelligent Equipment Co. Ltd. Huzhou China Zhejiang Sany Equipment Co Ltd. Huzhou China
the all-electric CNC pipe bender can be used to replace the hydraulic CNC pipe bender to bend pipe fittings. the user inputs the required bending parameters through the specially designed user interface, and the calcu... 详细信息
来源: 评论
Optimizing Cache Management Policy for Fast Packet Processing in NFV Data Plane
Optimizing Cache Management Policy for Fast Packet Processin...
收藏 引用
IEEE international conference on Electronics and Communication Engineering (ICECE)
作者: Runfa Wang Qiang Wu Dept. of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China
Establishing efficient caching in the data plane is crucial for the performance of packet forwarding for network function virtualization(NFV). For switches that provide network functions such as forwarding, routing, a... 详细信息
来源: 评论
On Optimal QUBO Encoding of Boolean logic, (Max-)3-SAT and (Max-)k-SAT with Integer programming  23
On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (...
收藏 引用
Proceedings of the 7th international conference on Algorithms, Computing and Systems
作者: Gregory Morse Tamás Kozsik Department of Programming Languages and Compilers Faculty of Informatics ELTE Eötvös Loránd University Hungary
We present an asymptotic improvement in the number of variables (n + m⌊log 2(k − 1)⌋) required for state-of-the-art formulation of (max-)k-SAT problems when encoded as a quadratic unconstrained binary optimization (QU... 详细信息
来源: 评论
Design of Dual-Robot Collaborative Handling Control System
Design of Dual-Robot Collaborative Handling Control System
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Li Wang Bingfeng Qian Lei Zhang Shenjie Chen School of Mechanics Shanghai Dianji University Shanghai China
Since single robot has great limitations in executing tasks and is difficult to meet the market demand, the dual robot control system has become a research hotspot. this paper starts from solving the problems of compl... 详细信息
来源: 评论
Answer-Aware Multi-Hop Question Generation Based on Variant Convolutional Networks
Answer-Aware Multi-Hop Question Generation Based on Variant ...
收藏 引用
Machine Learning and Natural Language Processing (MLNLP), international conference on
作者: XiaoHui Dong Shaoqi Cheng Xinyu Zhang Fenfang Li College of Computer Science and Engineering Northwest Normal University Lanzhou China
the task of multi-hop question generation requires aggregating and reasoning about multiple dispersed evidence points from a text to generate complex questions related to the answer. Whereas most sentences in the text... 详细信息
来源: 评论