咨询与建议

限定检索结果

文献类型

  • 103 篇 会议
  • 19 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 93 篇 工学
    • 92 篇 计算机科学与技术...
    • 76 篇 软件工程
    • 4 篇 控制科学与工程
    • 3 篇 电气工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 化学工程与技术
    • 1 篇 食品科学与工程(可...
    • 1 篇 安全科学与工程
  • 61 篇 理学
    • 57 篇 数学
    • 3 篇 系统科学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 医学
    • 1 篇 基础医学(可授医学...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 22 篇 logic programmin...
  • 17 篇 answer set progr...
  • 9 篇 semantics
  • 6 篇 logic
  • 6 篇 computer languag...
  • 5 篇 programming
  • 5 篇 inductive logic ...
  • 4 篇 program transfor...
  • 4 篇 java
  • 4 篇 distributed comp...
  • 4 篇 artificial intel...
  • 3 篇 software systems
  • 3 篇 programming prof...
  • 3 篇 software enginee...
  • 3 篇 electronic mail
  • 3 篇 parallel program...
  • 3 篇 stable models
  • 3 篇 visualization
  • 3 篇 machine learning
  • 3 篇 verification

机构

  • 4 篇 imdea software i...
  • 2 篇 alan turing inst...
  • 2 篇 roskilde univ ro...
  • 2 篇 univ melbourne d...
  • 2 篇 univ piemonte or...
  • 2 篇 univ nova lisboa...
  • 2 篇 dept informat p-...
  • 2 篇 spanish council ...
  • 2 篇 katholieke univ ...
  • 2 篇 kobe univ nada k...
  • 2 篇 university of ox...
  • 2 篇 abb research lad...
  • 2 篇 sabanci univ fac...
  • 2 篇 univ alberta edm...
  • 2 篇 abb research ban...
  • 2 篇 univ potsdam d-1...
  • 2 篇 res org informat...
  • 2 篇 macquarie univ d...
  • 2 篇 univ so calif de...
  • 2 篇 suny stony brook...

作者

  • 4 篇 stuckey peter j.
  • 3 篇 bartholomew mich...
  • 3 篇 schaub torsten
  • 3 篇 hermenegildo man...
  • 3 篇 zhang yan
  • 3 篇 balduccini marce...
  • 3 篇 erdem esra
  • 3 篇 chu geoffrey
  • 3 篇 aziz rehan abdul
  • 3 篇 morales jose f.
  • 3 篇 lee joohyung
  • 3 篇 inoue katsumi
  • 2 篇 uras tansel
  • 2 篇 giordano laura
  • 2 篇 dumancic sebasti...
  • 2 篇 soh takehide
  • 2 篇 maher michael j.
  • 2 篇 spiotta matteo
  • 2 篇 jorissen albert
  • 2 篇 janssens gerda

语言

  • 125 篇 英文
  • 1 篇 中文
检索条件"任意字段=29th International Conference on Inductive Logic Programming"
126 条 记 录,以下是101-110 订阅
排序:
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set programming  29th
Modeling and Reasoning in Event Calculus Using Goal-Directed...
收藏 引用
29th international conference on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Arias, Joaquin Chen, Zhuo Carro, Manuel Gupta, Gopal IMDEA Software Inst Madrid Spain Univ Politecn Madrid Madrid Spain Univ Texas Dallas Richardson TX 75083 USA
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a sound, logi... 详细信息
来源: 评论
Exploiting Configurations of MaxSAT Solvers  29
Exploiting Configurations of MaxSAT Solvers
收藏 引用
29th international conference on Principles and Practice of Constraint programming, CP 2023
作者: Alòs, Josep Ansótegui, Carlos Salvia, Josep M. Torres, Eduard University of Lleida Spain
In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver. We describe how these configurations can be computed in the context of MaxSAT. In particular, we exper... 详细信息
来源: 评论
Xeggora: Exploiting immune-to-evidence symmetries with full aggregation in statistical relational models  29
Xeggora: Exploiting immune-to-evidence symmetries with full ...
收藏 引用
29th international Joint conference on Artificial Intelligence, IJCAI 2020
作者: Amirian, Mohammad Mahdi Ghidary, Saeed Shiry Department of Computer Engineering Amirkabir University of Technology Tehran Iran Department of Math and Computer Science Amirkabir University of Technology Tehran Iran
We present improvements in maximum a-posteriori inference for Markov logic, a widely used SRL formalism. Several approaches, including Cutting Plane Aggregation (CPA), perform inference through translation to Integer ... 详细信息
来源: 评论
Distributing AND-work and OR-work in parallel logic programming systems
Distributing AND-work and OR-work in parallel logic programm...
收藏 引用
Annual Hawaii international conference on System Sciences (HICSS)
作者: I.D.C. Dutra COPPE/Sistemas Federal Univ. of Rio de Janeiro Brazil
In parallel logic programming systems that exploit both AND-parallelism and OR-parallelism, the problem arises of how to distribute processors between the dynamically varying amounts of AND-work and OR-work that are a... 详细信息
来源: 评论
A General Framework for Static Cost Analysis of Parallel logic Programs  29th
A General Framework for Static Cost Analysis of Parallel Log...
收藏 引用
29th international conference on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Klemen, Maximiliano Lopez-Garcia, Pedro Gallagher, John P. Morales, Jose F. Hermenegildo, Manuel, V IMDEA Software Inst Madrid Spain Univ Politecn Madrid UPM ETSI Informat Madrid Spain Spanish Council Sci Res CSIC Madrid Spain Roskilde Univ Roskilde Denmark
the estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a wide variety of applications such as... 详细信息
来源: 评论
Drugs and Drug-Like Compounds: Discriminating Approved Pharmaceuticals from Screening-Library Compounds
Drugs and Drug-Like Compounds: Discriminating Approved Pharm...
收藏 引用
4th international conference Pattern Recognition in Bioinformatics
作者: Schierz, Amanda C. King, Ross D. Bournemouth Univ Software Syst Res Grp Poole HouseTalbot Campus Poole BH12 5BB Dorset England Aberystwyth Univ Computat Biol Res Grp Aberystwyth SY23 3DB Dyfed Wales
Compounds in drug screening-libraries should resemble pharmaceuticals. To operationally test this, we analysed the compounds in terms of known drug-like filters and developed a novel machine learning method to discrim... 详细信息
来源: 评论
logical specification of resource consumption and production
Logical specification of resource consumption and production
收藏 引用
Annual Hawaii international conference on System Sciences (HICSS)
作者: Y.U. Ryu Decision Sciences Department University of Texas Dallas Richardson TX USA
the difficulty in representing disposable resources as formulas of classical logic motivates the study of a new logic modeling system. there are similarities and differences between resource consumption/production and... 详细信息
来源: 评论
Incremental Analysis of logic Programs with Assertions and Open Predicates  29th
Incremental Analysis of Logic Programs with Assertions and O...
收藏 引用
29th international conference on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Garcia-Contreras, Isabel Morales, Jose F. Hermenegildo, Manuel, V IMDEA Software Inst Madrid Spain Univ Politecn Madrid UPM Madrid Spain
Generic components are a further abstraction over the concept of modules, introducing dependencies on other (not necessarily available) components implementing specified interfaces. they have become a key concept in l... 详细信息
来源: 评论
A propaedeutic on logic for object-oriented systems analysis and design
A propaedeutic on logic for object-oriented systems analysis...
收藏 引用
Annual Hawaii international conference on System Sciences (HICSS)
作者: S.O. Kimbrough W.J. Vachula The Wharton School University of Pennsylvania Philadelphia PA USA
this paper presents, motivates, and discusses a set of requirements for logic-based support of object-oriented systems analysis and design methods. It discusses the Object Modelling Technique (OMT) methodology, CASE t... 详细信息
来源: 评论
Automated Control logic Test Case Generation using Large Language Models  29
Automated Control Logic Test Case Generation using Large Lan...
收藏 引用
29th IEEE international conference on Emerging Technologies and Factory Automation, ETFA 2024
作者: Koziolek, Heiko Ashiwal, Virendra Bandyopadhyay, Soumyadip Chandrika, K.R. Abb Research Ladenburg Germany Abb Research Bangalore India
Testing PLC and DCS control logic in industrial automation is laborious and challenging since appropriate test cases are often complex and difficult to formulate. Researchers have previously proposed several automated... 详细信息
来源: 评论