咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,250 篇 电子文献
  • 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...
  • 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,235 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1251 条 记 录,以下是141-150 订阅
排序:
PAAR+SC-Square 2020 - Joint Proceedings of the 7th Workshop on Practical Aspects of automated reasoning and the 5th Satisfiability Checking and Symbolic Computation Workshop 2020, co-located with the 10th international Joint conference on automated reasoning, IJCAR 2020
PAAR+SC-Square 2020 - Joint Proceedings of the 7th Workshop ...
收藏 引用
Joint of the 7th Workshop on Practical Aspects of automated reasoning and the 5th Satisfiability Checking and Symbolic Computation Workshop, PAAR+SC-Square 2020
the proceedings contain 15 papers. the topics discussed include: animated logic: correct functional conversion to conjunctive normal form;learning precedences from simple symbol features;layered clause selection for s...
来源: 评论
automated Testing and Deployment Strategies for Quantum Algorithms
Automated Testing and Deployment Strategies for Quantum Algo...
收藏 引用
international conference on Contemporary Computing and Informatics (IC3I)
作者: Mohit Chandra Saxena Abhishek Tamrakar Ulises Arranz Universidad Politécnica de Madrid Madrid Spain
the advent of quantum computing has ushered in a new era of technological innovation, promising unprecedented computational power and efficiency. As quantum technology matures, the need for robust, scalable, and effic... 详细信息
来源: 评论
RoboCIM: Towards a domain model for industrial robot system configurators  15
RoboCIM: Towards a domain model for industrial robot system ...
收藏 引用
15th international Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021, RuleML+RR-Companion 2021
作者: Tola, Daniella Gomes, Cláudio Schultz, Carl Schlette, Christian Hansen, Casper Esterle, Lukas Aarhus University Aarhus Denmark University of Southern Denmark Odense Denmark Technicon ApS Hobro Denmark
Determining which components are required for a system configuration, and whether they are compatible, can be a difficult task, especially in an industry with significant amounts of information that resides within a g... 详细信息
来源: 评论
Novel Enthusiasm Evaluating Method for Code programming Curriculum
Novel Enthusiasm Evaluating Method for Code Programming Curr...
收藏 引用
7th international conference on Applied System Innovation, ICASI 2021
作者: Wu, JainShing Chien, Ting-Hsuan Yang, Chin-Yi Chien, Li-Ren Department of Computer Science and Information Management Providence University Taichung City Taiwan 18 DICE Education Technology Co. Ltd Taichung City Taiwan National Chung Cheng University Department of Computer Science and Information Engineering Taichung City Taiwan
In order to improve the logical ability of all youths, the governments of different countries have set the code programming curriculum in high school as one of their education policies. Hence, some programming aid sof... 详细信息
来源: 评论
14th international conference on Applications of Fuzzy Systems, Soft Computing, and Artificial Intelligence Tools, ICAFS 2020
14th International Conference on Applications of Fuzzy Syste...
收藏 引用
14th international conference on Applications of Fuzzy Systems, Soft Computing, and Artificial Intelligence Tools, ICAFS 2020
the proceedings contain 103 papers. the special focus in this conference is on Applications of Fuzzy Systems, Soft Computing, and Artificial Intelligence Tools. the topics include: Vegetation Index Formation Using Fuz...
来源: 评论
Some the approximate reasoning models over attribute logic semantic
Some the approximate reasoning models over attribute logic s...
收藏 引用
international conference on Systems and Informatics (ICSAI)
作者: Jialu Zhang Juan Xiao College of Mathematics and Information Science Xiangnan University Chenzhou China College of Computer and Artificial Intelligence Xiangnan University Chenzhou China
By using the methods of triple-I reasoning for all implication, we give the solutions of generalized MP rules and MT rules in attribute logic, and propose some approximate reasoning methods based on generalized MP rul... 详细信息
来源: 评论
Dynamic programming-Based Optimal Charging Scheduling for Electric Vehicles
Dynamic Programming-Based Optimal Charging Scheduling for El...
收藏 引用
IEEE international conference on Intelligent Transportation Engineering (ICITE)
作者: Kuan Li Ying Zhang Chenglie Du Tao You Lu Bai Jiaming Wu School of Software Northwestern Polytechnical University Xi’an China School of Computer Science Northwestern Polytechnical University Xi’an China Department of Architecture and Civil Engineering Chalmers University of Technology Gothenburg Sweden
the charging scheduling of electric vehicles not only affects the operation of the grid system, but also affects the charging cost of vehicle users. this paper studies the charging scheduling problem of electric vehic... 详细信息
来源: 评论
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images  5th
Combining Deep Learning and ASP-Based Models for the Semanti...
收藏 引用
5th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Bruno, Pierangela Calimeri, Francesco Marte, Cinzia Manna, Marco Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
Automatic segmentation represents a huge breakthrough in computer-aided diagnosis and medicine, as it allows to provide clinicians important with information for interventional and diagnostic tasks. Recent advancement... 详细信息
来源: 评论
Algorithms Design for Fuzzy Control by Power Streams in Conditions of Underground Extraction of Iron Ore  7
Algorithms Design for Fuzzy Control by Power Streams in Cond...
收藏 引用
7th IEEE international conference on Energy Smart Systems (IEEE ESS)
作者: Sinchuk, Oleg Kupin, Andrey Sinchuk, Igor Dozorenko, Oleg Krasnopolsky, Roman Kryvyi Rih Natl Univ Dept AESIT Kryvyi Rih Ukraine Kryvyi Rih Natl Univ Dept CSN Kryvyi Rih Ukraine
the relevance of automated controlling of energy flows in conditions of underground extraction of iron ore has been shown. the vector of the object state, the main information parameters, controlling actions and distu... 详细信息
来源: 评论
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order logic  22nd
Facets of the PIE Environment for Proving, Interpolating and...
收藏 引用
22nd international conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint logic programming, WFLP 2019
作者: Wernhard, Christoph Berlin Germany
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. Its main focus is on formulas, as constituents of complex formalizations that are structured through formula macros, and ... 详细信息
来源: 评论