咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,548 篇 电子文献
  • 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...
  • 10 篇 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,537 篇 英文
  • 8 篇 中文
  • 4 篇 其他
检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"
1549 条 记 录,以下是81-90 订阅
排序:
the Design of the Seventh Answer Set programming Competition  14th
The Design of the Seventh Answer Set Programming Competition
收藏 引用
14th international conference on logic programming and Nonmonotonic reasoning (LPNMR)
作者: Gebser, Martin Maratea, Marco Ricca, Francesco Univ Potsdam Inst Comp Sci Potsdam Germany Univ Genoa DIBRIS Genoa Italy Univ Calabria Dipartimento Matemat & Informat Arcavacata Di Rende Italy
Answer Set programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial competitions are organized in order to furnish challenging benchmark ... 详细信息
来源: 评论
Assessing Arguments with Schemes and Fallacies  15th
Assessing Arguments with Schemes and Fallacies
收藏 引用
15th international conference on logic programming and Nonmonotonic reasoning (LPNMR)
作者: Bisquert, Pierre de Saint-Cyr, Florence Dupin Besnard, Philippe INRA Montpellier France Univ Paul Sabatier IRIT CNRS Toulouse France
We present a logical framework allowing us to express assessment of facts (is it proven?) and arguments (is it sound?) together with a proof system to answer these questions. Our motivation is to clarify the notion of... 详细信息
来源: 评论
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean logic Encodings
收藏 引用
15th international conference on logic for programming artificial intelligence and reasoning
作者: Pulina, Luca Tacchella, Armando Univ Genoa DIST I-16145 Genoa Italy
theoretical studies show that in sonic combinatorial problems. there is a close relationship between classes of tractable instances and the treewidth (tw) of graphs describing their Structure. In the case of satisfiab... 详细信息
来源: 评论
the Sixth Answer Set programming Competition
收藏 引用
JOURNAL OF artificial intelligence RESEARCH 2017年 第1期60卷 41-95页
作者: Gebser, Martin Maratea, Marco Ricca, Francesco Univ Potsdam IfICS August Bebel Str 89 D-14482 Potsdam Germany Univ Genoa DIBRIS Viale F Causa 15 I-16145 Genoa Italy Univ Calabria DeMaCS Viale P BucciCubo 31B I-87036 Arcavacata Di Rende Italy
Answer Set programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other closely related problem-solving technologies, such as SAT/... 详细信息
来源: 评论
Efficient Generation of Unsatisfiability Proofs and Cores in SAT
收藏 引用
15th international conference on logic for programming artificial intelligence and reasoning
作者: Asin, Roberto Nieuwenhuis, Robert Oliveras, Albert Rodriguez-Carbonell, Euric Tech Univ Catalonia Barcelona Spain
Some modern DPLL-based propositional SAT solvers now have, fast in-memory algorithms for generating unsatisfiability proofs and cores without writing traces to disk. However, in long SAT runs these, algorithms still r... 详细信息
来源: 评论
From logic programming and Non-monotonic reasoning to Computational Argumentation and Beyond  14th
From Logic Programming and Non-monotonic Reasoning to Comput...
收藏 引用
14th international conference on logic programming and Nonmonotonic reasoning (LPNMR)
作者: Toni, Francesca Imperial Coll London London England
Argumentation has gained popularity in AI in recent years to support several activities and forms of reasoning. this talk will trace back the logic programming and non-monotonic reasoning origins of two well-known arg... 详细信息
来源: 评论
Compositional Neural logic programming  30
Compositional Neural Logic Programming
收藏 引用
30th international Joint conference on artificial intelligence (IJCAI)
作者: Tran, Son N. Univ Tasmania Hobart Tas Australia
this paper introduces Compositional Neural logic programming (CNLP), a framework that integrates neural networks and logic programming for symbolic and sub-symbolic reasoning. We adopt the idea of compositional neural... 详细信息
来源: 评论
Compiling prioritized circumscription into Extended logic Programs
Compiling prioritized circumscription into Extended Logic Pr...
收藏 引用
15th international Joint conference on artificial intelligence
作者: Wakaki, T Satoh, K Tokyo Inst Technol Dept Computat Intelligence & Syst Sci Midori Ku Yokohama Kanagawa 227 Japan
We propose a method of compiling circumscription into Extended logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized circumscription. In this paper, we show... 详细信息
来源: 评论
Semiring-based Constraint logic programming
Semiring-based Constraint Logic Programming
收藏 引用
15th international Joint conference on artificial intelligence
作者: Bistarelli, S Montanari, U Rossi, F Univ Pisa Dept Comp Sci I-56125 Pisa Italy
the extend the Constraint logic programming (CLP) formalism in order to handle semiring-based constraint systems. this allows us to perform in the same language both constraint solving and optimization. In fact, const... 详细信息
来源: 评论
Towards Dynamic Answer Set programming over Finite Traces  15th
Towards Dynamic Answer Set Programming over Finite Traces
收藏 引用
15th international conference on logic programming and Nonmonotonic reasoning (LPNMR)
作者: Cabalar, Pedro Dieguez, Martin Schaub, Torsten ENIB Brest France Univ A Coruna La Coruna Spain Univ Potsdam Potsdam Germany Simon Fraser Univ Burnaby BC Canada Griffith Univ Brisbane Qld Australia
Our ultimate goal is to conceive an extension of Answer Set programming with language constructs from dynamic (and temporal) logic to provide an expressive computational framework for modeling dynamic applications. To... 详细信息
来源: 评论