咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是771-780 订阅
排序:
Abstract answer set solvers with backjumping and learning
Abstract answer set solvers with backjumping and learning
收藏 引用
24th International Conference on Logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
Reasoning support for risk prediction and prevention in independent living
Reasoning support for risk prediction and prevention in inde...
收藏 引用
24th International Conference on Logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
Rule-Based Complex Event Processing for Food Safety and Public Health
Rule-Based Complex Event Processing for Food Safety and Publ...
收藏 引用
5th International Symposium on Rules: Research Based and Industry Focused (RuleML 2011)
作者: Nogueira, Monica L. Greis, Noel P. Univ N Carolina Ctr Logist & Digital Strategy Kenan Flagler Business Sch Kenan Ctr CB 3440 Chapel Hill NC 27599 USA
The challenge for public health officials is to detect an emerging foodborne disease outbreak from a large set of simple and isolated, domain-specific events. These events can be extracted from a large number of disti... 详细信息
来源: 评论
A long tour from theory to practice
收藏 引用
INTELLIGENZA ARTIFICIALE 2011年 第1期5卷 133-138页
作者: Greco, Sergio Leone, Nicola Palopoli, Luigi Rullo, Pasquale Sacca, Domenico Univ Calabria DEIS Reude Italy Univ Calabria Dip Matemat Reude Italy
In this paper, we describe the research lines in logic programming, carried out in Cosenza over a period of more than twenty years, which have recently produced promising industrial exploitation follow-ups. The resear... 详细信息
来源: 评论
Dynamic scheduling in parallel answer set programming solvers  07
Dynamic scheduling in parallel answer set programming solver...
收藏 引用
Proceedings of the 2007 spring simulation multiconference - Volume 2
作者: Hung Viet Le Enrico Pontelli New Mexico State University
The paper describes an experimental analysis of dynamic scheduling strategies for a novel logic programming paradigm---answer set programming. The work identifies a collection of policies to classify variations of cen... 详细信息
来源: 评论
On the decidability of FDNC programs
收藏 引用
INTELLIGENZA ARTIFICIALE 2011年 第1期5卷 89-93页
作者: Bonatti, Piero A. Univ Naples Federico II Dept Phys Via Cinthia I-80126 Naples Italy
We provide a new decidability proof for the consistency of FDNC programs under the stable model semantics, based on regular splitting sequences. With this technique, we can slightly relax the definition of FDNC progra... 详细信息
来源: 评论
answer set programming and combinatorial multicriteria decision making
收藏 引用
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS 2006年 第4期14卷 393-420页
作者: Grabos, Rafal Univ Leipzig Dept Comp Sci D-04109 Leipzig Germany
The majority of approaches to multicriteria optimization are based on quantitative representations of preferences of a decision maker, in which numerical procedures of multicriteria analysis are used for aggregation p... 详细信息
来源: 评论
answer set programming based on propositional satisfiability
收藏 引用
JOURNAL OF AUTOMATED REASONING 2006年 第4期36卷 345-377页
作者: Giunchiglia, Enrico Lierler, Yuliya Maratea, Marco Univ Genoa DIST STAR Lab I-16145 Genoa Italy Univ Erlangen Nurnberg Inst Informat Erlangen Germany Univ Calabria Dept Math I-87036 Arcavacata Di Rende CS Italy
answer set programming ( ASP) emerged in the late 1990s as a new logic programming paradigm that has been successfully applied in various application domains. Also motivated by the availability of efficient solvers fo... 详细信息
来源: 评论
A semantical framework for hybrid knowledge bases
收藏 引用
KNOWLEDGE AND INFORMATION SYSTEMS 2010年 第1期25卷 81-104页
作者: de Bruijn, Jos Pearce, David Polleres, Axel Valverde, Agustin Natl Univ Ireland DERI Galway Galway Ireland Vienna Univ Technol A-1040 Vienna Austria Univ Politecn Madrid Madrid Spain Univ Malaga E-29071 Malaga Spain
In the ongoing discussion about combining rules and ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. Whereas several modular approaches t... 详细信息
来源: 评论
Reconciling Description Logics and Rules
收藏 引用
JOURNAL OF THE ACM 2010年 第5期57卷 30-30.62页
作者: Motik, Boris Rosati, Riccardo Univ Oxford Comp Lab Oxford OX1 3QD England Univ Roma La Sapienza Dipartimento Informat & Sistemist I-00185 Rome Italy
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonm... 详细信息
来源: 评论