咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是761-770 订阅
排序:
Symmetry-breaking answer set solving
收藏 引用
AI COMMUNICATIONS 2011年 第2期24卷 177-194页
作者: Drescher, Christian Tifrea, Oana Walsh, Toby NICTA Sydney NSW Australia Univ New S Wales Sydney NSW Australia Free Univ Bozen Bolzano Fac Comp Sci Bolzano Italy
We investigate the role of symmetry detection and symmetry breaking in answer set programming to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We reduce symmetry detection ... 详细信息
来源: 评论
Potassco: The Potsdam answer set Solving Collection
收藏 引用
AI COMMUNICATIONS 2011年 第2期24卷 107-124页
作者: Gebser, Martin Kaufmann, Benjamin Kaminski, Roland Ostrowski, Max Schaub, Torsten Schneider, Marius Univ Potsdam Potsdam Germany
This paper gives an overview of the open source project Potassco, the Potsdam answer set Solving Collection, bundling tools for answer set programming developed at the University of Potsdam.
来源: 评论
Knowledge-based multi-criteria optimization to support indoor positioning
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2011年 第3-4期62卷 345-370页
作者: Mileo, Alessandra Schaub, Torsten Merico, Davide Bisiani, Roberto Natl Univ Ireland Digital Enterprise Res Inst Galway Ireland Univ Potsdam Inst Informat D-14439 Potsdam Germany Univ Milano Bicocca NOMADIS Res Lab Dept Informat Syst & Commun I-20126 Milan Italy
Indoor position estimation constitutes a central task in home-based assisted living environments. Such environments often rely on a heterogeneous collection of low-cost sensors whose diversity and lack of precision ha... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Centurio, a General Game Player: Parallel, Java-and ASP-based
收藏 引用
KUNSTLICHE INTELLIGENZ 2011年 第1期25卷 17-24页
作者: Moeller, Maximilian Schneider, Marius Wegner, Martin Schaub, Torsten Univ Potsdam Inst Informat August Bebel Str 89 D-14482 Potsdam Germany
We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by techniques borrowed from Upper Confidence bounds applied... 详细信息
来源: 评论
Computing weighted solutions in ASP: representation-based method vs. search-based method
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2011年 第3-4期62卷 219-258页
作者: Cakmak, Duygu Erdem, Esra Erdogan, Halit Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey
For some problems with too many solutions, one way to obtain the more desirable solutions is to assign each solution a weight that characterizes its importance quantitatively, and then compute the solutions whose weig... 详细信息
来源: 评论
Abstract answer set solvers with backjumping and learning
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第2-3期11卷 135-169页
作者: Lierler, Yuliya Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
Nieuwenhuis et al. (2006. Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). Journal of the ACM 53(6), 937977 showed how to describe enhancements of the Davis-Pu... 详细信息
来源: 评论
Rapid Prototyping of OpenCV Image Processing Applications using ASP
Rapid Prototyping of OpenCV Image Processing Applications us...
收藏 引用
22nd IEEE International Symposium on Rapid System Prototyping (RSP)
作者: Muehlbauer, Felix Grosshans, Michael Bobda, Christophe Univ Potsdam Chair Comp Engn Potsdam Germany Univ Arkansas CSCE Fayetteville AR 72701 USA
Image processing is becoming more and more present in our everyday life. With the requirements of miniaturization, low-power, performance in order to provide some intelligent processing directly into the camera, embed... 详细信息
来源: 评论
Reasoning support for risk prediction and prevention in independent living
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第2-3期11卷 361-395页
作者: Mileo, A. Merico, D. Bisiani, R. Univ Milano Bicocca NOMADIS Res Lab Dept Informat Syst & Commun I-20126 Milan Italy
In recent years there has been a growing interest in solutions for the delivery of clinical care for the elderly because of the large increase in aging population. Monitoring a patient in his home environment is neces... 详细信息
来源: 评论
Distributed Deadlock Handling for Resource Allocation in Smart Spaces
Distributed Deadlock Handling for Resource Allocation in Sma...
收藏 引用
11th Next Generation Teletraffic and Wired/Wireless Advanced Networking (NEW2AN) / 4th Conference on Smart Spaces (ruSMART)
作者: Aziz, Rehan Abdul Janhunen, Tomi Luukkala, Vesa Aalto Univ Sch Sci Dept Informat & Comp Sci Aalto Finland Nokia Res Ctr Sunnyvale CA USA
In a ubiquitous system, there are several interacting computational objects which use each others' resources. As the number of resources and their consumers grow in such systems, the delay that the consumers exper... 详细信息
来源: 评论