咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)  1
收藏 引用
12th international Joint conference on automated reasoning (IJCAR)
作者: Lommen, Nils Meyer, Eleanore Giesl, Juergen Rhein Westfal TH Aachen Aachen Germany
Recently, we showed how to use control-flow refinement (CFR) to improve automatic complexity analysis of integer programs. While up to now CFR was limited to classical programs, in this paper we extend CFR to probabil... 详细信息
来源: 评论
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order logic  24th
Representation, Verification, and Visualization of Tarskian ...
收藏 引用
24th international conference on logic for programming, Artificial Intelligence and reasoning, LPAR 2023
作者: Steen, Alexander Sutcliffe, Geoff Fontainev, Pascal McKeown, Jack University of Greifswald Greifswald Germany University of Miami Miami United States University of Liége Liége Belgium
this paper describes a new format for representing Tarskian-style interpretations for formulae in typed first-order logic, using the TPTP TF0 language. It further describes a technique and an implemented tool for veri... 详细信息
来源: 评论
On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus  1
收藏 引用
12th international Joint conference on automated reasoning (IJCAR)
作者: Waldmann, Uwe MPI Informat Saarland Informat Campus Saarbrucken Germany
Bachmair's and Ganzinger's abstract redundancy concept for the Superposition Calculus justifies almost all operations that are used in superposition provers to delete or simplify clauses, and thus to keep the ... 详细信息
来源: 评论
First-Order Automatic Literal Model Generation  1
收藏 引用
12th international Joint conference on automated reasoning (IJCAR)
作者: Bromberger, Martin Krasnopol, Florent Moehle, Sibylle Weidenbach, Christoph Max Planck Inst Informat Saarbrucken Germany Ecole Normale Super Paris France
Given a finite consistent set of ground literals, we present an algorithm that generates a complete first-order logic interpretation, i.e., an interpretation for all ground literals over the signature and not just tho... 详细信息
来源: 评论
reasoning about Ingredient Substitutions with Ontologies and Rules  17
Reasoning about Ingredient Substitutions with Ontologies and...
收藏 引用
17th international Rule Challenge and 7th Doctoral Consortium @ RuleM+RR, RuleML+RR-Companion 2023
作者: Adrian, Weronika T. Kutyla, Maciej Potoniec, Jędrzej Lawrynowicz, Agnieszka AGH University of Krakow Poland Poznan University of Technology Poland
Preparing healthy and delicious meals requires knowledge about the process, nutritional properties of the ingredients, and their combinations. When we face the need for substitution in a dish, e.g., for allergic or di... 详细信息
来源: 评论
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...
来源: 评论
Ubiquitous Learning Management Using Collaborative Inquiry-based Approach for programming Course: A Case Study of 3 Universities  7
Ubiquitous Learning Management Using Collaborative Inquiry-b...
收藏 引用
7th international conference on Education and E-Learning (ICEEL)
作者: thongkoo, Krittawaya Daungcharone, Kannika thanyaphongphat, Jirapipat Panjaburee, Patcharin Chiang Mai Univ Coll Arts Media & Technol Chiang Mai Thailand Khon Kaen Univ Fac Educ Khon Kaen Thailand
Aside from the necessary learning skills of logical thinking, problem-solving, and creativity, undergraduate students in the programming discipline must also be self-motivated because these abilities enable them to ov... 详细信息
来源: 评论
Explaining Optimal Trajectories  7th
Explaining Optimal Trajectories
收藏 引用
7th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Rouveirol, Celine Aoual, Malik Kazi Soldano, Henry Ventos, Veronique Nukkai Paris France Univ Sorbonne Paris Nord CNRS UMR 7030 Inst GalileeLIPN Villetaneuse France ISYEB Museum Natl Hist Nat CNRS UMR 7205 Paris France
We propose a definition of common explanation for the label shared by a group of observations described as first order interpretations, and provide algorithms to enumerate minimal common explanations. this was motivat... 详细信息
来源: 评论
Experiments with automated reasoning in the Class  15th
Experiments with Automated Reasoning in the Class
收藏 引用
15th international conference on Intelligent Computer Mathematics (CICM) part of the Computational logic Autumn Summit (CLAS)
作者: Dramnesc, Isabela Abraham, Erika Jebelean, Tudor Kusper, Gabor Stratulat, Sorin West Univ Timisoara Romania Rhein Westfal TH Aachen Aachen Germany Johannes Kepler Univ Linz Linz Austria Eszterhazy Karoly Catholic Univ Eger Hungary Univ Lorraine LORIA CNRS F-57000 Metz France
the European Erasmus+ project ARC - automated reasoning in the Class aims at improving the academic education in disciplines related to Computational logic by using automated reasoning tools. We present the technical ... 详细信息
来源: 评论
15th international conference on Ambient Systems, Networks and Technologies Networks, ANT 2024 / the 7th international conference on Emerging Data and Industry 4.0, EDI40 2024
15th International Conference on Ambient Systems, Networks a...
收藏 引用
15th international conference on Ambient Systems, Networks and Technologies Networks, ANT 2024 / the 7th international conference on Emerging Data and Industry 4.0, EDI40 2024
the proceedings contain 144 papers. the topics discussed include: towards continuous development for quantum programming in decentralized IoT environments;automated extension-based penetration testing for web vulnerab...
来源: 评论