咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是231-240 订阅
排序:
Semantic-driven Goal-Oriented Development of AAL Environments
Semantic-driven Goal-Oriented Development of AAL Environment...
收藏 引用
17th international conference on Collaboration Technologies and Systems (CTS)
作者: Cameranesi, Marco Diamantini, Claudia Potena, Domenico Storti, Emanuele Univ Politecn Marche Dipartimento Ingn Informaz Via Brecce Bianche I-60131 Ancona Italy
In recent years, a multitude of assistive technologies have been devised to enhance people's capabilities by means of environments that are adaptive, sensitive and responsive to human needs. Following this approac... 详细信息
来源: 评论
Gentzen-style characterizations of negation as failure  1st
Gentzen-style characterizations of negation as failure
收藏 引用
1st international conference on Artificial Intelligence and Symbolic Mathematical Computing, AISMC 1992
作者: Plaza, Jan A. University of Miami Department of Mathematics and Computer Science P.O. Box 249 085 Coral GablesFL33124 United States
We investigate Negation as Failure as incorporated in (nondeterministic) SLDNF-resolution and in (deterministic) PROLOG's resolution. We formulate three Gentzen-style systems which characterize prepositional SLDNF... 详细信息
来源: 评论
JASP: A framework for integrating answer set programming with Java
JASP: A framework for integrating answer set programming wit...
收藏 引用
13th international conference on the Principles of Knowledge Representation and reasoning, KR 2012
作者: Febbraro, Onofrio Grasso, Giovanni Leone, Nicola Ricca, Francesco DLVSystem s.r.l. P.zza Vermicelli Polo Tecnologico Rende Italy Oxford University Department of Computer Science Parks Road Oxford United Kingdom University of Calabria Department of Mathematics Rende Italy
Answer Set programming (ASP) is a fully-declarative logic programming paradigm, which has been proposed in the area of knowledge representation and non-monotonic reasoning. Nowadays, the formal properties of ASP are w... 详细信息
来源: 评论
A nonmonotonic extension of KLM preferential logic P
A nonmonotonic extension of KLM preferential logic P
收藏 引用
17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR-17
作者: Giordano, Laura Gliozzi, Valentina Olivetti, Nicola Pozzato, Gian Luca Dip. di Informatica U. Piemonte O. Alessandria Italy Dip. Informatica Univ. di Torino Italy LSIS-UMR CNRS 6168 Marseille France
In this paper, we propose the logic P min , which is a nonmonotonic extension of Preferential logic P defined by Kraus, Lehmann and Magidor (KLM). In order to perform nonmonotonic inferences, we define a "minimal... 详细信息
来源: 评论
Foundations of Software Science and Computation Structures  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Anca Muscholl
this book constitutes the proceedings of the 17th international conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint conferences on theory and Prac... 详细信息
来源: 评论
On the splitting property for epistemic logic programs (extended abstract)  29
On the splitting property for epistemic logic programs (exte...
收藏 引用
29th international Joint conference on Artificial Intelligence, IJCAI 2020
作者: Cabalar, Pedro Fandinno, Jorge del Cerro, Luis Fariñas University of Corunna Spain University of Potsdam Germany IRIT University of Toulouse CNRS France
Epistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some objective l... 详细信息
来源: 评论
1st international Joint conference on Automated reasoning, IJCAR 2001
收藏 引用
1st international Joint conference on Automated reasoning, IJCAR 2001 co-located with 3rd Workshop on Inference in Computational Semantics, ICoS 2001 and 9th Symposium on the Integration of Symbolic Computation and Mechanized reasoning, CALCULEMUS 2001
the proceedings contain 59 papers. the special focus in this conference is on Description, Modal and Temporal logics. the topics include: Program termination analysis by size-change graphs;SET cardholder registration;...
来源: 评论
17th European conference on Multi-Agent Systems, EUMAS 2020, and 7th international conference on Agreement Technologies, AT 2020
17th European Conference on Multi-Agent Systems, EUMAS 2020,...
收藏 引用
17th European conference on Multi-Agent Systems, EUMAS 2020, and 7th international conference on Agreement Technologies, AT 2020
the proceedings contain 38 papers. the special focus in this conference is on Multi-Agent Systems. the topics include: Predicting the Winners of Borda, Kemeny and Dodgson Elections with Supervised Machine Learning;fro...
来源: 评论
Hoare-style reasoning from multiple contracts  13th
Hoare-style reasoning from multiple contracts
收藏 引用
13th international conference on Integrated Formal Methods, IFM 2017
作者: Owe, Olaf Ramezanifarkhani, Toktam Fazeldehkordi, Elahe Department of Informatics University of Oslo Oslo Norway
Modern software is often developed with advanced mechanisms for code reuse. A software module may build on other software modules or libraries where the source code is not available. And even if the source code is kno... 详细信息
来源: 评论
Probabilistic assumption-based argumentation with DST evidence  17
Probabilistic assumption-based argumentation with DST eviden...
收藏 引用
17th Joint World Congress of international Fuzzy Systems Association and 9th international conference on Soft Computing and Intelligent Systems, IFSA-SCIS 2017
作者: Duy Hung, Nguyen Sirindhorn International Institute of Technology Thailand
We study the relationships between two prominent approaches to, respectively, non-additive degrees of belief and probabilistic argumentation: Demspter-Shafer theory (DST) and Probabilistic Assumption-based Argumentati... 详细信息
来源: 评论