咨询与建议

限定检索结果

文献类型

  • 6,085 篇 会议
  • 2,197 篇 期刊文献
  • 109 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,406 篇 电子文献
  • 7 种 纸本馆藏

日期分布

学科分类号

  • 5,730 篇 工学
    • 5,323 篇 计算机科学与技术...
    • 3,516 篇 软件工程
    • 568 篇 电气工程
    • 303 篇 控制科学与工程
    • 170 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,423 篇 理学
    • 1,256 篇 数学
    • 118 篇 统计学(可授理学、...
    • 78 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 37 篇 农学
    • 25 篇 作物学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,410 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 304 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 53 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,028 篇 英文
  • 322 篇 其他
  • 41 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8410 条 记 录,以下是4671-4680 订阅
排序:
RoleModel: Towards a formal model of dramatic roles for story generation  10
RoleModel: Towards a formal model of dramatic roles for stor...
收藏 引用
Intelligent Narrative Technologies III Workshop, INT3 '10
作者: Chen, Sherol Smith, Adam M. Jhala, Arnav Wardrip-Fruin, Noah Mateas, Michael Expressive Intelligence Studio University of California Santa Cruz Santa Cruz CA United States
RoleModel is a novel story generator organized around explicit formal models of character roles. RoleModel expands the expressiveness of stories generated from arbitrary partial domain specification by using a formal ... 详细信息
来源: 评论
Ε-RES: Reasoning about actions, events and observations
收藏 引用
6th International Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2001
作者: Kakas, Antonis Miller, Rob Toni, Francesca Department of Computer Science University of Cyprus Cyprus School of Library Archive and Information Studies University College London United Kingdom Department of Computing Imperial College of Science Technology and Medicine London United Kingdom
The language Ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from a... 详细信息
来源: 评论
Adaptation and Anxiety Assessment in Undergraduate Nursing Students  1
收藏 引用
21st International Conference on Intelligent Data Engineering and Automated Learning
作者: Costa, Ana Candeias, Analisa Ribeiro, Celia Rodrigues, Herlander Mesquita, Jorge Caldas, Luis Araujo, Beatriz Araujo, Isabel Vicente, Henrique Ribeiro, Jorge Neves, Jose Hosp Senhora Oliveira Guimariles Portugal Univ Minho Escola Super Enfermagem Braga Portugal Hosp Misericordia Vila Verde Portugal Ctr Hosp Setubal Setubal Portugal Univ Catolica Portuguesa Ctr Invest Interdisciplinar Saude Lisbon Portugal Inst Univ Ciencias Satide CESPU Famalicao Portugal Univ Evora Dept Quim Evora Portugal REQUIMTE LAQVEscola Ciencias & Tecnol Evora Portugal Univ Minho Ctr Algoritmi Braga Portugal Inst Politecn Viana Castelo Rua Escola Ind & Comercial Nun Alvares P-4900347 Viana Do Castelo Portugal
The experiences and feelings in a first phase of transition from undergraduate to graduate courses may lead to some kind of anxiety, depression, malaise or loneliness that are not easily overwhelmed, no doubt the educ... 详细信息
来源: 评论
Implementing rule-based monitors within a framework for continuous requirements monitoring
Implementing rule-based monitors within a framework for cont...
收藏 引用
38th Annual Hawaii International Conference on System Sciences, HICSS 2005
作者: Robinson, William N.
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requirements documents and Business Activity Mo... 详细信息
来源: 评论
Solving goal recognition design using aSP  30
Solving goal recognition design using aSP
收藏 引用
30th AAAI Conference on Artificial Intelligence, AAAI 2016
作者: Son, Tran Cao Sabuncu, Orkunt Schulz-Hanke, Christian Schaub, Torsten Yeoh, William New Mexico State University Las CrucesNM United States University of Potsdam Germany INRIA Rennes France
Goal Recognition Design involves identifying the best ways to modify an underlying environment that agents operate in, typically by making a subset of feasible actions infeasible, so that agents are forced to reveal t... 详细信息
来源: 评论
Paraconsistency of argumentation semantics for stepping theories of active logic  1
收藏 引用
1st International Scientific Conference on Intelligent Information Technologies for Industry, IITI 2016
作者: Fominykh, Igor Vinkov, Michael Moscow Power Engineering Institute Moscow Russia Bauman Moscow State Technical University Moscow Russia
Active logic is a conceptual system, the principles of which are satisfied by the formalism of reasoning, enabling them to correlate the results with the timing and which are tolerant to inconsistencies. However, tole... 详细信息
来源: 评论
Reflection and preservation of properties in coalgebraic (bi)simulations
Reflection and preservation of properties in coalgebraic (bi...
收藏 引用
4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007
作者: Fábregas, Ignacio Palomino, Miguel De Frutos Escrig, David Departamento de Sistemas Informáticos y Computación UCM
Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. T... 详细信息
来源: 评论
Alternative transformation rule for logic programs
Alternative transformation rule for logic programs
收藏 引用
Proceedings of the 1995 ACM Symposium on Applied Computing
作者: Wasserman, Howard C. Yukawa, Keitaro Shen, Zhizhang
A transformation rule for the class of normal programs is proposed. When applied to the non-trivial class of existential-free programs, the transformation leads to an observationally equivalent correspondent with mini... 详细信息
来源: 评论
Real time complex event detection for resource-limited multimedia sensor networks
Real time complex event detection for resource-limited multi...
收藏 引用
2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2011
作者: Al Machot, Fadi Kyamakya, Kyandoghere Dieber, Bernhard Rinner, Bernhard Institute of Smart System Technologies Klagenfurt University Austria Institute of Networked and Embedded Systems Klagenfurt University Austria
This paper presents a real-time complex event detection concept for resource-limited multimedia sensor networks. A comprehensive solution based on Answer Set programming (ASP) is developed. We show that ASP is an appr... 详细信息
来源: 评论
ASP solving for expanding universes  13th
收藏 引用
13th International Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Gebser, Martin Janhunen, Tomi Jost, Holger Kaminski, Roland Schaub, Torsten Aalto University HIIT Espoo Finland INRIA Rennes Rennes France University of Potsdam Potsdam Germany
Over the last years, Answer Set programming has significantly extended its range of applicability, and moved beyond solving static problems to dynamic ones, even in online environments. However, its nonmonotonic natur... 详细信息
来源: 评论