咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
Iterative Learning of answer set Programs from Context Dependent Examples
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 834-848页
作者: Law, Mark Russo, Alessandra Broda, Krysia Imperial Coll Dept Comp London SW7 2AZ England
In recent years, several frameworks and systems have been proposed that extend Inductive Logic programming (ILP) to the answer set programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis tog... 详细信息
来源: 评论
Specifying and Verbalising answer set Programs in Controlled Natural Language
Specifying and Verbalising Answer Set Programs in Controlled...
收藏 引用
34th International Conference on Logic programming (ICLP)
作者: Schwitter, Rolf Macquarie Univ Dept Comp Sydney NSW 2109 Australia
We show how a bi-directional grammar can be used to specify and verbalise answer set programs in controlled natural language. We start from a program specification in controlled natural language and translate this spe... 详细信息
来源: 评论
Logic-Based Encodings for Ricochet Robots  18th
Logic-Based Encodings for Ricochet Robots
收藏 引用
18th EPIA Conference on Artificial Intelligence (EPIA)
作者: Gouveia, Filipe Monteiro, Pedro T. Manquinho, Vasco Lynce, Ines Univ Lisbon Inst Super Tecn INESC ID Lisbon Portugal
Studying the performance of logic tools on solving a specific problem can bring new insights on the use of different paradigms. This paper provides an empirical evaluation of logic-based encodings for a well known boa... 详细信息
来源: 评论
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
A Physician Advisory System for Chronic Heart Failure manage...
收藏 引用
32nd International Conference on Logic programming (ICLP)
作者: Chen, Zhuo Marple, Kyle Salazar, Elmer Gupta, Gopal Tamil, Lakshman Univ Texas Dallas Richardson TX 75083 USA
Management of chronic diseases such as chronic heart failure (CHF) is a major problem in health care. A standard approach followed by the medical community is to have a committee of experts develop guidelines that all... 详细信息
来源: 评论
An ordered logic program solver
收藏 引用
7th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Van Nieuwenborgh, D Heymans, S Vermeir, D Free Univ Brussels Dept Comp Sci B-1050 Brussels Belgium
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended answer sets of a simple program using... 详细信息
来源: 评论
Automating Cybersecurity Compliance in DevSecOps with Open Information Model for Security as Code  24
Automating Cybersecurity Compliance in DevSecOps with Open I...
收藏 引用
4th Eclipse Security, AI, Architecture and Modelling Conference on Data Spaces (eSAAM)
作者: Haverinen, Henry Janhunen, Tomi Paivarinta, Tero Lempinen, Sami Kaartinen, Suvi Merila, Sami Cyberismo Tampere Finland Tampere Univ Tampere Finland Univ Oulu Oulu Finland
Software development teams meet increasing requirements to implement cybersecurity management in compliance with standards and regulations. However, adopting a compliant cybersecurity management system and DevSecOps p... 详细信息
来源: 评论
Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers
收藏 引用
16th International Conference of the Catalan-Association-of-Artificial-Intelligence (CCIA)
作者: Bejar, Ramon Fernandez, Cesar Mateu, Carles Guitart, Francesc Univ Lleida Dept Comp Sci Lleida Spain
The Routing and Wavelength Assignment (RWA) problem is an optical networking problem aiming to improve data transmission by eliminating optoelectronic conversions through the network. RWA problem is in the set of NP-c... 详细信息
来源: 评论
Thirteen Definitions of a Stable Model
Thirteen Definitions of a Stable Model
收藏 引用
YuriFest: Symposium on Logic in Computer Science
作者: Lifschitz, Vladimir Univ Texas Austin Dept Comp Sci Austin TX 78712 USA
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the definitions of the concept of a stable ... 详细信息
来源: 评论
User-Guided Machine Understanding of Legal Documents  13th
User-Guided Machine Understanding of Legal Documents
收藏 引用
International Symposium on Artificial Intelligence (ISAI)
作者: Purnell, Kevin Schwitter, Rolf Macquarie Univ Sch Comp Sydney NSW Australia
We present a novel approach to gaining a machine understanding of a legal document and then modelling the logic of that document in an integrated process. This paper describes a smart editor that uses a declarative la... 详细信息
来源: 评论
Iterative Learning of answer set Programs from Context Dependent Examples
Iterative Learning of Answer Set Programs from Context Depen...
收藏 引用
32nd International Conference on Logic programming (ICLP)
作者: Law, Mark Russo, Alessandra Broda, Krysia Imperial Coll Dept Comp London SW7 2AZ England
In recent years, several frameworks and systems have been proposed that extend Inductive Logic programming (ILP) to the answer set programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis tog... 详细信息
来源: 评论