咨询与建议

限定检索结果

文献类型

  • 119 篇 会议
  • 17 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 103 篇 工学
    • 95 篇 计算机科学与技术...
    • 79 篇 软件工程
    • 9 篇 信息与通信工程
    • 8 篇 电气工程
    • 5 篇 仪器科学与技术
    • 5 篇 控制科学与工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 建筑学
    • 2 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 交通运输工程
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
    • 1 篇 城乡规划学
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 30 篇 理学
    • 27 篇 数学
    • 3 篇 化学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 2 篇 经济学
    • 1 篇 理论经济学
    • 1 篇 应用经济学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学

主题

  • 34 篇 logic programmin...
  • 8 篇 fuzzy logic
  • 8 篇 logic
  • 8 篇 mathematical log...
  • 7 篇 logics and meani...
  • 6 篇 machine learning
  • 6 篇 answer set progr...
  • 5 篇 programming
  • 5 篇 software enginee...
  • 5 篇 relational datab...
  • 5 篇 programming lang...
  • 5 篇 inductive logic ...
  • 4 篇 runtime
  • 4 篇 semantics
  • 4 篇 programming tech...
  • 4 篇 data models
  • 3 篇 object oriented ...
  • 3 篇 computer science
  • 3 篇 programming prof...
  • 3 篇 computer circuit...

机构

  • 2 篇 univ guayaquil g...
  • 2 篇 heriot watt univ...
  • 2 篇 csiro data61 bri...
  • 2 篇 university of li...
  • 2 篇 reasoning res in...
  • 2 篇 tu wien austria
  • 2 篇 quantek bologna
  • 2 篇 univ texas dalla...
  • 2 篇 univ athens athe...
  • 2 篇 graz university ...
  • 2 篇 univ politecn va...
  • 2 篇 univ kentucky de...
  • 2 篇 ferrara univ dep...
  • 2 篇 new mexico state...
  • 2 篇 univ york dept c...
  • 2 篇 inria rennes ced...
  • 2 篇 univ texas austi...
  • 1 篇 department of el...
  • 1 篇 liacc universida...
  • 1 篇 ecole polytech c...

作者

  • 3 篇 gavanelli marco
  • 3 篇 gupta gopal
  • 2 篇 governatori guid...
  • 2 篇 oikarinen emilia
  • 2 篇 maher michael j.
  • 2 篇 gebser martin
  • 2 篇 axel legay
  • 2 篇 peano andrea
  • 2 篇 bellodi elena
  • 2 篇 kelly tim p.
  • 2 篇 escobar s.
  • 2 篇 alpuente m.
  • 2 篇 li yue
  • 2 篇 komendantskaya e...
  • 2 篇 schaub torsten
  • 2 篇 lopes ricardo
  • 2 篇 lifschitz vladim...
  • 2 篇 sapina j.
  • 2 篇 tiziana margaria
  • 2 篇 truszczynski mir...

语言

  • 142 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=23rd International Conference on Logic Programming, ICLP 2007"
145 条 记 录,以下是1-10 订阅
排序:
logic programming: 23rd international conference, ICPL 2007, Proceedings
收藏 引用
23rd international conference on logic programming, iclp 2007
The proceedings contain 37 papers. The topics discussed include: coinductive logic programming and its applications;multi-paradigm declarative languages;logic programming for knowledge representation;minimal logic pro... 详细信息
来源: 评论
Introduction to the 33rd international conference on logic programming special issue
收藏 引用
THEORY AND PRACTICE OF logic programming 2017年 第5-6期17卷 684-688页
作者: Rocha, Ricardo Son, Tran Cao Univ Porto CRACS Rua Campo Alegre 1021 P-4169007 Oporto Portugal Univ Porto INESC TEC Rua Campo Alegre 1021 P-4169007 Oporto Portugal Univ Porto Fac Sci Rua Campo Alegre 1021 P-4169007 Oporto Portugal New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
This special issue of Theory and Practice of logic programming (TPLP) contains the regular papers accepted for presentation at the 33rd international conference on logic programming (iclp 2017), held in Melbourne, Aus... 详细信息
来源: 评论
23rd international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR23 2020
23rd International Conference on Logic for Programming, Arti...
收藏 引用
23rd international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR23 2020
The proceedings contain 28 papers. The special focus in this conference is on logic for programming, Artificial Intelligence and Reasoning. The topics include: A compositional semantics for repairable fault trees with...
来源: 评论
BEWARE 2024 - Proceedings of the 3rd Workshop on Bias, Risk, Ethical AI, Explainability and the Role of logic and logic programming, co-located with the 23rd international conference of the Italian Association for Artificial Intelligence, AIxIA 2024
BEWARE 2024 - Proceedings of the 3rd Workshop on Bias, Risk,...
收藏 引用
3rd Workshop on Bias, Risk, Ethical AI, Explainability and the Role of logic and logic programming, BEWARE 2024
The proceedings contain 12 papers. The topics discussed include: prior to trust: frequentist and Bayesian views of trust in AI;rethinking bias and fairness in AI through the lens of gender studies;gender biases in rob...
来源: 评论
Inductive logic programming: 23rd international conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers  1
收藏 引用
丛书名: Lecture Notes in Computer Science 8812 Lecture Notes in Artificial Intelligence
2014年
作者: Gerson Zaverucha, Vítor Santos Costa, Aline Paes (eds.)
This book constitutes the thoroughly refereed post-proceedings of the 23rd international conference on Inductive logic programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended pape...
来源: 评论
Probabilistic Traces in Declarative Process Mining  23rd
Probabilistic Traces in Declarative Process Mining
收藏 引用
23rd international conference of the Italian Association for Artificial Intelligence, AIxIA 2024
作者: Vespa, Michela Bellodi, Elena Chesani, Federico Loreti, Daniela Mello, Paola Lamma, Evelina Ciampolini, Anna Gavanelli, Marco Zese, Riccardo Dipartimento di Ingegneria Universitá di Ferrara Via Saragat 1 Ferrara Italy Dipartimento di Informatica - Scienza e Ingegneria Viale Risorgimento 2 Bologna Italy Dipartimento di Scienze Chimiche Farmaceutiche ed Agrarie - Universitá di Ferrara Via Borsari 46 Ferrara Italy
When dealing with real-world processes, it is essential to consider their inherent uncertainty to more accurately represent their nature. In this work, we consider cases in which some information in the log might be u... 详细信息
来源: 评论
Visual logic programming method based on structural analysis and design technique
收藏 引用
23rd international conference on logic programming (iclp)
作者: Morozov, Alexei A. RAS Inst Radio Engn & Elect Moscow 125009 Russia
来源: 评论
logic programming for knowledge representation
收藏 引用
23rd international conference on logic programming (iclp)
作者: Truszczynski, Miroslaw Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by needs of knowledge representation.
来源: 评论
A linear transformation from prioritized circumscription to disjunctive logic programming
收藏 引用
23rd international conference on logic programming (iclp)
作者: Oikarinen, Emilia Janhunen, Torm Aalto Univ POB 5400 FI-02015 Helsinki Finland
来源: 评论
Computing fuzzy answer sets using DLVHEX
收藏 引用
23rd international conference on logic programming (iclp)
作者: Van Nieuwenborgh, Davy De Cock, Martine Vermeir, Dirk Vrije Univ Brussel Brussels Belgium Univ Ghent Ghent Belgium
In this poster, we show how the fuzzy answer set semantics, i.e. a combination of answer set programming and fuzzy logic, can be mapped onto the semantics for HEX-programs.
来源: 评论