咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是391-400 订阅
排序:
Boosting answer set Optimization with Weighted Comparator Networks
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第4期20卷 512-551页
作者: Bomanson, Jori Janhunen, Tomi Aalto Univ Dept Comp Sci FI-00076 Aalto Finland Tampere Univ Informat Technol & Commun Sci FI-33014 Tampere Finland
answer set programming (ASP) is a paradigm for modeling knowledge-intensive domains and solving challenging reasoning problems. In ASP solving, a typical strategy is to preprocess problem instances by rewriting comple... 详细信息
来源: 评论
New models for generating hard random boolean formulas and disjunctive logic programs
收藏 引用
ARTIFICIAL INTELLIGENCE 2020年 279卷
作者: Amendola, Giovanni Ricca, Francesco Truszczynski, Miroslaw Univ Calabria Dept Math & Comp Sci Commenda Di Rende Italy Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
We propose two models of random quantified boolean formulas and their natural random disjunctive logic program counterparts. The models extend the standard models of random k-CNF formulas and the Chen-Interian model o... 详细信息
来源: 评论
The External Interface for Extending WASP
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第2期20卷 225-248页
作者: Dodaro, Carmine Ricca, Francesco Univ Genoa DIBRIS Genoa Italy Univ Calabria DEMACS Arcavacata Di Rende Italy
answer set programming (ASP) is a successful declarative formalism for knowledge representation and reasoning. The evaluation of ASP programs is nowadays based on the conflict-driven clause learning (CDCL) backtrackin... 详细信息
来源: 评论
Structural constraints for dynamic operators in abstract argumentation
收藏 引用
ARGUMENT & COMPUTATION 2020年 第1-2期11卷 151-190页
作者: Wallner, Johannes P. TU Wien Inst Log & Computat Vienna Austria
Many recent studies of dynamics in formal argumentation within AI focus on the well-known formalism of Dung's argumentation frameworks (AFs). Despite the usefulness of AFs in many areas of argumentation, their abs... 详细信息
来源: 评论
Possible worlds explorer: Combining declarative programming with user-friendly Jupyter Notebooks
Possible worlds explorer: Combining declarative programming ...
收藏 引用
作者: Gupta, Sahil University of Illinois – Urbana-Champaign
学位级别:硕士
Datalog and answer set programming (ASP) are powerful languages for rule-based database querying and constraint solving, respectively. Similarly, Python is a popular and powerful procedural programming language with a... 详细信息
来源: 评论
Scheduling outpatient day service operations for rheumatology diseases
收藏 引用
FLEXIBLE SERVICES AND MANUFACTURING JOURNAL 2020年 第1期32卷 102-128页
作者: Guido, Rosita Ielpa, Giuseppe Conforti, Domenico Univ Calabria Dept Mech Management Engn Via Pietro Bucci I-87036 Arcavacata Di Rende CS Italy Univ Calabria Dept Math Comp Sci Via Pietro Bucci Arcavacata Di Rende CS Italy Univ Calabria Dept Mech Energy & Management Engn Via Pietro Bucci I-87036 Arcavacata Di Rende CS Italy Univ Calabria Dept Math & Comp Sci Via Pietro Bucci Arcavacata Di Rende CS Italy
Appointment scheduling systems represent a method to manage patient waiting lists effectively. This work advances an innovative quantitative approach for the outpatient appointment scheduling problems, based on an opt... 详细信息
来源: 评论
A Model-Theoretic Approach to Belief Change in answer set programming
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2013年 第2期14卷 14-14页
作者: Delgrande, James Schaub, Torsten Tompits, Hans Woltran, Stefan Simon Fraser Univ Burnaby BC V5A 1S6 Canada Univ Potsdam D-14482 Potsdam Germany Vienna Univ Technol A-1040 Vienna Austria
We address the problem of belief change in (nonmonotonic) logic programming under answer set semantics. Our formal techniques are analogous to those of distance-based belief revision in propositional logic. In particu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Towards a Logic programming Tool for Cancer Data Analysis
Towards a Logic Programming Tool for Cancer Data Analysis
收藏 引用
Fundamenta Informaticae
作者: Tarzariol, Alice Zanazzo, Eugenia Dovier, Agostino Policriti, Alberto Dipartimento di Scienze Matematiche Informatiche e Fisiche Università Degli Studi di Udine Italy
The main goal of this work is to propose a tool-chain capable of analyzing a data collection of temporally qualified (genetic) mutation profiles, i.e., a collection of DNA-sequences (genes) that present variations wit... 详细信息
来源: 评论
Paracoherent answer set computation
收藏 引用
ARTIFICIAL INTELLIGENCE 2021年 299卷 103519-103519页
作者: Amendola, Giovanni Dodaro, Carmine Faber, Wolfgang Ricca, Francesco Univ Calabria Dept Math & Comp Sci Calabria Italy Univ Genoa Dept Informat Bioengn Robot & Syst Engn Genoa Italy Alpen Adria Univ Klagenfurt Dept Appl Informat Klagenfurt Austria Univ Huddersfield Sch Comp & Engn Huddersfield W Yorkshire England
answer set programming (ASP) is a well-established paradigm for declarative programming and nonmonotonic reasoning. ASP allows for flexible modeling using rules. ASP rules induce a set of intended models called answer... 详细信息
来源: 评论