咨询与建议

限定检索结果

文献类型

  • 358 篇 会议
  • 7 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 368 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 257 篇 工学
    • 238 篇 计算机科学与技术...
    • 134 篇 软件工程
    • 24 篇 控制科学与工程
    • 15 篇 电气工程
    • 11 篇 信息与通信工程
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 石油与天然气工程
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 土木工程
    • 2 篇 生物医学工程(可授...
  • 53 篇 理学
    • 49 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 统计学(可授理学、...
  • 22 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 6 篇 工商管理
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 2 篇 公共卫生与预防医...
  • 4 篇 教育学
    • 4 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 4 篇 作物学
  • 2 篇 文学
    • 1 篇 中国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 75 篇 logic programmin...
  • 19 篇 fuzzy logic
  • 18 篇 programming
  • 18 篇 logic gates
  • 14 篇 inductive logic ...
  • 11 篇 logic
  • 9 篇 computer science
  • 8 篇 integer programm...
  • 8 篇 semantics
  • 7 篇 computer circuit...
  • 7 篇 linear programmi...
  • 7 篇 answer set progr...
  • 7 篇 artificial intel...
  • 7 篇 dynamic programm...
  • 6 篇 languages
  • 6 篇 computer archite...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 wireless sensor ...
  • 5 篇 abstracts

机构

  • 3 篇 univ potsdam pot...
  • 3 篇 univ calabria di...
  • 2 篇 brandeis univ wa...
  • 2 篇 simon fraser uni...
  • 2 篇 katholieke univ ...
  • 2 篇 univ copenhagen ...
  • 2 篇 katholieke univ ...
  • 2 篇 ku leuven depart...
  • 2 篇 department infor...
  • 2 篇 vienna technol u...
  • 2 篇 univ castilla la...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ aarhus daim...
  • 2 篇 at&t bell lab mu...
  • 2 篇 natl univ irelan...
  • 2 篇 natl inst inform...
  • 2 篇 univ castilla la...
  • 2 篇 univ nova lisboa...
  • 2 篇 australian natl ...
  • 2 篇 department of el...

作者

  • 5 篇 gebser martin
  • 5 篇 schaub torsten
  • 4 篇 inoue katsumi
  • 3 篇 nickles matthias
  • 3 篇 fink michael
  • 3 篇 schuller peter
  • 2 篇 mileo alessandra
  • 2 篇 mairson harry g.
  • 2 篇 goncalves ricard...
  • 2 篇 kung-kiu lau
  • 2 篇 soria jose
  • 2 篇 de raedt luc
  • 2 篇 boustia narhimen...
  • 2 篇 j.r. romero
  • 2 篇 a. vallecillo
  • 2 篇 woltran stefan
  • 2 篇 lifschitz vladim...
  • 2 篇 ferilli stefano
  • 2 篇 sighireanu mihae...
  • 2 篇 p. flener

语言

  • 363 篇 英文
  • 3 篇 其他
  • 1 篇 西班牙文
  • 1 篇 中文
检索条件"任意字段=12th International Conference on Inductive Logic Programming"
368 条 记 录,以下是1-10 订阅
排序:
What Is Decidable in Separation logic Beyond Progress, Connectivity and Establishment?  12th
What Is Decidable in Separation Logic Beyond Progress, Conne...
收藏 引用
12th international Joint conference on Automated Reasoning (IJCAR)
作者: Bozec, Tanguy Peltier, Nicolas Petitjean, Quentin Sighireanu, Mihaela Univ Grenoble Alpes LIG CNRS F-38000 Grenoble France Univ Paris Saclay Lab Methodes Formelles ENS Paris Saclay CNRS F-91190 Gif Sur Yvette France
the predicate definitions in Separation logic (SL) play an important role: they capture a large spectrum of unbounded heap shapes due to their inductiveness. this expressiveness power comes with a limitation: the enta... 详细信息
来源: 评论
Learning logic Programs through Divide, Constrain, and Conquer  36
Learning Logic Programs Through Divide, Constrain, and Conqu...
收藏 引用
36th AAAI conference on Artificial Intelligence / 34th conference on Innovative Applications of Artificial Intelligence / 12th Symposium on Educational Advances in Artificial Intelligence
作者: Cropper, Andrew Univ Oxford Oxford England
We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and su... 详细信息
来源: 评论
METAGPT: META programming FOR A MULTI-AGENT COLLABORATIVE FRAMEWORK  12
METAGPT: META PROGRAMMING FOR A MULTI-AGENT COLLABORATIVE FR...
收藏 引用
12th international conference on Learning Representations, ICLR 2024
作者: Hong, Sirui Zhuge, Mingchen Chen, Jonathan Zheng, Xiawu Cheng, Yuheng Zhang, Ceyao Wang, Jinlin Wang, Zili Yau, Steven Ka Shing Lin, Zijuan Zhou, Liyang Ran, Chenyu Xiao, Lingfeng Wu, Chenglin Schmidhuber, Jürgen DeepWisdom AI Initiative King Abdullah University of Science and Technology Saudi Arabia Xiamen University China The Chinese University of Hong Kong Shenzhen China Nanjing University China University of Pennsylvania United States University of California Berkeley United States The Swiss AI Lab IDSIA USI SUPSI Switzerland
Remarkable progress has been made on automated problem solving through societies of agents based on large language models (LLMs). Existing LLM-based multi-agent systems can already solve simple dialogue tasks. Solutio... 详细信息
来源: 评论
Neuro-Symbolic inductive logic programming with logical Neural Networks  36
Neuro-Symbolic Inductive Logic Programming with Logical Neur...
收藏 引用
36th AAAI conference on Artificial Intelligence / 34th conference on Innovative Applications of Artificial Intelligence / 12th Symposium on Educational Advances in Artificial Intelligence
作者: Sen, Prithviraj de Carvalho, Breno W. S. R. Riegel, Ryan Gray, Alexander IBM Res Armonk NY 10504 USA
Recent work on neuro-symbolic inductive logic programming has led to promising approaches that can learn explanatory rules from noisy, real-world data. While some proposals approximate logical operators with different... 详细信息
来源: 评论
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
12th International Symposium on Leveraging Applications of F...
收藏 引用
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
the proceedings contain 25 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Klaim in the Making;formal Approaches...
来源: 评论
Synthesizing Strongly Equivalent logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order logic  1
收藏 引用
12th international Joint conference on Automated Reasoning (IJCAR)
作者: Heuer, Jan Wernhard, Christoph Univ Potsdam Potsdam Germany
We show a projective Beth definability theorem for logic programs under the stable model semantics: For given programs P and Q and vocabulary V (set of predicates) the existence of a program R in V such that P. R and ... 详细信息
来源: 评论
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
12th International Symposium on Leveraging Applications of F...
收藏 引用
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
the proceedings contain 25 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Klaim in the Making;formal Approaches...
来源: 评论
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
12th International Symposium on Leveraging Applications of F...
收藏 引用
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
the proceedings contain 25 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Klaim in the Making;formal Approaches...
来源: 评论
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
12th International Symposium on Leveraging Applications of F...
收藏 引用
12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
the proceedings contain 25 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Klaim in the Making;formal Approaches...
来源: 评论
Fuzzy Equivalence Relations for Solving a Multiple Objective Linear programming Problem  1
收藏 引用
Fuzzy logic and Technology, and Aggregation Operators 13th conference of the European Society for Fuzzy logic and Technology, EUSFLAT 2023, and 12th international Summer School on Aggregation Operators, AGOP 2023
作者: Grigorenko, Olga Zemlītis, Mārtiņš Institute of Mathematics and Computer Science University of Latvia Raina bulv. 29 Riga1459 Latvia
We are developing an approach that is an alternative to the Zimmermann approach to solving a multiple objective linear programming problem. We use fuzzy equivalence relations to solve the problem, where fuzzy sets are... 详细信息
来源: 评论