咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是781-790 订阅
排序:
A Logic-Based System for e-Tourism
收藏 引用
FUNDAMENTA INFORMATICAE 2010年 第1-2期105卷 35-55页
作者: Ricca, Francesco Dimasi, Antonella Grasso, Giovanni Ielpa, Salvatore Maria Iiritano, Salvatore Manna, Marco Leone, Nicola Univ Calabria Dipartimento Matemat I-87036 Arcavacata Di Rende Italy Exeura Srl I-87036 Arcavacata Di Rende CS Italy
In this paper we present a successful application of logic programming for e-tourism: the iTravel system. The system exploits two technologies that are based on the state-of-the-art computational logic system DLV: (i)... 详细信息
来源: 评论
Disjunctive ASP with functions: Decidable queries and effective computation
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2010年 第4-6期10卷 497-512页
作者: Alviano, Mario Faber, Wolfgang Leone, Nicola Univ Calabria Dept Math I-87036 Arcavacata Di Rende CS Italy
Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASP(f... 详细信息
来源: 评论
Weight constraint programs with evaluable functions
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2010年 第3-4期60卷 341-380页
作者: Wang, Yisong You, Jia-Huai Lin, Fangzhen Yuan, Li Yan Zhang, Mingyi Guizhou Univ Dept Comp Sci Guiyang 550003 Peoples R China Univ Alberta Dept Comp Sci Edmonton AB Canada Hong Kong Univ Sci & Technol Dept Comp Sci & Engn Kowloon Hong Kong Peoples R China Guizhou Acad Sci Guiyang Peoples R China
In the current practice of answer set programming (ASP), evaluable functions are represented as special kinds of relations. This often makes the resulting program unnecessarily large when instantiated over a large dom... 详细信息
来源: 评论
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling
收藏 引用
COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2010年 第2期36卷 158-202页
作者: Pontelli, Enrico Le, Hung Viet Son, Tran Cao New Mexico State Univ Dept Comp Sci MSC CS Las Cruces NM 88003 USA
answer set programming (ASP) is a novel logic programming paradigm, that has already had a profound impact in several application domains, especially in the areas of knowledge representation and reasoning. In spite of... 详细信息
来源: 评论
Using ASP for knowledge management with user authorization
收藏 引用
DATA & KNOWLEDGE ENGINEERING 2010年 第8期69卷 737-762页
作者: Zhao, Lingzhong Qian, Junyan Chang, Liang Cai, Guoyong Guilin Univ Elect Technol Sch Comp & Control Guilin 541004 Peoples R China Wuhan Univ State Key Lab Software Engn Wuhan 430072 Peoples R China
Unlike conventional rule based knowledge bases (KBs) that support monotonic reasoning, a key correctness issue, i.e. the correctness of a sub-KB with respect to the full KB, arises when using a KB represented by non-m... 详细信息
来源: 评论
Extending and Implementing RASP
收藏 引用
FUNDAMENTA INFORMATICAE 2010年 第1-2期105卷 1-33页
作者: Costantini, Stefania Formisano, Andrea Petturiti, Davide Univ Aquila Dipartimento Informat I-67010 Laquila Italy Univ Perugia Dipartimento Matemat & Informat I-06123 Perugia Italy
In previous work we have proposed an extension to ASP (answer set programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and consumption of (amounts of) resources... 详细信息
来源: 评论
answer set programming based on propositional satisfiability
Answer set programming based on propositional satisfiability
收藏 引用
20th Workshop on Empirically Successful Classical Automated Reasoning
作者: 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... 详细信息
来源: 评论
Towards closed world reasoning in dynamic open worlds
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2010年 第4-6期10卷 547-563页
作者: Slota, Martin Leite, Joao Univ Nova Lisboa CENTRIA P-2829516 Caparica Portugal Univ Nova Lisboa Dept Informat P-2829516 Caparica Portugal
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantic... 详细信息
来源: 评论
Testing and debugging techniques for answer set solver development
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2010年 第4-6期10卷 741-758页
作者: Brummayer, Robert Jarvisalo, Matti Johannes Kepler Univ Linz Inst Formal Models & Verificat Linz Austria Univ Helsinki Dept Comp Sci FIN-00014 Helsinki Finland
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as un... 详细信息
来源: 评论
A translational approach to constraint answer set solving
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2010年 第4-6期10卷 465-480页
作者: Drescher, Christian Walsh, Toby Vienna Univ Technol Vienna Austria Univ New S Wales Sydney NSW 2052 Australia Univ Nova Lisboa Lisbon Portugal
We present a new approach to enhancing answer set programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ASP. We show how constraints on finite... 详细信息
来源: 评论