咨询与建议

限定检索结果

文献类型

  • 511 篇 期刊文献
  • 350 篇 会议
  • 11 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 824 篇 工学
    • 790 篇 计算机科学与技术...
    • 400 篇 软件工程
    • 57 篇 电气工程
    • 24 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 407 篇 理学
    • 388 篇 数学
    • 11 篇 生物学
    • 9 篇 统计学(可授理学、...
    • 5 篇 科学技术史(分学科...
    • 2 篇 物理学
    • 2 篇 地球物理学
    • 2 篇 系统科学
    • 1 篇 地理学
  • 27 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 2 篇 公共管理
    • 2 篇 图书情报与档案管...
  • 14 篇 哲学
    • 8 篇 哲学
  • 10 篇 法学
    • 9 篇 法学
    • 1 篇 社会学
  • 7 篇 医学
    • 3 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 5 篇 教育学
    • 4 篇 教育学
    • 2 篇 心理学(可授教育学...
  • 4 篇 农学
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 872 篇 answer set progr...
  • 78 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 24 篇 inductive logic ...
  • 23 篇 non-monotonic re...
  • 21 篇 stable models
  • 19 篇 stable model sem...
  • 17 篇 stream reasoning
  • 16 篇 aggregates
  • 16 篇 computational co...
  • 15 篇 strong equivalen...
  • 12 篇 theory
  • 11 篇 description logi...
  • 11 篇 forgetting
  • 11 篇 semantic web
  • 11 篇 machine learning

机构

  • 35 篇 univ potsdam pot...
  • 19 篇 univ calabria ar...
  • 17 篇 univ calabria de...
  • 15 篇 sabanci univ fac...
  • 14 篇 univ genoa dibri...
  • 14 篇 univ calabria de...
  • 12 篇 univ a coruna la...
  • 12 篇 univ genoa genoa
  • 11 篇 univ politecn ma...
  • 11 篇 texas tech univ ...
  • 11 篇 vienna univ tech...
  • 11 篇 vrije univ bruss...
  • 11 篇 new mexico state...
  • 10 篇 tu wien austria
  • 10 篇 univ calabria de...
  • 10 篇 vienna univ tech...
  • 10 篇 univ klagenfurt ...
  • 10 篇 univ texas austi...
  • 8 篇 macquarie univ d...
  • 8 篇 univ calabria co...

作者

  • 49 篇 schaub torsten
  • 44 篇 alviano mario
  • 43 篇 ricca francesco
  • 36 篇 dodaro carmine
  • 35 篇 cabalar pedro
  • 32 篇 eiter thomas
  • 29 篇 maratea marco
  • 28 篇 leone nicola
  • 28 篇 gebser martin
  • 27 篇 calimeri frances...
  • 24 篇 fandinno jorge
  • 23 篇 erdem esra
  • 22 篇 ianni giovambatt...
  • 20 篇 lifschitz vladim...
  • 20 篇 gupta gopal
  • 19 篇 zangari jessica
  • 19 篇 perri simona
  • 18 篇 balduccini marce...
  • 18 篇 lierler yuliya
  • 18 篇 faber wolfgang

语言

  • 849 篇 英文
  • 18 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
872 条 记 录,以下是661-670 订阅
排序:
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
Optimal Scheduling for Exposed Datapath Architectures with B...
收藏 引用
34th International Conference on Logic programming (ICLP)
作者: Dahlem, Marc Bhagyanath, Anoop Schneider, Klaus Insiders Technol GmbH Kaiserslautern Germany Univ Kaiserslautern Dept Comp Sci Kaiserslautern Germany
Conventional processor architectures are restricted in exploiting instruction level parallelism (ILP) due to the relatively low number of programmer-visible registers. Therefore, more recent processor architectures ex... 详细信息
来源: 评论
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs  26th
Automated Interactive Domain-Specific Conversational Agents ...
收藏 引用
26th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Zeng, Yankai Rajasekharan, Abhiramon Padalkar, Parth Basu, Kinjal Arias, Joaquin Gupta, Gopal Univ Texas Dallas Richardson TX 75080 USA IBM TJ Watson Res Ctr Yorktown Hts NY USA Univ Rey Juan Carlos CETINIA Madrid Spain
We present the AutoConcierge system that can "understand" human dialogs in a specific domain, namely, restaurant recommendation. AutoConcierge will interactively "understand" a user's utterance... 详细信息
来源: 评论
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach
Finding optimal plans for multiple teams of robots through a...
收藏 引用
29th International Conference on Logic programming ICLP
作者: Erdem, Esra Patoglu, Volkan Saribatur, Zeynep G. Schuller, Peter Uras, Tansel Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey Univ So Calif Dept Comp Sci Los Angeles CA 90089 USA
We study the problem of finding optimal plans for multiple teams of robots through a mediator, where each team is given a task to complete in its workspace on its own and where teams are allowed to transfer robots bet... 详细信息
来源: 评论
answer set general theories and preferences
收藏 引用
5th Mexican International Conference on Artificial Intelligence (MICAI 2006)
作者: Osorio, Mauricio Zepeda, Claudia Univ Americas Puebla CENTIA Sta Catarina Martir Cholula 72820 Mexico Univ Tecnologica Mixteca Div Estudios Posgrado Oaxaca 69000 Mexico
In this paper we introduce preference rules which allow us to specify preferences as an ordering among the possible solutions of a problem. Our approach allow us to express preferences for general theories. The formal... 详细信息
来源: 评论
Tight Integration of Rule-Based Tools in Game Development  18th
Tight Integration of Rule-Based Tools in Game Development
收藏 引用
18th International Conference of the Italian-Association-for-Artificial-Intelligence (AIIA)
作者: Angilica, Denise Ianni, Giovambattista Pacenza, Francesco Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
In the wider perspective of narrowing down some of the gaps that prevent the adoption of declarative logic programming within highly dynamically changing environments, we focus in this paper on the context of integrat... 详细信息
来源: 评论
Reasoning for Autonomous Agents in Dynamic Domains  9
Reasoning for Autonomous Agents in Dynamic Domains
收藏 引用
9th International Conference on Agents and Artificial Intelligence (ICAART)
作者: Opfer, Stephan Jakob, Stefan Geihs, Kurt Univ Kassel Distributed Syst Res Grp Wilhelmshoher Allee 73 Kassel Germany
In contrast to simple autonomous vacuum cleaners, multi-purpose robots that fetch a cup of coffee and clean up rooms require cognitive skills such as learning, planning, and reasoning. Especially reasoning in dynamic ... 详细信息
来源: 评论
ESmodels: An Inference Engine of Epistemic Specifications
ESmodels: An Inference Engine of Epistemic Specifications
收藏 引用
25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Zhang, Zhizheng Zhao, Kaikai Cui, Rongcun Southeast Univ Sch Comp Sci & Engn Nanjing Jiangsu Peoples R China
Epistemic specification (ES for short) is an extension of answer set programming (ASP for short). The extension is built around the introduction of modalities K and M, and then is capable of representing incomplete in... 详细信息
来源: 评论
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events  24
Towards Effective ASP-based Stream Reasoning: Facilitate the...
收藏 引用
26th International Conference on Principles and Practice of Declarative programming (PPDP)
作者: Laboccetta, Luca Mastria, Elena Calimeri, Francesco Leone, Nicola Perri, Simona Terracina, Giorgio Univ Calabria Arcavacata Di Rende Italy DLVSystem Srl Arcavacata Di Rende Italy
In the latest years, Stream Reasoning (SR) has become increasingly relevant in various scenarios where it is required to reason over heterogeneous and highly dynamic data streams, typically along with large background... 详细信息
来源: 评论
Generating Game Levels to Develop Computer Science Competencies in Game-Based Learning Environments  21st
Generating Game Levels to Develop Computer Science Competenc...
收藏 引用
21st International Conference on Artificial Intelligence in Education (AIED)
作者: Park, Kyungjin Mott, Bradford Min, Wookhee Wiebe, Eric Boyer, Kristy Elizabeth Lester, James North Carolina State Univ Raleigh NC 27606 USA Univ Florida Gainesville FL 32601 USA
Game-based learning environments hold significant potential for supporting K-12 computer science (CS) education by providing CS learning experiences embedded within engaging virtual worlds. However, many gamebased lea... 详细信息
来源: 评论
A declarative approach to distributed computing: Specification, execution and analysis
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2013年 第4-5期13卷 815-830页
作者: Ma, Jiefei Le, Franck Wood, David Russo, Alessandra Lobo, Jorge Imperial Coll London London England IBM Corp Waston Lab Armonk NY 10504 USA ICREA Univ Pompeu Fabra Barcelona Spain
There is an increasing interest in using logic programming to specify and implement distributed algorithms, including a variety of network applications. These are applications where data and computation are distribute... 详细信息
来源: 评论