咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
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... 详细信息
来源: 评论
Combined Hierarchical Matching: the Regular Case  7
Combined Hierarchical Matching: the Regular Case
收藏 引用
7th international conference on Formal Structures for Computation and Deduction, FSCD 2022
作者: Erbatur, Serdar Marshall, Andrew M. Ringeissen, Christophe University of Texas DallasTX United States University of Mary Washington FredericksburgVA United States Université de Lorraine CNRS Inria LORIA NancyF-54000 France
Matching algorithms are often central sub-routines in many areas of automated reasoning. they are used in areas such as functional programming, rule-based programming, automated theorem proving, and the symbolic analy... 详细信息
来源: 评论
the Application of three-Phase Induction Motor Protection automated System To Overcome Overload Conditions and Zelio logic-Based High Temperatures  7
The Application of Three-Phase Induction Motor Protection Au...
收藏 引用
7th international conference on Electrical, Telecommunication and Computer Engineering, ELTICOM 2023
作者: Ahmad, Agahari Syafruddin, H.S. Fahmi, Fahmi Universitas Sumatera Utara Electrical Engineering Department 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... 详细信息
来源: 评论
7th international conference on Innovative Computing, IC 2024
7th International Conference on Innovative Computing, IC 202...
收藏 引用
7th international conference on Innovative Computing, IC 2024
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
来源: 评论
7th international conference on Innovative Computing, IC 2024
7th International Conference on Innovative Computing, IC 202...
收藏 引用
7th international conference on Innovative Computing, IC 2024
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
来源: 评论
7th international conference on Innovative Computing, IC 2024
7th International Conference on Innovative Computing, IC 202...
收藏 引用
7th international conference on Innovative Computing, IC 2024
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
来源: 评论
Knowledge reasoning Based on the Knowledge Graph of Frequency Equipment for System-level Electromagnetic Spectrum Planning
Knowledge Reasoning Based on The Knowledge Graph of Frequenc...
收藏 引用
IEEE international conference on Electronic Information and Communication Technology (ICEICT)
作者: Yuru Zhang Jia Cao Xiangyu Hao Shuai Huang China Academic of Electronics and Information Technology Beijing China
How to comprehensively, clearly, and accurately obtain the electromagnetic characteristics and relations of planning objects is an important issue in realizing efficient and flexible electromagnetic spectrum planning.... 详细信息
来源: 评论
7th international conference on Innovative Computing, IC 2024
7th International Conference on Innovative Computing, IC 202...
收藏 引用
7th international conference on Innovative Computing, IC 2024
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
来源: 评论
A Credal Least Undefined Stable Semantics for Probabilistic logic Programs and Probabilistic Argumentation  19
A Credal Least Undefined Stable Semantics for Probabilistic ...
收藏 引用
19th international conference on Principles of Knowledge Representation and reasoning, KR 2022
作者: Rocha, Victor Hugo Nascimento Cozman, Fabio Gagliardi Escola Politécnica Universidade de São Paulo Brazil
We present an approach to probabilistic logic programming and probabilistic argumentation that combines elements of the L-stable semantics and the credal semantics. We derive the complexity of inferences, propose an e... 详细信息
来源: 评论
Verifying Temporal Relational Models with Pardinus  9th
Verifying Temporal Relational Models with Pardinus
收藏 引用
9th international conference on Rigorous State-Based Methods (ABZ)
作者: Macedo, Nuno Brunel, Julien Chemouil, David Cunha, Alcino INESC TEC Porto Portugal Univ Minho Braga Portugal Univ Porto Fac Engn Porto Portugal ONERA DTIS Toulouse France Univ Fed Toulouse Toulouse France
this short paper summarizes an article published in the Journal of automated reasoning [7]. It presents Pardinus, an extension of the popular Kodkod [12] relational model finder with linear temporal logic (including p... 详细信息
来源: 评论