咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是541-550 订阅
排序:
Learning discrete decomposable graphical models via constraint optimization
收藏 引用
STATISTICS AND COMPUTING 2017年 第1期27卷 115-130页
作者: Janhunen, Tomi Gebser, Martin Rintanen, Jussi Nyman, Henrik Pensar, Johan Corander, Jukka Aalto Univ Dept Comp Sci Espoo Finland Univ Potsdam Potsdam Germany Griffith Univ Brisbane Qld Australia Abo Akad Univ Dept Math & Stat Turku Finland Univ Helsinki Dept Math & Stat Helsinki Finland
Statistical model learning problems are traditionally solved using either heuristic greedy optimization or stochastic simulation, such as Markov chain Monte Carlo or simulated annealing. Recently, there has been an in... 详细信息
来源: 评论
Armin: Automatic Trance Music Composition using answer set programming
收藏 引用
FUNDAMENTA INFORMATICAE 2011年 第1期113卷 79-96页
作者: Everardo Perez, Flavio Omar Aguilera Ramirez, Fernando Antonio Univ Americas Puebla Dept Computac Elect & Mecantron Cholula Mexico Univ Americas Puebla Dept Actuaria Fis & Matemat Cholula Mexico
The Artificial Intelligence (AI) has taken a leading role in many activities which used to be made "by hand";one of them is the musical composition. Such task now has another alternative implementation, thro... 详细信息
来源: 评论
Causal effect identification in acyclic directed mixed graphs and gated models
收藏 引用
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2017年 90卷 56-75页
作者: Pena, Jose M. Bendtsen, Marcus Linkoping Univ Dept Comp & Informat Sci Linkoping Sweden
We introduce a new family of graphical models that consists of graphs with possibly directed, undirected and bidirected edges but without directed cycles. We show that these models are suitable for representing causal... 详细信息
来源: 评论
Exact and heuristic methods for solving Boolean games
收藏 引用
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS 2017年 第1期31卷 66-106页
作者: De Clercq, Sofie Bauters, Kim Schockaert, Steven Mihaylov, Mihail Nowe, Ann De Cock, Martine Univ Ghent Dept Appl Math CS & Stat Ghent Belgium Queens Univ Sch Elect Elect Engn & CS Belfast Antrim North Ireland Cardiff Univ Sch Comp Sci & Informat Cardiff S Glam Wales Vrije Univ Brussel Artificial Intelligence Lab Brussels Belgium Univ Washington Ctr Data Sci Tacoma WA USA
Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Bool... 详细信息
来源: 评论
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 780-799页
作者: Cuteri, Bernardo Dodaro, Carmine Ricca, Francesco Schueller, Peter Univ Calabria DeMaCS Arcavacata Di Rende Italy Univ Genoa Genoa Italy Marmara Univ Fac Engn Istanbul Turkey TU Wien Knowledge Based Syst Grp Inst Informat Syst Vienna Austria
answer set programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on the ground+solve approach. In some a... 详细信息
来源: 评论
Verification for ASP denotational semantics: A case study using the PVS theorem prover
收藏 引用
LOGIC JOURNAL OF THE IGPL 2017年 第2期25卷 195-213页
作者: Aguado, F. Ascariz, P. Cabalar, P. Perez, G. Vidal, C. Univ A Coruna Dept Comp Sci La Coruna Spain
In this article, we present an encoding of the (recently proposed) denotational semantics for answer set programming (ASP) and its monotonic basis into the input language of the theorem prover PVS. Using some librarie... 详细信息
来源: 评论
Technical Note Temporal logic programs with variables
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第2期17卷 226-243页
作者: Aguado, Felicidad Cabalar, Pedro Perez, Gilberto Vidal, Concepcion Dieguez, Martin Univ A Coruna Dept Comp Sci La Coruna Spain Univ Paul Sabatier IRIT Toulouse France
In this note, we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic, an extension of answer set programming for dealing with linear-time modal op... 详细信息
来源: 评论
Enablers and inhibitors in causal justifications of logic programs
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第1期17卷 49-74页
作者: Cabalar, Pedro Fandinno, Jorge Univ A Coruna Dept Comp Sci A Corunna Spain
In this paper, we propose an extension of logic programming where each default literal derived from the well-founded model is associated to a justification represented as an algebraic expression. This expression conta... 详细信息
来源: 评论
Nested Preferences in answer set programming
收藏 引用
FUNDAMENTA INFORMATICAE 2011年 第1期113卷 19-39页
作者: Confalonieri, Roberto Carlos Nieves, Juan Univ Politecn Cataluna Dept Llenguatges & Sistemes Informat E-08034 Barcelona Spain
In this paper, we define a class of nested logic programs, called Nested Logic Programs with Ordered Disjunction (LPODs(+)), which makes it possible to specify conditional (qualitative) preferences by means of nested ... 详细信息
来源: 评论
Event-Based and Scenario-Based Causality for Computational Ethics  18
Event-Based and Scenario-Based Causality for Computational E...
收藏 引用
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems
作者: Fiona Berreby Gauvain Bourgne Jean-Gabriel Ganascia Sorbonne Université-CNRS 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 ... 详细信息
来源: 评论