咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 826 篇 工学
    • 792 篇 计算机科学与技术...
    • 401 篇 软件工程
    • 59 篇 电气工程
    • 26 篇 信息与通信工程
    • 25 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 409 篇 理学
    • 390 篇 数学
    • 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 篇 应用经济学

主题

  • 874 篇 answer set progr...
  • 78 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 25 篇 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
  • 44 篇 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 篇 英文
  • 20 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
874 条 记 录,以下是541-550 订阅
排序:
Strong order equivalence
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第1-2期47卷 43-78页
作者: Faber, Wolfgang Konczak, Kathrin Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy Univ Potsdam Inst Informat D-14439 Potsdam Germany
Recently, strong equivalence for answer set programming has been studied intensively, and was shown to be beneficial for modular programming and automated optimization. In this paper we define the novel notion of stro... 详细信息
来源: 评论
Enhancing the scalability of expressive stream reasoning via input-driven parallelization
收藏 引用
SEMANTIC WEB 2019年 第3期10卷 457-474页
作者: Pham, Thu-Le Ali, Muhammad Intizar Mileo, Alessandra Natl Univ Ireland Insight Ctr Data Anal IDA Bussiness Pk Galway Ireland Dublin City Univ Insight Ctr Data Analyt Dublin 9 Ireland
Stream reasoning is an emerging research area focused on providing continuous reasoning solutions for data streams. The exponential growth in the availability of streaming data on the Web has seriously hindered the ap... 详细信息
来源: 评论
Argonauts: a working system for motivated cooperative agents
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2011年 第4期61卷 309-332页
作者: Hoelzgen, Daniel Vengels, Thomas Kruempelmann, Patrick Thimm, Matthias Kern-Isberner, Gabriele Tech Univ Dortmund Informat Engn Grp Dept Comp Sci Dortmund Germany
This paper presents the Argonauts multi-agent framework which was developed as part of a one year student project at Technische Universitat Dortmund. The Argonauts framework builds on a BDI approach to model rational ... 详细信息
来源: 评论
Equilibrium logic
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第1-2期47卷 3-41页
作者: Pearce, David Univ Rey Juan Carlos Madrid Spain
Equilibrium logic is a general purpose nonmonotonic reasoning formalism closely aligned with answer set programming (ASP). In particular it provides a logical foundation for ASP as well as an extension of the basic sy... 详细信息
来源: 评论
The PENGASP system: architecture, language and authoring tool
收藏 引用
LANGUAGE RESOURCES AND EVALUATION 2017年 第1期51卷 67-92页
作者: Guy, Stephen C. Schwitter, Rolf Macquarie Univ Dept Comp Sydney NSW 2109 Australia
In this article, we describe the architecture, the language and the authoring tool of the PENG(ASP) system. This system supports the writing of non-monotonic specifications in controlled natural language with the help... 详细信息
来源: 评论
Multi-engine ASP solving with policy adaptation
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2015年 第6期25卷 1285-1306页
作者: Maratea, Marco Pulina, Luca Ricca, Francesco Univ Genoa DIBRIS I-16145 Genoa Italy Univ Sassari POLCOMING I-07100 Sassari Italy Univ Calabria Dip Matemat & Informat I-87036 Arcavacata Di Rende Italy
The recent application of Machine Learning techniques to the answer set programming (ASP) field proved to be effective. In particular, the multi-engine ASP solver ME-ASP is efficient: it is able to solve more instance... 详细信息
来源: 评论
AppMonitor: restricting information leakage to third-party applications
收藏 引用
SOCIAL NETWORK ANALYSIS AND MINING 2020年 第1期10卷 1-20页
作者: Rathore, Nemi Chandra Tripathy, Somanath Indian Inst Technol Dept Comp Sci & Engn Patna Bihar India CUSB Gaya Bihar India
Nowadays, the popularity of online social networks (OSNs) has been increased tremendously. Meanwhile, a wide range of third-party applications (TPAs) facilitated by OSNs has made a significant contribution to their po... 详细信息
来源: 评论
Formalizing Negotiations Using Logic programming
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2014年 第2期15卷 12-12页
作者: Son, Tran Cao Pontelli, Enrico Ngoc-Hieu Nguyen Sakama, Chiaki New Mexico State Univ MSC CS Dept Comp Sci Las Cruces NM 88003 USA Vinh Univ Dept Comp Sci Vinh City Vietnam Wakayama Univ Dept Comp & Commun Sci Wakayama 6408510 Japan
The article introduces a logical framework for negotiation among dishonest agents. The framework relies on the use of abductive logic programming as a knowledge representation language for agents to deal with incomple... 详细信息
来源: 评论
Applications of ASP in Robotics
收藏 引用
KUNSTLICHE INTELLIGENZ 2018年 第2-3期32卷 143-149页
作者: Erdem, Esra Patoglu, Volkan Sabanci Univ TR-34956 Istanbul Turkey
We discuss applications of ASP in robotic planning, considering (1) full observability and complete knowledge and (2) with incomplete knowledge and partial observability. We emphasize the strengths of ASP as a useful ... 详细信息
来源: 评论
An ASP Implementation of Defeasible Deontic Logic
收藏 引用
KUNSTLICHE INTELLIGENZ 2024年 第1-2期38卷 79-88页
作者: Governatori, Guido Charles Sturt Univ Artificial Intelligence & Cyber Futures Inst Bathurst NSW Australia
We present a novel implementation of Defeasible Deontic Logic as an answer set programming meta-program, and we evaluate the performance of the implementation against a recent set of benchmarks.
来源: 评论