咨询与建议

限定检索结果

文献类型

  • 668 篇 会议
  • 32 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 718 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 648 篇 工学
    • 645 篇 计算机科学与技术...
    • 356 篇 软件工程
    • 28 篇 控制科学与工程
    • 22 篇 电气工程
    • 18 篇 信息与通信工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 建筑学
    • 3 篇 生物工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 农业工程
  • 129 篇 理学
    • 120 篇 数学
    • 5 篇 物理学
    • 5 篇 生物学
    • 5 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 33 篇 管理学
    • 23 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学

主题

  • 247 篇 logic programmin...
  • 46 篇 answer set progr...
  • 44 篇 semantics
  • 22 篇 computer circuit...
  • 22 篇 artificial intel...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 mathematical log...
  • 11 篇 logics and meani...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 7 篇 programming tech...
  • 6 篇 software enginee...
  • 6 篇 data description

机构

  • 21 篇 vienna univ tech...
  • 11 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 8 篇 univ bath dept c...
  • 8 篇 univ potsdam ins...
  • 7 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 tu wien austria
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 5 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 simon fraser uni...
  • 5 篇 univ genoa dibri...
  • 5 篇 univ calabria ar...
  • 5 篇 new mexico state...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...
  • 4 篇 vienna universit...
  • 4 篇 university of ca...

作者

  • 35 篇 schaub torsten
  • 25 篇 gebser martin
  • 23 篇 ricca francesco
  • 19 篇 tompits hans
  • 18 篇 eiter thomas
  • 17 篇 woltran stefan
  • 16 篇 leone nicola
  • 14 篇 alviano mario
  • 12 篇 faber wolfgang
  • 12 篇 cabalar pedro
  • 11 篇 brain martin
  • 11 篇 de vos marina
  • 10 篇 calimeri frances...
  • 10 篇 fink michael
  • 10 篇 inoue katsumi
  • 9 篇 ianni giovambatt...
  • 9 篇 son tran cao
  • 8 篇 giordano laura
  • 8 篇 eiter t
  • 8 篇 lifschitz vladim...

语言

  • 713 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
719 条 记 录,以下是241-250 订阅
排序:
Answer set programming: Language, applications and development tools
Answer set programming: Language, applications and developme...
收藏 引用
7th international conference on Web reasoning and Rule Systems, RR 2013
作者: Grasso, Giovanni Leone, Nicola Ricca, Francesco Oxford University Department of Computer Science Oxford United Kingdom Dipartimento di Matematica e Informatica Università Della Calabria 87030 Rende Italy
Answer Set programming (ASP) is a powerful language for knowledge representation and reasoning, that has been developed in the field of nonmonotonic reasoning and logic programming. the high knowledge-modeling power o... 详细信息
来源: 评论
BOEMIE: reasoning-based information extraction  1
BOEMIE: Reasoning-based information extraction
收藏 引用
1st Workshop on Natural Language Processing and Automated reasoning, NLPAR 2013 - Co-located with 12th international conference on logic programming and nonmonotonic reasoning, LPNMR 2013
作者: Petasis, Georgios Möller, Ralf Karkaletsis, Vangelis Demokritos P.O. BOX 60228 Aghia Paraskevi Athens Greece Hamburg University of Technology Schwarzenbergstr. 95 Hamburg21073 Germany
this paper presents a novel approach for exploiting an ontology in an ontology-based information extraction system, which substitutes part of the extraction process with reasoning, guided by a set of automatically acq... 详细信息
来源: 评论
ARVis: Visualizing Relations between Answer Sets
ARVis: Visualizing Relations between Answer Sets
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Ambroz, thomas Charwat, Guenther Jusits, Andreas Wallner, Johannes Peter Woltran, Stefan Vienna Univ Technol Inst Informat Syst Vienna Austria
Answer set programming (ASP) is nowadays one of the most popular modeling languages in the areas of Knowledge Representation and Artificial Intelligence. Hereby one represents the problem at hand in such a way that ea... 详细信息
来源: 评论
A default inference rule operating internally to the grammar devices  1
A default inference rule operating internally to the grammar...
收藏 引用
1st Workshop on Natural Language Processing and Automated reasoning, NLPAR 2013 - Co-located with 12th international conference on logic programming and nonmonotonic reasoning, LPNMR 2013
作者: OnambèlèManga, Christophe UMR SFL CNRS Universitè Paris 8 France
Minimalist Grammars (MG) are viewed as a resource consuming system where syntactic operations are triggered when a positive form of a feature matches with its negative form. But a problem arises when a feature lacks a... 详细信息
来源: 评论
Towards a unified approach to modular ontology development using the aspect-oriented paradigm  7
Towards a unified approach to modular ontology development u...
收藏 引用
7th international Workshop on Modular Ontologies, WoMO 2013 - Co-located with the 12th international conference on logic programming and Non-Monotonic reasoning, LPNMR 2013
作者: Schäfermeier, Ralph Paschke, Adrian Freie Universität Berlin Königin-Luise-Str. 24-26 Berlin14195 Germany
In this paper, we describe our ongoing work on the application of the Aspect-Oriented programming paradigm to the problem of ontology modularization driven by overlapping modularization requirements. We examine common... 详细信息
来源: 评论
Default logic for Diagnostic of Discrete Time System
Default Logic for Diagnostic of Discrete Time System
收藏 引用
8th IEEE international conference on Broadband, Wireless Computing, Communication and Applications (BWCCA)
作者: Le, Tan Doncescu, Andrei Siegel, Pierre Univ Toulouse CNRS Lab Anal & Architecture Syst 7 Ave Colonel Roche Toulouse France Univ Aix Marseille LIF UMR CNRS Marseille France
Signaling pathways are seen as high criticalities in our understanding of mechanisms of biological functions. In this paper, we propose default logic for diagnostic of Discrete Time System (DTS) by focusing on automat... 详细信息
来源: 评论
the Fourth Answer Set programming Competition: Preliminary Report
The Fourth Answer Set Programming Competition: Preliminary R...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Alviano, Mario Calimeri, Francesco Charwat, Guenther Dao-Tran, Minh Dodaro, Carmine Ianni, Giovambattista Krennwallner, thomas Kronegger, Martin Oetsch, Johannes Pfandler, Andreas Puehrer, Joerg Redl, Christoph Ricca, Francesco Schneider, Patrik Schwengerer, Martin Spendier, Lara Katharina Wallner, Johannes Peter Xiao, Guohui Univ Calabria Dipartimento Matemat & Informat I-87030 Commenda Di Rende Italy Vienna Technol Univ Inst Informat Syst Vienna Austria Vienna Technol Univ Inst Comp Languages Vienna Austria
Answer Set programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo theories, Constraint Handling Rules, PDDL and many others. Si... 详细信息
来源: 评论
Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set programming
Extending the Metabolic Network of <i>Ectocarpus Siliculosus...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Collet, Guillaume Eveillard, Damien Gebser, Martin Prigent, Sylvain Schaub, Torsten Siegel, Anne thiele, Sven CNRS UMR IRISA 6074 Campus Beaulieu F-35042 Rennes France Univ Nantes UMR 6241 LINA E-44300 Nantes France Univ Potsdam Inst Informat D-14482 Potsdam Germany INRIA Ctr Rennes Bretagne Atlantique E-35042 Rennes France INRIA CIRIC Santiago Chile
Metabolic network reconstruction is of great biological relevance because it offers a way to investigate the metabolic behavior of organisms. However, reconstruction remains a difficult task at both the biological and... 详细信息
来源: 评论
Rule revision in normal DL logic programs
Rule revision in normal DL logic programs
收藏 引用
7th international conference on Web reasoning and Rule Systems, RR 2013
作者: Binnewies, Sebastian Wang, Yisong Stantic, Bela Wang, Kewen School of Information and Communication Technology Griffith University QLD Australia
Although several proposals to combine description logics with logic programming rules have been brought forward, hardly any of these approaches capture the dynamic nature of the Semantic Web. In this paper, we look at... 详细信息
来源: 评论
Recognizing implicit discourse relations through abductive reasoning with large-scale lexical knowledge  1
Recognizing implicit discourse relations through abductive r...
收藏 引用
1st Workshop on Natural Language Processing and Automated reasoning, NLPAR 2013 - Co-located with 12th international conference on logic programming and nonmonotonic reasoning, LPNMR 2013
作者: Sugiura, Jun Inoue, Naoya Inui, Kentaro Tohoku University 6-3-09 Aoba Aramaki Aoba-ku Sendai980-8579 Japan
Discourse relation recognition is the task of identifying the semantic relationships between textual units. Conventional approaches to discourse relation recognition exploit surface information and syntactic informati... 详细信息
来源: 评论