咨询与建议

限定检索结果

文献类型

  • 668 篇 会议
  • 32 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 648 篇 工学
    • 645 篇 计算机科学与技术...
    • 356 篇 软件工程
    • 28 篇 控制科学与工程
    • 22 篇 电气工程
    • 18 篇 信息与通信工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 建筑学
    • 3 篇 生物工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 农业工程
  • 129 篇 理学
    • 120 篇 数学
    • 5 篇 物理学
    • 5 篇 生物学
    • 5 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 33 篇 管理学
    • 23 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学

主题

  • 247 篇 logic programmin...
  • 46 篇 answer set progr...
  • 44 篇 semantics
  • 22 篇 computer circuit...
  • 22 篇 artificial intel...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 mathematical log...
  • 11 篇 logics and meani...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 7 篇 programming tech...
  • 6 篇 software enginee...
  • 6 篇 data description

机构

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

作者

  • 35 篇 schaub torsten
  • 25 篇 gebser martin
  • 23 篇 ricca francesco
  • 19 篇 tompits hans
  • 18 篇 eiter thomas
  • 17 篇 woltran stefan
  • 16 篇 leone nicola
  • 14 篇 alviano mario
  • 12 篇 faber wolfgang
  • 12 篇 cabalar pedro
  • 11 篇 brain martin
  • 11 篇 de vos marina
  • 10 篇 calimeri frances...
  • 10 篇 fink michael
  • 10 篇 inoue katsumi
  • 9 篇 ianni giovambatt...
  • 9 篇 son tran cao
  • 8 篇 giordano laura
  • 8 篇 eiter t
  • 8 篇 lifschitz vladim...

语言

  • 713 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
719 条 记 录,以下是311-320 订阅
排序:
Computer Aided threat Identification
Computer Aided Threat Identification
收藏 引用
13th IEEE international conference on Commerce and Enterprise Computing (CEC)
作者: Asnar, Yudistira Li, Tong Massacci, Fabio Paci, Federica Univ Trento DISI Trento Italy Tsinghua Univ Sch Software Beijing Peoples R China
Recently, there has been an increase of reported security threats hitting organizations. Some of them are originated from the assignments to users of inappropriate permissions on organizational sensitive data. thus it... 详细信息
来源: 评论
Correct reasoning about logic programs
Correct reasoning about logic programs
收藏 引用
27th international conference on logic programming, ICLP 2011
作者: Kriener, Jael School of Computing University of Kent CT2 7NF United Kingdom
In this PhD project, we present an approach to the problem of determinacy inference in logic programs with cut, which treats cut uniformly and contextually. the overall aim is to develop a theoretical analysis, abstra... 详细信息
来源: 评论
Multi-agent abductive reasoning with confidentiality
Multi-agent abductive reasoning with confidentiality
收藏 引用
10th international conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011
作者: Ma, Jiefei Russo, Alessandra Broda, Krysia Lupu, Emil Department of Computing Imperial College London 180 Queen's Gate London SW7 2AZ United Kingdom
In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about their environments, and the union of such knowledge is still incomplete to represent the whole world. thus, given a g... 详细信息
来源: 评论
Extending the Grounded Semantics by logic programming Semantics
Extending the Grounded Semantics by Logic Programming Semant...
收藏 引用
14th international conference of the Catalan-Association-for-Artificial-Intelligence (CCIA)
作者: Carlos Nieves, Juan Osorio, Mauricio Cortes, Ulises Univ Politecn Cataluna Software Dept LSI C Jordi Girona 1-3 E-08034 Barcelona Spain Fundac Univ Amer Puebla Mexico
We introduce a formal argumentation method based on normal programs and rewriting systems which is able to define extensions of the grounded semantics based on specific rewriting rules which perform particular kind of... 详细信息
来源: 评论
Automatic music composition using answer set programming
收藏 引用
thEORY AND PRACTICE OF logic programming 2011年 第2-3期11卷 397-427页
作者: 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 BA2 7AY Avon England
Music composition used to be a pen and paper activity. these days music is often composed with the aid of computer software, even to the point where the computer composes parts of the score autonomously. the compositi... 详细信息
来源: 评论
Manifold answer-set programs and their applications
收藏 引用
Symposium on Constructive Mathematics in Computer Science in honor of Michael Gelfond on the occasion of his 65th birthday, 2010
作者: Faber, Wolfgang Woltran, Stefan University of Calabria Italy Vienna University of Technology Austria
In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported... 详细信息
来源: 评论
programming mental state abduction  11
Programming mental state abduction
收藏 引用
the 10th international conference on Autonomous Agents and Multiagent Systems - Volume 1
作者: Michal Sindlar Mehdi Dastani John-Jules Meyer University of Utrecht
Many multi-agent system applications involve software agents that reason about the behavior of other agents with which they interact in cooperation or competition. In order to design and develop those systems, the emp... 详细信息
来源: 评论
Automatic music composition using answer set programming
Automatic music composition using answer set programming
收藏 引用
24th international conference on logic programming (ICLP)
作者: 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 BA2 7AY Avon England
Music composition used to be a pen and paper activity. these days music is often composed with the aid of computer software, even to the point where the computer composes parts of the score autonomously. the compositi... 详细信息
来源: 评论
EP-SPARQL: A unified language for event processing and stream reasoning  11
EP-SPARQL: A unified language for event processing and strea...
收藏 引用
20th international conference on World Wide Web, WWW 2011
作者: Anicic, Darko Fodor, Paul Rudolph, Sebastian Stojanovic, Nenad FZI Research Center for Information Technology Karlsruhe Germany Stony Brook University Stony Brook NY United States Karlsruhe Institute of Technology Karlsruhe Germany
Streams of events appear increasingly today in various Web applications such as blogs, feeds, sensor data streams, geospatial information, on-line financial data, etc. Event Processing (EP) is concerned with timely de... 详细信息
来源: 评论
A Simple Abstraction for Complex Concurrent Indexes
A Simple Abstraction for Complex Concurrent Indexes
收藏 引用
2th ACM international conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)
作者: Pinto, Pedro da Rocha Dinsdale-Young, thomas Dodds, Mike Gardner, Philippa Wheelhouse, Mark Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England
Indexes are ubiquitous. Examples include associative arrays, dictionaries, maps and hashes used in applications such as databases, file systems and dynamic languages. Abstractly, a sequential index can be viewed as a ... 详细信息
来源: 评论