咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,254 篇 电子文献
  • 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...
  • 27 篇 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,217 篇 英文
  • 30 篇 其他
  • 9 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1255 条 记 录,以下是221-230 订阅
排序:
11th international Symposium on NASA Formal Methods, NFM 2019
11th International Symposium on NASA Formal Methods, NFM 201...
收藏 引用
11th international Symposium on NASA Formal Methods, NFM 2019
the proceedings contain 26 papers. the special focus in this conference is on NASA Formal Methods. the topics include: Model checking of verilog RTL using IC3 with syntax-guided abstraction;towards a two-layer framewo...
来源: 评论
CloudifierNet - Deep Vision Models for Artificial Image Processing  7
CloudifierNet - Deep Vision Models for Artificial Image Proc...
收藏 引用
7th international conference on Information Technology and Quantitative Management (ITQM) - Information Technology and Quantitative Management Based on Artificial Intelligence
作者: Damian, Andrei Ionut Piciu, Laurentiu Purdila, Alexandru Tapus, Nicolae Lummetry AI Bucharest Romania Univ Politehn Bucuresti Bucharest Romania
Today, more and more, it is necessary that most applications and documents developed in previous or current technologies to be accessible online on cloud-based infrastructures. that's why the migration of legacy s... 详细信息
来源: 评论
Interactive Learning Platform for Programmable logic Controllers with a Web Application  5
Interactive Learning Platform for Programmable Logic Control...
收藏 引用
Moratuwa Engineering Research conference (MERCon) / 5th international Multidisciplinary Engineering Research conference
作者: Anuradha, K. B. J. Wijewardhana, W. M. T. G. Pathirana, A. P. A. C. Bandaranayake, A. M. W. K. N. Samarakoon, S. M. B. P. Jayasekara, A. G. B. P. Univ Moratuwa Dept Elect Engn Moratuwa Sri Lanka Univ Moratuwa Ctr Adv Robot Moratuwa Sri Lanka
Programmable logic Controllers (PLCs) are one of the most used controllers for automated facilities nowadays. Hence, knowledge of PLC programming and system implementation is essential for automation related education... 详细信息
来源: 评论
Statistical optical image analysis for information system  7
Statistical optical image analysis for information system
收藏 引用
7th international conference on Future Internet of things and Cloud Workshops, FiCloudW 2019
作者: Ryazantsev, Oleksandr Khoroshun, Ganna Riazantsev, Andrii Ivanov, Vitalii Baturin, Aleksandr Volodymyr Dahl East Ukrainian National University Faculty of Information Technology and Electronics Severodonetsk Ukraine Dept. of Programming and Mathematics Volodymyr Dahl East Ukrainian National University Severodonetsk Ukraine
Optical image processing methods are important for creation and development of an automated measuring information optical system. Statistical methods provide additional information, a better understanding of the objec... 详细信息
来源: 评论
7th international Symposium on End-User Development, IS-EUD 2019
7th International Symposium on End-User Development, IS-EUD ...
收藏 引用
7th international Symposium on End-User Development, IS-EUD 2019
the proceedings contain 25 papers. the special focus in this conference is on End-User Development. the topics include: End-User Development in Speech therapies: A Scenario in the Smart Home Domain;evaluation of a Vis...
来源: 评论
Solving a spatial puzzle using Answer Set programming integrated with Markov Decision Process
Solving a spatial puzzle using Answer Set Programming integr...
收藏 引用
7th Brazilian conference on Intelligent Systems (BRACIS)
作者: dos Santos, thiago Freitas Santos, Paulo E. Ferreira, Leonardo A. Bianchi, Reinaldo A. C. Cabalar, Pedro Ctr Univ FEI Artificial Intelligence Automat & Robot IAAAR Sao Bernardo Do Campo SP Brazil Accesstage Tecnol SA Sao Bernardo Do Campo SP Brazil Univ A Coruna Dept Comp Corunna Spain
Spatial puzzles are interesting domains to investigate problem solving, since the reasoning processes involved in reasoning about spatial knowledge is one of the essential items for an agent to interact in the human e... 详细信息
来源: 评论
Linear vs. Symbolic Regression for Adaptive Parameter Setting in Manufacturing Processes  1
收藏 引用
7th international conference on Data Management Technologies and Applications (DATA)
作者: Strasser, Sonja Zenisek, Jan Tripathi, Shailesh Schimpelsberger, Lukas Jodlbauer, Herbert Univ Appl Sci Upper Austria A-4400 Steyr Austria Univ Appl Sci Upper Austria A-4232 Hagenberg Austria
Product and process quality is playing an increasingly important role in the competitive success of manufacturing companies. To ensure a high quality level of the produced parts, the appropriate selection of parameter... 详细信息
来源: 评论
Ancillary computational tools for the analysis of structural systems  7
Ancillary computational tools for the analysis of structural...
收藏 引用
7th international conference on Computational Methods in Structural Dynamics and Earthquake Engineering, COMPDYN 2019
作者: Kasinos, Stavros Palmeri, Alessandro Lombardo, Mariateresa Imperial College London Department of Aeronautics LondonSW7 2AZ United Kingdom Loughborough University School of Architecture Building and Civil Engineering LoughboroughLE11 1AG United Kingdom
Ancillary software tools are developed for the analysis and response quantification of structural systems in a systematic and automated fashion. the open application programming interface (OAPI) of the structural anal... 详细信息
来源: 评论
Estimation and Prediction of Nonlinear Aerodynamics using Artificial Intelligence
Estimation and Prediction of Nonlinear Aerodynamics using Ar...
收藏 引用
IEEE international conference on Future Internet of things and Cloud Workshops (FiCloudW)
作者: Mohammad Alkhedher khaled Al-Aribe Mechanical Engineering Department Abu Dhabi University Abu Dhabi UAE
Flight maneuvers can generate nonlinear and unsteady aerodynamic loading. Artificial Neural Networks (ANN) and Adaptive Neuro Fuzzy logic Inference System (ANFIS) are developed to model and predict aerodynamics coeffi... 详细信息
来源: 评论
An Empirical Study of Factors Influencing Undergraduates' programming Learning Engagement in Blended Learning Environment  7
An Empirical Study of Factors Influencing Undergraduates' Pr...
收藏 引用
7th international conference of Educational Innovation through Technology (EITT)
作者: Tian, Hao Wu, Fati Beijing Normal Univ Sch Educ Technol Beijing 100875 Peoples R China
In some colleges and universities, programming has become one of the compulsory subjects for undergraduates. However, the programming language has strict logic and grammar, which has an impact on learners' engagem... 详细信息
来源: 评论