咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是561-570 订阅
排序:
NoMoRe: A system for non-monotonic reasoning under answer set semantics
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Anger, Christian Konczak, Kathrin Linke, thomas Universitãt Potsdam Institut für Informatik Germany
NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm to compute answer sets by computing a-colorings (non-standard graph colorings with two colors) of the block graph (a label...
来源: 评论
7th international conference on Principles and Practice of Constraint programming, CP 2001
收藏 引用
7th international conference on Principles and Practice of Constraint programming, CP 2001
the proceedings contain 84 papers. the special focus in this conference is on Principles and Practice of Constraint programming. the topics include: Hybrid benders decomposition algorithms in constraint logic programm...
来源: 评论
Searching for invariants using temporal resolution  1
收藏 引用
9th international conference on logic for programming, Artificial Intelligence and reasoning
作者: Brotherston, J Degtyarev, A Fisher, M Lisitsa, A Univ Edinburgh Div Informat Edinburgh EH1 1HN Midlothian Scotland Univ Liverpool Dept Comp Sci Liverpool L69 7ZF Merseyside England
In this paper, we show how the clausal temporal resolution technique developed for temporal logic provides an effective method for searching for invariants. and so is suitable for mechanising a wide class of temporal ... 详细信息
来源: 评论
Automatic certification of heap consumption
收藏 引用
11th international conference on logic for programming, Artificial Intelligence, and reasoning
作者: Beringer, L Hofmann, M Momigliano, A Shkaravska, O Univ Edinburgh Lab Fdn Comp Sci Edinburgh EH9 3JZ Midlothian Scotland Univ Munich Inst Informat D-80538 Munich Germany
We present a program logic for verifying the heap consumption of low-level programs. the proof rules employ a uniform assertion format and have been derived from a general purpose program logic [1]. In a proof-carryin... 详细信息
来源: 评论
Survey of Domain-Specific Languages for FPGA Computing  26
Survey of Domain-Specific Languages for FPGA Computing
收藏 引用
26th international conference on Field-Programmable logic and Applications (FPL)
作者: Kapre, Nachiket Bayliss, Samuel Nanyang Technol Univ Sch Comp Sci & Engn Singapore 639798 Singapore Imperial Coll London Dept Elect & Elect Engn London SW7 2BT England
High-performance FPGA programming has typically been the exclusive domain of a small band of specialized hardware developers. they are capable of reasoning about implementation concerns at the register-transfer level ... 详细信息
来源: 评论
Handling equality in monodic temporal resolution  1
收藏 引用
10th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR2003)
作者: Konev, B Degtyarev, A Fisher, M Univ Liverpool Dept Comp Sci Liverpool L69 7ZF Merseyside England Kings Coll London Dept Comp Sci London WC2R 2LS England
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic firs... 详细信息
来源: 评论
Compacting boolean formulae for inference in probabilistic logic programming  13th
收藏 引用
13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015
作者: Mantadelis, theofrastos Shterionov, Dimitar Janssens, Gerda CRACS and INESC TEC University of Porto Rua do Campo Alegre 1021/1055 Porto4169-007 Portugal Department of Computer Science KU Leuven Celestijnenlaan 200A Heverlee2402 3001 Belgium
Knowledge compilation converts Boolean formulae for which some inference tasks are computationally expensive into a representation where the same tasks are tractable. ProbLog is a state-of-the-art Probabilistic logic ... 详细信息
来源: 评论
Strong equivalence for logic programs and default theories (Made Easy)
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Turner, Hudson Computer Science Department University of Minnesota Duluth Duluth MN 55812 United States
logic programs P and Q are strongly equivalent if, given any logic program R, programs P ∩ R and Q ∩ R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalen... 详细信息
来源: 评论
An abductive approach for analysing event-based requirements specifications
收藏 引用
18th international conference on logic programming
作者: Russo, A Miller, R Nuseibeh, B Kramer, J Univ London Imperial Coll Sci Technol & Med London SW7 2BT England UCL London WC1E 6BT England Open Univ Milton Keynes MK7 6AA Bucks England
We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of, a system's reaction to events and safety properties. the approach uses a variant of ... 详细信息
来源: 评论
logic and Argumentation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Pietro Baroni Christoph Benzmüller Yὶ N. Wáng
this book constitutes the refereed proceedings of the 4th international conference on logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. the 20 full and 10 short papers presented  toget... 详细信息
来源: 评论