咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,249 篇 电子文献
  • 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 篇 cognition

机构

  • 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,234 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1250 条 记 录,以下是21-30 订阅
排序:
27th international Symposium on Practical Aspects of Declarative Languages, PADL 2025
27th International Symposium on Practical Aspects of Declara...
收藏 引用
27th international Symposium on Practical Aspects of Declarative Languages, PADL 2025
the proceedings contain 15 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the Scenic Route to Deforestation: An Exercise in Applying Parametrici...
来源: 评论
HYDRA-RCRA 2022 - Joint Proceedings of the 1st international Workshop on HYbrid Models for Coupling Deductive and Inductive reasoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, co-located with the 16th international conference on logic programming and Non-Monotonic reasoning, LPNMR 2022
HYDRA-RCRA 2022 - Joint Proceedings of the 1st International...
收藏 引用
1st international Workshop on HYbrid Models for Coupling Deductive and Inductive reasoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, HYDRA-RCRA 2022
the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an appl...
来源: 评论
7th international Russian Automation conference, RusAutoCon 2024
7th International Russian Automation Conference, RusAutoCon ...
收藏 引用
7th international Russian Automation conference, RusAutoCon 2024
the proceedings contain 37 papers. the special focus in this conference is on Russian Automation. the topics include: Mapping and Path Planning Methods for Highly automated Vehicles in Agriculture;morphological Analys...
来源: 评论
Mapping and Path Planning Methods for Highly automated Vehicles in Agriculture  1
收藏 引用
7th international Russian Automation conference, RusAutoCon 2024
作者: Mikhailov, V.S. Khairullin, I.D. Svyatov, K.V. Ulyanovsk State Technical University 32 Severny Venets Str Ulyanovsk432027 Russia
In Russia, agriculture is one of the key industries, so the development of innovative solutions in this area is of great importance. A promising approach is to automate field operations using highly automated manufact... 详细信息
来源: 评论
logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2
收藏 引用
2001年
作者: LPAR 2001
来源: 内蒙古大学图书馆图书 评论
NeuroLGP-SM: A Surrogate-Assisted Neuroevolution Approach Using Linear Genetic programming  7th
NeuroLGP-SM: A Surrogate-Assisted Neuroevolution Approach Us...
收藏 引用
7th international conference on Optimization and Learning
作者: Stapleton, Fergal Cody-Kenny, Brendan Galvan, Edgar Maynooth Univ Hamilton Inst CS Dept Naturally Inspired Comp Res Grp Maynooth Kildare Ireland Sema Baltimore MD USA
Evolutionary algorithms are increasingly recognised as a viable computational approach for the automated optimisation of deep neural networks (DNNs) within artificial intelligence. this method extends to the training ... 详细信息
来源: 评论
automated reasoning - 7th international Joint conference, IJCAR 2014, Held as Part of the Vienna Summer of logic, VSL 2014, Proceedings
收藏 引用
7th international Joint conference on automated reasoning, IJCAR 2014, Held as Part of the Vienna Summer of logic, VSL 2014
the proceedings contain 40 papers. the topics discussed include: from reachability to temporal specifications in cost-sharing games;electronic voting: how logic can help;and-or tableaux for fixpoint logics with conver...
来源: 评论
Development of an Automation Module for Planning Trajectories for Painting Aircraft Fuselage Elements  1
收藏 引用
7th international Russian Automation conference, RusAutoCon 2024
作者: Voroshchenko, V.D. Gorkavyy, M.A. Gudim, A.S. Komsomolsk-Na-Amure State University 27 Lenina St Komsomolsk-On-Amure681013 Russia
the article is devoted to the development of a module for automating the planning of trajectories for painting aircraft fuselage elements. the scientific problem of the lack of modern control methods and technologies ... 详细信息
来源: 评论
SC-Square 2022 - Proceedings of the 7th SC-Square Workshop, co-located with the Federated logic conference 2022, FLoC 2022 as a part of the 11th international Joint conference on automated reasoning, IJCAR 2022
SC-Square 2022 - Proceedings of the 7th SC-Square Workshop, ...
收藏 引用
7th international Workshop on Satisfiability Checking and Symbolic Computation Square Workshop, SC-Square 2022
the proceedings contain 6 papers. the topics discussed include: cylindrical algebraic coverings for quantifiers;SMT-solving induction proofs of inequalities;decidability of difference logics with unary predicates;auto...
来源: 评论
Free-Hand-Sketched logic Circuit Detection Using Vision Transformers
Free-Hand-Sketched Logic Circuit Detection Using Vision Tran...
收藏 引用
international Youth conference on Radio Electronics, Electrical and Power Engineering (REEPE)
作者: Noha Aly EIMasry Mohamed Waleed Fakhr Fahima A. Maghraby Department of Computer Science Arab Academy for Science Technology and Maritime Transport Cairo Egypt Faculty of Computer Science Misr International University Cairo Egypt Department of Computer Engineering Arab Academy for Science Technology and Maritime Transport Cairo Egypt
this paper investigates the application of Vision Transformers (ViTs), specifically DETR (DEtection TRans-former), for the detection and classification of digital logic gates in hand-sketched digital logic circuits (D... 详细信息
来源: 评论