咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
An ASP approach for reasoning in a concept-aware multiprefer...
收藏 引用
36th international conference on logic programming (ICLP)
作者: Giordano, Laura theseider Dupre, Daniele Univ Piemonte Orientale DISIT Vercelli Italy
In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes cont... 详细信息
来源: 评论
An ID-logic formalization of the composition of autonomous databases
An ID-logic formalization of the composition of autonomous d...
收藏 引用
8th international conference on logic programming and nonmonotonic reasoning
作者: Van Nuffelen, B Arieli, O Cortés-Calabuig, A Bruynooghe, M Katholieke Univ Leuven Dept Comp Sci Louvain Belgium Acad Coll Tel Aviv Dept Comp Sci Tel Aviv Israel
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitions. We consider ID-logic theories that... 详细信息
来源: 评论
Conditional planning with external functions
Conditional planning with external functions
收藏 引用
9th international conference on logic programming and nonmonotonic reasoning
作者: Van Nieuwenborgh, Davy Eiter, thomas Vermeir, Dirk Vrije Univ Brussel Dept Comp Sci Pleinlaan 2 B-1050 Brussels Belgium Vienna Univ Technol Inst Informat Syst Vienna Austria
We introduce the logic-based planning language K-c as an extension of K [5]. K-c has two advantages upon K. First, the introduction of external function calls in the rules of a planning description allows the knowledg... 详细信息
来源: 评论
Simple Random logic Programs
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Namasivayam, Gayathri Trusczynski, Miroslaw Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random "sparse" and "dense" programs with two-literal r... 详细信息
来源: 评论
Matchmaking with Answer Set programming
Matchmaking with Answer Set Programming
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Gebser, Martin Glase, thomas Sabuncu, Orkunt Schaub, Torsten Univ Potsdam Potsdam Germany
Matchmaking is a form of scheduling that aims at bringing companies or people together that share common interests, services, or products in order to facilitate future business partnerships. We begin by furnishing a f... 详细信息
来源: 评论
Enhancing Magic Sets with an Application to Ontological reasoning
收藏 引用
thEORY AND PRACTICE OF logic programming 2019年 第5-6期19卷 654-670页
作者: Alviano, Mario Leone, Nicola Veltri, Pierfrancesco Zangari, Jessica Univ Calabria Dept Math & Comp Sci Commenda Di Rende Italy
Magic sets are a Datalog to Datalog rewriting technique to optimize query answering. the rewritten program focuses on a portion of the stable model(s) of the input program which is sufficient to answer the given query... 详细信息
来源: 评论
A Deductive System for FO(ID) Based on Least Fixpoint logic
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Hou, Ping Denecker, Marc Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
the logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. the goal of this paper is to extend Gentzen's sequeut calculus to obtain a deduc... 详细信息
来源: 评论
ASPIDE: Integrated Development Environment for Answer Set programming
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Febbraro, Onofrio Reale, Kristian Ricca, Francesco DLVSystem Srl Polo Tecnol Pzza Vermicelli I-87036 Arcavacata Di Rende Italy Univ Calabria Dipartimento Matemat I-87030 Arcavacata Di Rende Italy
Answer Set programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have bee... 详细信息
来源: 评论
Assessing Arguments with Schemes and Fallacies  15th
Assessing Arguments with Schemes and Fallacies
收藏 引用
15th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Bisquert, Pierre de Saint-Cyr, Florence Dupin Besnard, Philippe INRA Montpellier France Univ Paul Sabatier IRIT CNRS Toulouse France
We present a logical framework allowing us to express assessment of facts (is it proven?) and arguments (is it sound?) together with a proof system to answer these questions. Our motivation is to clarify the notion of... 详细信息
来源: 评论
Planning with sensing actions and incomplete information using logic programming  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning , LPNMR 2004
作者: Son, Tran Cao Tu, Phan Huy Baral, Chitta Department of Computer Science New Mexico State University PO Box 30001 MSC CS Las CrucesNM88003 United States Department of Computer Science and Engineering Arizona State University TempeAZ85287 United States
We present a logic programming based conditional planner that is capable of generating both conditional plans and conformant plans in the presence of sensing actions and incomplete information. We prove the correctnes... 详细信息
来源: 评论