咨询与建议

限定检索结果

文献类型

  • 1,428 篇 会议
  • 69 册 图书
  • 55 篇 期刊文献

馆藏范围

  • 1,551 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 1,260 篇 工学
    • 1,245 篇 计算机科学与技术...
    • 663 篇 软件工程
    • 83 篇 控制科学与工程
    • 62 篇 电气工程
    • 48 篇 信息与通信工程
    • 10 篇 生物工程
    • 9 篇 生物医学工程(可授...
    • 6 篇 交通运输工程
    • 5 篇 化学工程与技术
    • 4 篇 材料科学与工程(可...
    • 4 篇 电子科学与技术(可...
    • 4 篇 安全科学与工程
    • 3 篇 机械工程
    • 3 篇 建筑学
  • 360 篇 理学
    • 337 篇 数学
    • 23 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 14 篇 生物学
    • 10 篇 物理学
    • 5 篇 化学
  • 86 篇 管理学
    • 53 篇 图书情报与档案管...
    • 37 篇 管理科学与工程(可...
    • 17 篇 工商管理
  • 10 篇 法学
    • 7 篇 法学
    • 3 篇 社会学
  • 9 篇 医学
    • 9 篇 临床医学
    • 7 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 7 篇 教育学
    • 7 篇 教育学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学

主题

  • 387 篇 logic programmin...
  • 141 篇 artificial intel...
  • 63 篇 semantics
  • 52 篇 answer set progr...
  • 48 篇 mathematical log...
  • 43 篇 computer circuit...
  • 42 篇 formal logic
  • 40 篇 knowledge repres...
  • 34 篇 logics and meani...
  • 28 篇 programming tech...
  • 25 篇 knowledge repres...
  • 25 篇 calculations
  • 21 篇 programming lang...
  • 18 篇 software enginee...
  • 16 篇 fuzzy logic
  • 15 篇 inductive logic ...
  • 13 篇 constraint progr...
  • 12 篇 programming
  • 12 篇 data description
  • 12 篇 temporal logic

机构

  • 15 篇 vienna univ tech...
  • 13 篇 univ minho ctr a...
  • 11 篇 univ potsdam pot...
  • 11 篇 tu wien austria
  • 8 篇 univ evora escol...
  • 8 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 6 篇 imperial coll lo...
  • 6 篇 univ kentucky de...
  • 6 篇 univ minho dept ...
  • 5 篇 univ potsdam ins...
  • 5 篇 katholieke univ ...
  • 5 篇 univ genoa dibri...
  • 5 篇 natl inst inform...
  • 5 篇 natl univ irelan...
  • 5 篇 suny stony brook...
  • 5 篇 mediclin arabian...
  • 5 篇 carnegie mellon ...

作者

  • 31 篇 schaub torsten
  • 30 篇 ricca francesco
  • 24 篇 eiter thomas
  • 20 篇 vicente henrique
  • 19 篇 gebser martin
  • 18 篇 neves jose
  • 17 篇 alviano mario
  • 17 篇 tompits hans
  • 16 篇 leone nicola
  • 16 篇 woltran stefan
  • 13 篇 faber wolfgang
  • 13 篇 cabalar pedro
  • 13 篇 dodaro carmine
  • 12 篇 son tran cao
  • 12 篇 baral chitta
  • 11 篇 voronkov andrei
  • 11 篇 maratea marco
  • 11 篇 inoue katsumi
  • 10 篇 fink michael
  • 10 篇 neves joao

语言

  • 1,540 篇 英文
  • 8 篇 中文
  • 4 篇 其他
检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"
1552 条 记 录,以下是11-20 订阅
排序:
An ILASP-Based Approach to Repair Petri Nets  17th
An ILASP-Based Approach to Repair Petri Nets
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Chiariello, Francesco Ielo, Antonio Tarzariol, Alice Univ Toulouse IRIT ANITI Toulouse France Univ Calabria Arcavacata Di Rende Italy Univ Klagenfurt Klagenfurt Austria
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, they have now become the most prominent formalism to express process models in Proces... 详细信息
来源: 评论
A Semantical Approach to Abstraction in Answer Set programming and Assumption-Based Argumentation  17th
A Semantical Approach to Abstraction in Answer Set Programmi...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Apostolakis, Iosif Saribatur, Zeynep G. Wallner, Johannes P. Graz Univ Technol Graz Austria TU Wien Vienna Austria
Recently forms of abstraction have been proposed for both logic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms ... 详细信息
来源: 评论
Semantic-Based Arguments Using logic programming Rewriting Systems  17th
Semantic-Based Arguments Using Logic Programming Rewriting S...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Guerrero, Esteban Nieves, Juan Carlos Umea Univ Dept Comp Sci Umea Sweden
Traditionally, in the argumentation theory literature structured arguments are constructed from rules interpretations aiming to build well-supported deductive evidence. Different from other approaches, we emphasize th... 详细信息
来源: 评论
Bridging Deep Learning and logic programming for Explainability through ILP  40
Bridging Deep Learning and Logic Programming for Explainabil...
收藏 引用
40th international conference on logic programming (ICLP)
作者: Dreossi, Talissa Univ Udine Udine Italy
My research explores integrating deep learning and logic programming to set the basis for a new generation of AI systems. By combining neural networks with Inductive logic programming (ILP), the goal is to construct s... 详细信息
来源: 评论
Introduction to the Special Issue on the international Joint conference on Rules and reasoning, RuleML+RR 2019
收藏 引用
thEORY AND PRACTICE OF logic programming 2022年 第2期22卷 158-161页
作者: Fodor, Paul Montali, Marco SUNY Stony Brook Stony Brook NY 11794 USA Free Univ Bozen Bolzano Bolzano Italy
this special issue of theory and Practice of logic programming consists of extended versions of five selected papers from the 3rd international Joint conference on Rules and reasoning (RuleML+RR 2019). RuleML+RR 2019 ... 详细信息
来源: 评论
Modelling Dialogues in a Concurrent Language for Argumentation  17th
Modelling Dialogues in a Concurrent Language for Argumentati...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Bistarelli, Stefano Chiara, Maria M. Taticchi, Carlo Univ Perugia Perugia Italy Univ G dAnnunzio Chieti Italy
In the fast-growing area of artificial intelligence (AI), the ability of autonomous agents to engage in complex debates is crucial for consensus building on beliefs, actions, or goals and forms the basis for applicati... 详细信息
来源: 评论
LTLf2ASP: LTLf Bounded Satisfiability in ASP  17th
LTLf2ASP: LTLf Bounded Satisfiability in ASP
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Fionda, Valeria Ielo, Antonio Ricca, Francesco Univ Calabria Arcavacata Di Rende CS Italy
Finite variant of Linear Temporal logic (LTLf) is increasingly popular in artificial intelligence (AI).Indeed, several AI applications rely on checking the satisfiability of temporal specifications expressed in LTLf (... 详细信息
来源: 评论
Adding Concurrency to Quantum Dynamic logic  4th
Adding Concurrency to Quantum Dynamic Logic
收藏 引用
4th international conference on artificial intelligence logic and Applications
作者: Jain, Manisha Fernandes, Vitor Madeira, Alexandre Univ Aveiro Dept Math CIDMA Aveiro Portugal Int Iberian Nanotechnol Lab INL Braga Portugal INESC TEC Porto Portugal Univ Minho Braga Portugal
this work focuses on quantum programming language and logics for quantum programs. We extend the standard quantum programming language with a parallel operator and an await command. Our extended quantum dynamic logic ... 详细信息
来源: 评论
Exploring Stanislavskian Performance for Agent-based Nonplayer Characters through Defeasible logic  24
Exploring Stanislavskian Performance for Agent-based Nonplay...
收藏 引用
24th international conference on Intelligent Virtual Agents
作者: Mitchell, Kyle Mccoy, Joshua Univ Calif Davis Davis CA 95616 USA
Common approaches to behavioral artificial intelligence, like behavior trees, utility-based approaches, and machine learning are often lacking with regards to expressivity of the decision-making process. Behavior tree... 详细信息
来源: 评论
Consequence Operators of Characterization logics - the Case of Abstract Argumentation  17th
Consequence Operators of Characterization Logics - The Case ...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Baurnann, Ringo Strass, Hannes Univ Leipzig Leipzig Germany Ctr Scalable Data Analyt & Artificial Intelligenc Dresden Germany Tech Univ Dresden Dresden Germany
the analysis of properties of consequence operators has been a very active field in the formative years of non-monotonic reasoning. One possible approach to do this is to start with a model-theoretic semantics and the... 详细信息
来源: 评论