咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
automated Assessment in Computer Science: A Bibliometric Analysis of the Literature  21st
Automated Assessment in Computer Science: A Bibliometric Ana...
收藏 引用
21st international conference on Web-Based Learning / 7th international Symposium on Emerging Technologies for Education (ICWL/SETE)
作者: Paiva, Jose Carlos Figueira, Alvaro Leal, Jose Paulo INESC TEC CRACS Rua Campo Alegre Porto Portugal FCUP DCC Rua Campo Alegre Porto Portugal
Over the years, several systematic literature reviews have been published reporting advances in tools and techniques for automated assessment in Computer Science. However, there is not yet a major bibliometric study t... 详细信息
来源: 评论
Enhancing GPT-Based Planning Policies by Model-Based Plan Validation  18th
Enhancing GPT-Based Planning Policies by Model-Based Plan Va...
收藏 引用
18th international conference on Neural-Symbolic Learning and reasoning (NeSy)
作者: Rossetti, Nicholas Tummolo, Massimiliano Gerevini, Alfonso Emilio Olivato, Matteo Putelli, Luca Serina, Ivan Univ Brescia Dipartimento Ingn Informaz Via Branze 38 Brescia Italy
Despite Large Language Models (LLMs) have revolutionised Natural Language Processing (NLP), their capability of performing logical reasoning and automated planning is still debated. In this context, the state of the a... 详细信息
来源: 评论
Combining Proofs for Description logic and Concrete Domain reasoning  7th
Combining Proofs for Description Logic and Concrete Domain R...
收藏 引用
7th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Alrabbaa, Christian Baader, Franz Borgwardt, Stefan Koopmann, Patrick Kovtunova, Alisa Tech Univ Dresden Inst Theoret Comp Sci Dresden Germany Vrije Univ Amsterdam Dept Comp Sci Amsterdam Netherlands
logic-based approaches to AI have the advantage that their behavior can in principle be explained with the help of proofs of the computed consequences. For ontologies based on Description logic (DL), we have put this ... 详细信息
来源: 评论
7th international Joint conference on Rules and reasoning, RuleML+RR 2023
7th International Joint Conference on Rules and Reasoning, R...
收藏 引用
7th international Joint conference on Rules and reasoning, RuleML+RR 2023
the proceedings contain 17 papers. the special focus in this conference is on Rules and reasoning. the topics include: Comparing State of the Art Rule-Based Tools for Information Extraction;a Case Study...
来源: 评论
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...
来源: 评论
7th international conference on I-SMAC (IoT in Social, Mobile, Analytics and Cloud), I-SMAC 2023 - Proceedings
7th International Conference on I-SMAC (IoT in Social, Mobil...
收藏 引用
7th international conference on I-SMAC (IoT in Social, Mobile, Analytics and Cloud), I-SMAC 2023
the proceedings contain 181 papers. the topics discussed include: a novel area efficient TIEO based reversible logic gates in QCA paradigm;emerging cyber threats in healthcare: a study of attacks in IOMT ecosystems;im...
来源: 评论
FreeCHR: An Algebraic Framework for CHR-Embeddings  7th
FreeCHR: An Algebraic Framework for CHR-Embeddings
收藏 引用
7th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Rechenberger, Sascha Fruehwirth, thom Ulm Univ Inst Software Engn & Programming Languages Albert Einstein Allee 11 D-89069 Ulm Germany
We introduce the framework FreeCHR which formalizes the embedding of Constraint Handling Rules (CHR) into a host language, using the concept of initial algebra semantics from category theory, to establish a high-level... 详细信息
来源: 评论
Designing and Building a Basic programming logic Controller (PLC) Kit for Teaching in the Programmable logic Controller Course for Bachelor of Industrial Education Program  7
Designing and Building a Basic Programming Logic Controller ...
收藏 引用
7th international Science, Technology, Engineering, and Mathematics Education (ISTEM-Ed) conference on Sustainable Development and Lifelong Learning
作者: Kheowsakul, Nutjired Senajit, Narongrit Maneechay, thitirat Rajamangala Univ Technol Srivijaya Fac Ind Educ & Technol Elect Dept Songkhla Thailand Rajamangala Univ Technol Srivijaya Elect & Telecommun Engn Program Songkhla Thailand
Research on a basic programming logic controller (PLC) kit designing and creation for teaching in the programmable logic controller course here resulted from the recognition on problems related to the lacking of testi... 详细信息
来源: 评论
A Case Study for Declarative Pattern Mining in Digital Forensics  7th
A Case Study for Declarative Pattern Mining in Digital Foren...
收藏 引用
7th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Lisi, Francesca Alessandra Sterlicchio, Gioacchino Billard, David Univ Bari Aldo Moro DIB Bari Italy Univ Bari Aldo Moro CILA Bari Italy Polytech Univ Bari DMMM Bari Italy Univ Appl Sci Geneva Geneva Switzerland
In this short paper, we briefly describe the application of a declarative AI approach to a case study concerning the analysis of real-world phone recordings. In particular, we summarize the general results obtained fo... 详细信息
来源: 评论
Beyond logic programming for Legal reasoning  39
Beyond Logic Programming for Legal Reasoning
收藏 引用
39th international conference on logic programming Workshops, ICLP Workshops 2023
作者: Nguyen, Ha thanh Toni, Francesca Stathis, Kostas Satoh, Ken 2-1-2 Hitotsubashi Chiyoda City Tokyo Japan Imperial College London Exhibition Rd South Kensington LondonSW7 2BX United Kingdom Royal Holloway University of London Egham Hill EghamTW20 0EX United Kingdom
logic programming has long being advocated for legal reasoning, and several approaches have been put forward relying upon explicit representation of the law in logic programming terms. In this position paper we focus ... 详细信息
来源: 评论