咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是691-700 订阅
排序:
Event-Based and Scenario-Based Causality for Computational Ethics  17
Event-Based and Scenario-Based Causality for Computational E...
收藏 引用
17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS)
作者: Berreby, Fiona Bourgne, Gauvain Ganascia, Jean-Gabriel Sorbonne Univ CNRS UMR 7606 LIP6 Paris France
This paper makes use of high-level action languages to investigate aspects of causality that are central to ethical reasoning. We identify properties that causal relations assume and that determine how, as well as to ... 详细信息
来源: 评论
A Parallel ASP Instantiator Based on DLV
A Parallel ASP Instantiator Based on DLV
收藏 引用
Workshop on Declarative Aspects of Multicore programming 2010
作者: Perri, Simona Ricca, Francesco Sirianni, Marco Univ Calabria Dipartimento Matemat I-87030 Arcavacata Di Rende Italy
answer set programming (ASP) is a purely-declarative logic programming language allowing for disjunction and nonmonotonic negation. The evaluation of ASP programs is traditionally carried out in two steps. In the firs... 详细信息
来源: 评论
The jobs puzzle: Taking on the challenge via controlled natural language processing
The jobs puzzle: Taking on the challenge via controlled natu...
收藏 引用
29th International Conference on Logic programming ICLP
作者: Schwitter, Rolf Macquarie Univ Dept Comp Sydney NSW 2109 Australia
In this paper we take on Stuart C. Shapiro's challenge of solving the Jobs Puzzle automatically and do this via controlled natural language processing. Instead of encoding the puzzle in a formal language that migh... 详细信息
来源: 评论
Logical Modelling of Inhibition and Competition in Biochemical Networks  8
Logical Modelling of Inhibition and Competition in Biochemic...
收藏 引用
8th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS)
作者: Ray, Oliver Rozanski, Robert Univ Bristol Dept Comp Sci Bristol BS8 1TH Avon England Univ Manchester Sch Comp Sci Manchester M13 9PL Lancs England
This paper applies the logic-based formalism of answer set programming (ASP) to the modelling of competition, inhibition and cycles in biochemical networks. In particular, it introduces a generic framework that unifie... 详细信息
来源: 评论
eclingo : A Solver for Epistemic Logic Programs
eclingo : A Solver for Epistemic Logic Programs
收藏 引用
36th International Conference on Logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
Reliability Analysis in Less than 200 Lines of Code  12
Reliability Analysis in Less than 200 Lines of Code
收藏 引用
12th IEEE Latin America Symposium on Circuits and System (LASCAS)
作者: Breitenreiter, Anselm Schrape, Oliver Andjelkovic, Marko Krstic, Milos IHP Leibniz Inst Innovat Mikroelekt Frankfurt Oder Germany Univ Potsdam Potsdam Germany
answer set programming (ASP) is pro- posed as a compact and versatile approach to circuit analysis. By the example of upsets in registers we demonstrate how to perform reliability analysis in less than 200 lines of co... 详细信息
来源: 评论
A program-level approach to revising logic programs under the answer set semantics
A program-level approach to revising logic programs under th...
收藏 引用
26th International Conference on Logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
ASP-Driven BDI-Planning Agents in Virtual 3D Environments  14th
ASP-Driven BDI-Planning Agents in Virtual 3D Environments
收藏 引用
14th German Conference on Multiagent System Technologies (MATES)
作者: Antakli, Andre Zinnikus, Ingo Klusch, Matthias German Res Ctr Artificial Intelligence DFKI Agents & Simulated Real Dept Saarland Univ Campus D-66123 Saarbrucken Germany
This paper introduces the agent platform HumanSim, a combination of the BDI-paradigm and answer set programming (ASP), to simulate entities in three-dimensional virtual environments. We show how ASP can be used to (i)... 详细信息
来源: 评论
Towards closed world reasoning in dynamic open worlds
Towards closed world reasoning in dynamic open worlds
收藏 引用
26th International Conference on Logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
Towards ILP-Based LTLf Passive Learning  32nd
Towards ILP-Based LTLf Passive Learning
收藏 引用
32nd International Conference on Inductive Logic programming (ILP)
作者: Ielo, Antonio Law, Mark Fionda, Valeria Ricca, Francesco De Giacomo, Giuseppe Russo, Alessandra Univ Calabria Arcavacata Di Rende Italy ILASP Ltd Grantham England Univ Oxford Oxford England Imperial Coll London England
Inferring a LTLf formula from a set of example traces, also known as passive learning, is a challenging task for model-based techniques. Despite the combinatorial nature of the problem, current state-of-the-art soluti... 详细信息
来源: 评论