咨询与建议

限定检索结果

文献类型

  • 572 篇 会议
  • 34 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 549 篇 工学
    • 545 篇 计算机科学与技术...
    • 304 篇 软件工程
    • 16 篇 电气工程
    • 13 篇 信息与通信工程
    • 13 篇 控制科学与工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 农业工程
    • 1 篇 建筑学
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 环境科学与工程(可...
    • 1 篇 食品科学与工程(可...
  • 97 篇 理学
    • 90 篇 数学
    • 5 篇 物理学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 生物学
  • 26 篇 管理学
    • 19 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 220 篇 logic programmin...
  • 45 篇 answer set progr...
  • 39 篇 semantics
  • 23 篇 computer circuit...
  • 21 篇 knowledge repres...
  • 19 篇 nonmonotonic rea...
  • 19 篇 artificial intel...
  • 15 篇 formal logic
  • 11 篇 mathematical log...
  • 10 篇 logics and meani...
  • 8 篇 answer-set progr...
  • 8 篇 description logi...
  • 8 篇 atoms
  • 8 篇 programming tech...
  • 7 篇 inductive logic ...
  • 6 篇 software enginee...
  • 6 篇 asp
  • 6 篇 knowledge repres...
  • 6 篇 semantic web
  • 6 篇 stable models

机构

  • 20 篇 vienna univ tech...
  • 10 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 7 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 6 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 tu wien austria
  • 5 篇 univ genoa dibri...
  • 5 篇 univ calabria ar...
  • 5 篇 univ calabria de...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...
  • 5 篇 vienna univ tech...
  • 4 篇 vienna universit...
  • 4 篇 univ potsdam ins...
  • 4 篇 university of ca...
  • 4 篇 simon fraser uni...

作者

  • 32 篇 schaub torsten
  • 24 篇 gebser martin
  • 22 篇 ricca francesco
  • 18 篇 leone nicola
  • 18 篇 tompits hans
  • 17 篇 eiter thomas
  • 16 篇 woltran stefan
  • 16 篇 alviano mario
  • 13 篇 faber wolfgang
  • 13 篇 cabalar pedro
  • 10 篇 ianni giovambatt...
  • 9 篇 lifschitz vladim...
  • 9 篇 calimeri frances...
  • 9 篇 fink michael
  • 9 篇 pearce david
  • 9 篇 you jia-huai
  • 8 篇 eiter t
  • 8 篇 leite joao
  • 8 篇 leone n
  • 8 篇 son tran cao

语言

  • 618 篇 英文
  • 4 篇 其他
  • 3 篇 中文
检索条件"任意字段=10th International Conference on Logic Programming and Nonmonotonic Reasoning"
625 条 记 录,以下是561-570 订阅
Planning with different forms of domain-dependent control knowledge - An answer set programming approach
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Son, Tran Cao Baral, Chitta McIlraith, Sheila Department of Computer Science New Mexico State University MSC CS PO Box 30001 Las Cruces NM 88003 United States Department of Computer Science and Engineering Arizona State University Tempe AZ 85287 United States Knowledge Systems Laboratory Computer Science Stanford University Stanford CA 94305 United States
In this paper we present a declarative approach to adding domain-dependent control knowledge for Answer Set Planning (ASP). Our approach allows different types of domain-dependent control knowledge such as hierarchica... 详细信息
来源: 评论
10th international Working conference on Verified Software: theories, Tools, and Experiments, VSTTE 2018
10th International Working Conference on Verified Software: ...
收藏 引用
10th international Working conference on Verified Software: theories, Tools, and Experiments, VSTTE 2018
the proceedings contain 19 papers. the special focus in this conference is on Verified Software: theories, Tools, and Experiments. the topics include: Constructing Independently Verifiable Privacy-Compliant Type Syste...
来源: 评论
26th international conference on Types for Proofs and Programs, TYPES 2020
26th International Conference on Types for Proofs and Progra...
收藏 引用
26th international conference on Types for Proofs and Programs, TYPES 2020
the proceedings contain 11 papers. the topics discussed include: on model-theoretic strong normalization for truth-table natural deduction;extending equational monadic reasoning with monad transformers;towards a certi...
来源: 评论
Compacting boolean formulae for inference in probabilistic logic programming  13th
收藏 引用
13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015
作者: Mantadelis, theofrastos Shterionov, Dimitar Janssens, Gerda CRACS and INESC TEC University of Porto Rua do Campo Alegre 1021/1055 Porto4169-007 Portugal Department of Computer Science KU Leuven Celestijnenlaan 200A Heverlee2402 3001 Belgium
Knowledge compilation converts Boolean formulae for which some inference tasks are computationally expensive into a representation where the same tasks are tractable. ProbLog is a state-of-the-art Probabilistic logic ... 详细信息
来源: 评论
Aspartame: Solving constraint satisfaction problems with answer set programming  1
收藏 引用
13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015
作者: Banbara, Mutsunori Gebser, Martin Inoue, Katsumi Ostrowski, Max Peano, Andrea Schaub, Torsten Soh, Takehide Tamura, Naoyuki Weise, Matthias Aalto University HIIT Greater Helsinki Finland INRIA Rennes Rennes France Kobe University Kobe Japan NII Tokyo Tokyo Japan University of Ferrara Ferrara Italy University of Potsdam Potsdam Germany
Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective by the award-winning sugar system. We here develop an alternative approach based on ASP th... 详细信息
来源: 评论
Managing deceitful arguments with X-logics
Managing deceitful arguments with X-logics
收藏 引用
18th IEEE international conference on Tools with Artificial Intelligence, ICTAI 2006
作者: Aubry, Geoffroy Risch, Vincent LSIS UMR CNRS 6168 Domaine Universitaire de Saint-Jérôme 13397 Marseilles cedex 20 France
In most works on negotiation dialogues, agents are supposed to be ideally honest. However, there are many situations where such a behaviour cannot always be expected from the agents (e.g. advertising, political negoti... 详细信息
来源: 评论
nonmonotonic reasoning with well founded semantics
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the international conference on logic programming 1991年 475-475页
作者: Pereira, Luis Moniz Aparicio, Joaquim Nunes Alferes, Jose Julio
来源: 评论
Doctoral consortium extended abstract: Planning with concurrent transaction logic  13th
收藏 引用
13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015
作者: Basseda, Reza Stony Brook University Stony BrookNY11794 United States
Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this thesis proposal, we argue that Concurrent Transaction logic (... 详细信息
来源: 评论
Massively Parallel reasoning under the Well-Founded Semantics using X10  26
Massively Parallel Reasoning under the Well-Founded Semantic...
收藏 引用
26th IEEE international conference on Tools with Artificial Intelligence (ICTAI)
作者: Tachmazidis, Ilias Cheng, Long Kotoulas, Spyros Antoniou, Grigoris Ward, Tomas E. Univ Huddersfield Huddersfield HD1 3DH W Yorkshire England Natl Univ Ireland Maynooth Maynooth Kildare Ireland IBM Res Dublin Ireland
Academia and industry are investigating novel approaches for processing vast amounts of data coming from enterprises, the Web, social media and sensor readings in an area that has come to be known as Big Data. logic p... 详细信息
来源: 评论
Complex Preferences for Answer Set Optimization  9
Complex Preferences for Answer Set Optimization
收藏 引用
9th international conference on Principles of Knowledge Representation and reasoning, KR 2004
作者: Brewka, Gerhard University of Leipzig Dept. of Computer Science Augustusplatz 10-11 Leipzig04109 Germany
the main contribution of this paper is the definition of the preference description language PDL. this language allows us to combine qualitative and quantitative, penalty based preferences in a flexible way. this make... 详细信息
来源: 评论