咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是591-600 订阅
排序:
Reasoning about actions with Temporal answer sets
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2013年 第02期13卷 201-225页
作者: Giordano, Laura Martelli, Alberto Dupre, Daniele Theseider Univ Piemonte Orientale Dipartimento Informat Alessandria Italy Univ Turin Dipartimento Informat I-10149 Turin Italy
In this paper, we combine answer set programming (ASP) with Dynamic Linear Time Temporal Logic (DLTL) to define a temporal logic programming language for reasoning about complex actions and infinite computations. DLTL... 详细信息
来源: 评论
Conflict-driven ASP solving with external sources
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2012年 第4-5期12卷 659-679页
作者: Eiter, Thomas Fink, Michael Krennwallner, Thomas Redl, Christoph Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
answer set programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external at... 详细信息
来源: 评论
Vicious Circle Principle and Logic Programs with Aggregates
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2014年 第4-5期14卷 587-601页
作者: Gelfond, Michael Zhang, Yuanlin Texas Tech Univ Lubbock TX 79414 USA
The paper presents a knowledge representation language Alog which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some propert... 详细信息
来源: 评论
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第4期24卷 805-824页
作者: Murugesan, Anitha Wong, Isaac Arias, Joaquin Stroud, Robert Varadarajan, Srivatsan Salazar, Elmer Gupta, Gopal Bloomfield, Robin Rushby, John Honeywell Aerosp Plymouth MN 55441 USA Univ Rey Juan Carlos CETINIA Madrid Spain Adelard Part NCC Grp London England Univ Texas Dallas Dallas TX USA City Univ London London England SRI Int Menlo Pk CA USA
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these assurance cases can be complex and c... 详细信息
来源: 评论
eclingo : A Solver for Epistemic Logic Programs
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第6期20卷 834-847页
作者: Cabalar, Pedro Fandinno, Jorge Garea, Javier Romero, Javier Schaub, Torsten Univ A Coruna La Coruna Spain Univ Potsdam Potsdam Germany
We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics built upon the answer set programming system clingo. The input language of eclingo uses the syntax extension capabilities of clin... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Specifying and Verbalising answer set Programs in Controlled Natural Language
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2018年 第3-4期18卷 691-705页
作者: 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... 详细信息
来源: 评论
A program-level approach to revising logic programs under the answer set semantics
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2010年 第4-6期10卷 565-580页
作者: Delgrande, James P. Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada
An approach to the revision of logic programs under the answer set semantics is presented. For programs P and Q, the goal is to determine the answer sets that correspond to the revision of P by Q, denoted P * Q. A fun... 详细信息
来源: 评论
Functional ASP with Intensional sets: Application to Gelfond-Zhang Aggregates
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2018年 第3-4期18卷 390-405页
作者: Cabalar, Pedro Fadinno, Jorge Del Cerro, Luis Farinas Pearce, David Univ A Coruna Dept Comp Sci Corunna Spain Univ Toulouse CNRS IRIT Toulouse France Univ Politecn Madrid Madrid Spain
In this paper, we propose a variant of answer set programming (ASP) with evaluable functions that extends their application to sets of objects, something that allows a fully logical treatment of aggregates. Formally, ... 详细信息
来源: 评论
OntoDLV: An ASP-based System for Enterprise Ontologies
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 643-670页
作者: Ricca, Francesco Gallucci, Lorenzo Schindlauer, Roman Dell'Armi, Tina Grasso, Giovanni Leone, Nicola Univ Calabria Dept Math I-87036 Arcavacata Di Rende CS Italy Univ Calabria Exeura SRL I-87036 Arcavacata Di Rende CS Italy
Enterprise/Corporate ontologies are widely adopted to conceptualize business enterprise information. In this area, the semantic peculiarities of answer set programming (ASP), like the Closed World Assumption (CWA) and... 详细信息
来源: 评论