咨询与建议

限定检索结果

文献类型

  • 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 篇 临床医学

主题

  • 221 篇 logic programmin...
  • 45 篇 answer set progr...
  • 39 篇 semantics
  • 23 篇 computer circuit...
  • 21 篇 knowledge repres...
  • 19 篇 nonmonotonic rea...
  • 18 篇 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 条 记 录,以下是71-80 订阅
排序:
Using Answer Set programming to Enhance Operating System Discovery
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Gagnon, Francois Esfandiari, Babak Carleton Univ Ottawa ON K1S 5B6 Canada
Although knowing the operating systems running in a network is becoming more and more important (mainly for security reasons), current operating system discovery tools are not sufficiently accurate to acquire the info... 详细信息
来源: 评论
Automated reasoning with nonmonotonic logics (invited talk)  4th
Automated reasoning with nonmonotonic logics (invited talk)
收藏 引用
4th international conference on logic programming and nonmonotonic reasoning (LPNMR 97)
作者: Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
来源: 评论
HAPLO-ASP: Haplotype Inference Using Answer Set programming
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Erdem, Esra Erdem, Ozan Ture, Ferhan Sabanci Univ Fac Engn & Nat Sci TR-34956 Istanbul Turkey Univ Maryland Dept Comp Sci College Pk MD 20742 USA
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. However, due to technological limitations. we have access to genotype data (genetic ... 详细信息
来源: 评论
Belief Revision with Bounded Treewidth
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Pichler, Reinhard Ruemmele, Stefan Woltran, Stefan Vienna Univ Technol Vienna Austria
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, with the ones by Dalal or Satoh being ... 详细信息
来源: 评论
Non-monotonic reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: the SINDI System
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Mileo, Alessandra Merico, Davide Bisiani, Roberto Univ Milano Bicocca Dept Informat Syst & Commun I-20126 Milan Italy
In recent years there has been growing interest in solutions for the delivery of clinical care for the elderly, due to the large increase in aging population. Monitoring a patient in his home environment is necessary ... 详细信息
来源: 评论
Simple Random logic Programs
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Namasivayam, Gayathri Trusczynski, Miroslaw Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random "sparse" and "dense" programs with two-literal r... 详细信息
来源: 评论
Typicalities and probabilities of exceptions in nonmotonic Description logics
收藏 引用
international JOURNAL OF APPROXIMATE reasoning 2019年 第Apr.期107卷 81-100页
作者: Pozzato, Gian Luca Univ Torino Dipartimento Informat Corso Svizzera 185 I-10149 Turin Italy
We introduce a nonmonotonic procedure for preferential Description logics in order to reason about typicality by taking probabilities of exceptions into account. We consider an extension, called ALC + T-R(P), of the l... 详细信息
来源: 评论
Generating Optimal Code Using Answer Set programming
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Crick, Tom Brain, Martin De Vos, Marina Fitch, John Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
this paper presents the Total Optimisation using Answer Set Technology (TOAST) system, which can be used to generate optimal code sequences for machine architectures via if technique known as superoptimisation. Answer... 详细信息
来源: 评论
ANTON: Composing logic and logic Composing
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Boenn, Georg Brain, Martin De Vos, Marina Ffitch, John Univ Glamorgan Cardiff Sch Creat & Cultural Ind Pontypridd CF37 1DL M Glam Wales Univ Bath Dept Comp Sci Bath Avon BA2 7AY England
In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, p... 详细信息
来源: 评论
Towards first-order nonmonotonic reasoning  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Rosati, R Univ Roma La Sapienza Dipartimento Informat & Sistemist I-00198 Rome Italy
We investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced b... 详细信息
来源: 评论