咨询与建议

限定检索结果

文献类型

  • 1,425 篇 会议
  • 55 篇 期刊文献
  • 12 册 图书

馆藏范围

  • 1,491 篇 电子文献
  • 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...
  • 85 篇 artificial intel...
  • 63 篇 semantics
  • 52 篇 answer set progr...
  • 43 篇 computer circuit...
  • 42 篇 formal logic
  • 40 篇 knowledge repres...
  • 25 篇 knowledge repres...
  • 25 篇 calculations
  • 16 篇 fuzzy logic
  • 15 篇 inductive logic ...
  • 13 篇 constraint progr...
  • 12 篇 programming
  • 12 篇 data description
  • 12 篇 temporal logic
  • 12 篇 ontology
  • 11 篇 model checking
  • 10 篇 nonmonotonic rea...
  • 10 篇 integer programm...
  • 9 篇 specifications

机构

  • 15 篇 vienna univ tech...
  • 13 篇 univ minho ctr a...
  • 11 篇 univ potsdam pot...
  • 9 篇 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,480 篇 英文
  • 8 篇 中文
  • 4 篇 其他
检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"
1492 条 记 录,以下是81-90 订阅
排序:
Gradient-Based Supported Model Computation in Vector Spaces  16th
Gradient-Based Supported Model Computation in Vector Spaces
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Takemura, Akihiro Inoue, Katsumi Grad Univ Adv Studies Dept Informat SOKENDAI Tokyo Japan Natl Inst Informat Tokyo Japan
We propose a method for computing supported models of normal logic programs in vector spaces using gradient information. First, the program is translated into a definite program and embedded into a matrix representing... 详细信息
来源: 评论
Learning to Reason Assisted by Automated reasoning  15th
Learning to Reason Assisted by Automated Reasoning
收藏 引用
15th international conference on Intelligent Computer Mathematics (CICM) part of the Computational logic Autumn Summit (CLAS)
作者: Windsteiger, Wolfgang Johannes Kepler Univ Linz JKU Res Inst Symbol Computat RISC Altenbergerstr 69 A-4040 Linz Austria
We report on using logic software in a novel course-format for an undergraduate logic course for students in computer science or artificial intelligence. Although being designed as the students' basic introduction... 详细信息
来源: 评论
Leveraging Neurosymbolic AI for Slice Discovery  18th
Leveraging Neurosymbolic AI for Slice Discovery
收藏 引用
18th international conference on Neural-Symbolic Learning and reasoning (NeSy)
作者: Collevati, Michele Eiter, thomas Higuera, Nelson Tech Univ Wien Inst Log & Computat Favoritenstr 9-11 A-1040 Vienna Austria
While remarkable recent developments in deep neural networks have significantly contributed to advancing the state-of-the-art in Computer Vision (CV), several studies have also shown their limitations and defects. In ... 详细信息
来源: 评论
A Practical Account into Counting Dung's Extensions by Dynamic programming  16th
A Practical Account into Counting Dung's Extensions by Dynam...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Dewoprabowo, Ridhwan Fichte, Johannes Klaus Gorczyca, Piotr Jerzy Hecher, Markus Tech Univ Dresden Dresden Germany TU Wien Vienna Austria
A Abstract argumentation and Dung's framework are popular for modeling and evaluating arguments in artificial intelligence. We consider various counting problems in abstract argumentation under practical aspects. ... 详细信息
来源: 评论
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection  16th
A Machine Learning System to Improve the Performance of ASP ...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Liu, Liu Truszczynski, Mirek Lierler, Yuliya Univ Kentucky Lexington KY 40506 USA Univ Nebraska Omaha NE 68182 USA
Answer set programming (ASP) has long been used for modeling and solving hard search problems. Experience shows that the performance of ASP tools on different ASP encodings of the same problem may vary greatly from in... 详细信息
来源: 评论
Modal logic S5 in Answer Set programming with Lazy Creation of Worlds  16th
Modal Logic S5 in Answer Set Programming with Lazy Creation ...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Alviano, Mario Batsakis, Sotiris Baryannis, George Univ Calabria Arcavacata Di Rende Italy Tech Univ Crete Iraklion Greece Univ Huddersfield Sch Comp & Engn Huddersfield W Yorkshire England
Modal logic S5 is used extensively for representing knowledge that includes statements about necessity and possibility, owing to its simplicity in handling chained modal operators. Significant research effort has been... 详细信息
来源: 评论
Explaining Optimal Trajectories  7th
Explaining Optimal Trajectories
收藏 引用
7th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Rouveirol, Celine Aoual, Malik Kazi Soldano, Henry Ventos, Veronique Nukkai Paris France Univ Sorbonne Paris Nord CNRS UMR 7030 Inst GalileeLIPN Villetaneuse France ISYEB Museum Natl Hist Nat CNRS UMR 7205 Paris France
We propose a definition of common explanation for the label shared by a group of observations described as first order interpretations, and provide algorithms to enumerate minimal common explanations. this was motivat... 详细信息
来源: 评论
Synthetic Datasets and Evaluation Tools for Inductive Neural reasoning  1
收藏 引用
30th international conference on Inductive logic programming (ILP) held as part of the 1st international Joint conference on Learning and reasoning (IJCLR)
作者: Cornelio, Cristina thost, Veronika Samsung AI Cambridge England IBM Res MIT IBM Watson AI Lab Ruschlikon Switzerland
logical rules are a popular knowledge representation language in many domains. Recently, neural networks have been proposed to support the complex rule induction process. However, we argue that existing datasets and e... 详细信息
来源: 评论
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs  7th
Analyzing Termination for Prev-Aware Fragments of Communicat...
收藏 引用
7th international Joint conference on Rules and reasoning (RuleML+RR)
作者: Di Cosmo, Francesco Free Univ Bozen Bolzano Bolzano Italy
Communicating Datalog Programs (CDPs) are a distributed computing model grounded on logic programming: networks of nodes perform Datalog-like computations, leveraging on information coming from incoming messages and d... 详细信息
来源: 评论
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  16th
Representing Abstract Dialectical Frameworks with Binary Dec...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Ellmauthaler, Stefan Gaggl, Sarah Alice Rusovac, Dominik Wallner, Johannes P. Tech Univ Dresden Cfaed Knowledge Based Syst Grp Dresden Germany Tech Univ Dresden Log Programming & Argumentat Grp Dresden Germany Graz Univ Technol Inst Software Technol Graz Austria
A Abstract dialectical frameworks (ADFs) are a well-studied generalisation of the prominent argumentation frameworks due to Phan Minh Dung. In this paper we propose to use reduced ordered binary decision diagrams (RoB... 详细信息
来源: 评论