咨询与建议

限定检索结果

文献类型

  • 254 篇 会议
  • 24 篇 期刊文献
  • 4 册 图书

馆藏范围

  • 282 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 235 篇 工学
    • 230 篇 计算机科学与技术...
    • 146 篇 软件工程
    • 11 篇 电气工程
    • 9 篇 控制科学与工程
    • 8 篇 信息与通信工程
    • 3 篇 建筑学
    • 2 篇 材料科学与工程(可...
    • 2 篇 电子科学与技术(可...
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 1 篇 交通运输工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 网络空间安全
  • 77 篇 理学
    • 73 篇 数学
    • 6 篇 统计学(可授理学、...
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 系统科学
  • 11 篇 管理学
    • 9 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 1 篇 法学
    • 1 篇 法学
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 60 篇 logic programmin...
  • 34 篇 answer set progr...
  • 18 篇 non-monotonic re...
  • 15 篇 knowledge repres...
  • 9 篇 semantics
  • 7 篇 inductive logic ...
  • 6 篇 computer circuit...
  • 5 篇 fuzzy logic
  • 5 篇 formal logic
  • 5 篇 programming
  • 4 篇 belief revision
  • 4 篇 epistemic logic ...
  • 4 篇 non-monotonic lo...
  • 4 篇 model checking
  • 4 篇 ontologies
  • 4 篇 defeasible logic
  • 4 篇 knowledge repres...
  • 4 篇 machine learning
  • 3 篇 equilibrium logi...
  • 3 篇 abduction

机构

  • 9 篇 univ potsdam pot...
  • 6 篇 univ calabria ar...
  • 5 篇 univ a coruna la...
  • 4 篇 new mexico state...
  • 4 篇 vrije univ bruss...
  • 4 篇 imperial coll lo...
  • 4 篇 univ milano bico...
  • 4 篇 univ angers leri...
  • 3 篇 tu wien austria
  • 3 篇 univ genoa dibri...
  • 3 篇 univ calabria de...
  • 3 篇 vienna univ tech...
  • 3 篇 tech univ dresde...
  • 2 篇 university of ma...
  • 2 篇 univ torino dipa...
  • 2 篇 katholieke univ ...
  • 2 篇 univ calabria di...
  • 2 篇 univ hasselt has...
  • 2 篇 univ politecn ma...
  • 2 篇 univ ferrara dip...

作者

  • 16 篇 ricca francesco
  • 9 篇 cabalar pedro
  • 8 篇 alviano mario
  • 7 篇 fandinno jorge
  • 6 篇 schaub torsten
  • 6 篇 maratea marco
  • 5 篇 maher michael j.
  • 5 篇 gebser martin
  • 4 篇 eiter thomas
  • 4 篇 son tran cao
  • 3 篇 akbar siami nami...
  • 3 篇 governatori guid...
  • 3 篇 gaggl sarah alic...
  • 3 篇 perez gilberto
  • 3 篇 riguzzi fabrizio
  • 3 篇 penaloza rafael
  • 3 篇 formisano andrea
  • 3 篇 aguado felicidad
  • 3 篇 russo alessandra
  • 3 篇 ielo antonio

语言

  • 282 篇 英文
检索条件"任意字段=17th International Conference on Logic Programming and Non-monotonic Reasoning"
282 条 记 录,以下是151-160 订阅
排序:
Handling Semantic Inconsistencies in Commonsense Knowledge for Autonomous Service Robots  14
Handling Semantic Inconsistencies in Commonsense Knowledge f...
收藏 引用
14th IEEE international conference on Semantic Computing (ICSC)
作者: Jakob, Stefan Opfer, Stephan Jahl, Alexander Baraki, Harun Geihs, Kurt Univ Kassel Wilhelmshoher Allee 73 D-34121 Kassel Germany
the necessary amount of commonsense knowledge for autonomous domestic service robots is enormous and avoiding inconsistencies is consequently almost impossible. this is especially true for inconsistencies on a semanti... 详细信息
来源: 评论
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond  14th
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Bey...
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Lopes, Carlos Knorr, Matthias Leite, Joao Univ Nova Lisboa NOVA LINCS Dept Informat Fac Ciencias & Tecnol P-2829516 Caparica Portugal
We present the latest, substantially improved, version of NoHR, a reasoner designed to answer queries over hybrid theories composed of an OWL ontology in Description logics and a set of non-monotonic rules in logic Pr... 详细信息
来源: 评论
A Qualitative Temporal Extension of Here-and-there logic  16th
A Qualitative Temporal Extension of Here-and-There Logic
收藏 引用
16th international conference on logic programming and non-monotonic reasoning (LPNMR)
作者: Eiter, thomas Schneider, Patrik TU Wien Inst Log & Computat Vienna Austria Siemens AG Munich Germany
Model-based Diagnosis (MBD) is an approach to diagnosis, where an (objective) model of a system is diagnosed to find a set of explanations revealing root causes for issues. Temporal behavioral models are prominent app... 详细信息
来源: 评论
xASP: An Explanation Generation System for Answer Set programming  16th
xASP: An Explanation Generation System for Answer Set Progra...
收藏 引用
16th international conference on logic programming and non-monotonic reasoning (LPNMR)
作者: Trieu, Ly Ly Son, Tran Cao Balduccini, Marcello New Mexico State Univ Las Cruces NM 88003 USA St Josephs Univ Philadelphia PA 19131 USA
In this paper, we present a system, called xASP, for generating explanations that explain why an atom belongs to (or does not belong to) an answer set of a given program. the system can generate all possible explanati... 详细信息
来源: 评论
A Coalgebraic Approach to Linear-Time logics
A Coalgebraic Approach to Linear-Time Logics
收藏 引用
17th international conference on the Foundations of Software Science and Computation Structures (FOSSACS) Held as Part of the European Joint conferences on theory and Practice of Software (ETAPS)
作者: Cirstea, Corina Univ Southampton Southampton Hants England
We extend recent work on defining linear-time behaviour for state-based systems with branching, and propose modal and fixpoint logics for specifying linear-time temporal properties of states in such systems. We model ... 详细信息
来源: 评论
A Practical Account into Counting Dung's Extensions by Dynamic programming  16th
A Practical Account into Counting Dung's Extensions by Dynam...
收藏 引用
16th international conference on logic programming and non-monotonic reasoning (LPNMR)
作者: Dewoprabowo, Ridhwan Fichte, Johannes Klaus Gorczyca, Piotr Jerzy Hecher, Markus Tech Univ Dresden Dresden Germany TU Wien Vienna Austria
A Abstract argumentation and Dung's framework are popular for modeling and evaluating arguments in artificial intelligence. We consider various counting problems in abstract argumentation under practical aspects. ... 详细信息
来源: 评论
On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP  17
On the Characterization of the Maximal Ideal Recursive Seman...
收藏 引用
17th international conference of the Catalan-Association-of-Artificial-Intelligence (CCIA)
作者: Alsinet, Teresa Bejar, Ramon Godo, Lluis Guitart, Francesc Univ Lleida Dept Comp Sci C Jaume 269 Lleida Spain CSIC Artificial Intelligence Res Inst IIIA Bellaterra Spain
Possibilistic Defeasible logic programming (P-DeLP) is a logic programming framework which combines features from argumentation theory and logic programming, in which defeasible rules are attached with weights express... 详细信息
来源: 评论
Towards an Inductive logic programming Approach for Explaining Black-Box Preference Learning Systems
Towards an Inductive Logic Programming Approach for Explaini...
收藏 引用
17th international conference on Principles of Knowledge Representation and reasoning (KR and R)
作者: D'Asaro, Fabio A. Spezialetti, Matteo Raggioli, Luca Rossi, Silvia Univ Naples Federico II Naples Italy Univ Aquila Laquila Italy CRdC Tecnol Naples Italy
In this paper we advocate the use of Inductive logic programming as a device for explaining black-box models, e.g. Support Vector Machines (SVMs), when they are used to learn user preferences. We present a case study ... 详细信息
来源: 评论
logic programming: the 12th international conference
收藏 引用
1995年
作者: Leon S. Sterling
13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for logic programming, is one of two major annual international conferences reporting recent research results in logic programming. logic progr...
来源: 评论
Tableau Calculus for the logic of Comparative Similarity over Arbitrary Distance Spaces
Tableau Calculus for the Logic of Comparative Similarity ove...
收藏 引用
17th international conference on logic for programming, Artificial Intelligence, and reasoning
作者: Alenda, Regis Olivetti, Nicola CNRS UMR 6168 LSIS F-13397 Marseille 20 France
the logic CSL (first introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev in 2005) allows one to reason about distance comparison and similarity comparison within a modal language. the logic can express assert... 详细信息
来源: 评论