咨询与建议

限定检索结果

文献类型

  • 1,156 篇 会议
  • 58 册 图书
  • 37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 921 篇 工学
    • 869 篇 计算机科学与技术...
    • 470 篇 软件工程
    • 93 篇 控制科学与工程
    • 66 篇 电气工程
    • 43 篇 信息与通信工程
    • 13 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 建筑学
    • 8 篇 石油与天然气工程
    • 7 篇 交通运输工程
    • 7 篇 生物工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 力学(可授工学、理...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 5 篇 农业工程
  • 241 篇 理学
    • 203 篇 数学
    • 19 篇 系统科学
    • 17 篇 物理学
    • 15 篇 生物学
    • 7 篇 统计学(可授理学、...
  • 97 篇 管理学
    • 62 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 37 篇 工商管理
  • 13 篇 教育学
    • 12 篇 教育学
  • 11 篇 医学
    • 8 篇 基础医学(可授医学...
    • 7 篇 临床医学
  • 10 篇 法学
    • 6 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 文学
  • 3 篇 哲学

主题

  • 254 篇 logic programmin...
  • 53 篇 artificial intel...
  • 50 篇 fuzzy logic
  • 42 篇 semantics
  • 40 篇 formal logic
  • 40 篇 mathematical log...
  • 32 篇 computer circuit...
  • 31 篇 logics and meani...
  • 26 篇 software enginee...
  • 23 篇 integer programm...
  • 22 篇 temporal logic
  • 21 篇 programming tech...
  • 20 篇 programming lang...
  • 19 篇 programming
  • 19 篇 calculations
  • 19 篇 knowledge repres...
  • 17 篇 computer science
  • 17 篇 logic
  • 17 篇 answer set progr...
  • 14 篇 software enginee...

机构

  • 9 篇 univ bath dept c...
  • 9 篇 vienna univ tech...
  • 5 篇 univ london impe...
  • 5 篇 rhein westfal th...
  • 5 篇 univ london impe...
  • 5 篇 univ texas dept ...
  • 4 篇 tu wien austria
  • 4 篇 simon fraser uni...
  • 4 篇 department of co...
  • 4 篇 guangxi key labo...
  • 4 篇 univ liverpool d...
  • 4 篇 univ potsdam ins...
  • 4 篇 carnegie mellon ...
  • 4 篇 univ glamorgan c...
  • 4 篇 univ potsdam ins...
  • 3 篇 univ potsdam ins...
  • 3 篇 theoretical comp...
  • 3 篇 saitama univ dep...
  • 3 篇 microsoft resear...
  • 3 篇 univ potsdam pot...

作者

  • 12 篇 schaub torsten
  • 12 篇 de vos marina
  • 10 篇 brain martin
  • 9 篇 ricca francesco
  • 8 篇 gebser martin
  • 8 篇 russo alessandra
  • 7 篇 gore rajeev
  • 6 篇 leone nicola
  • 6 篇 andrei voronkov
  • 6 篇 xu yang
  • 6 篇 giesl juergen
  • 5 篇 cliffe owen
  • 5 篇 eiter thomas
  • 5 篇 faber wolfgang
  • 5 篇 cabalar pedro
  • 5 篇 gupta gopal
  • 5 篇 tompits hans
  • 5 篇 schaub t
  • 4 篇 mileo alessandra
  • 4 篇 chang liang

语言

  • 1,235 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1251 条 记 录,以下是131-140 订阅
排序:
the TPTP Typed First-Order Form with Arithmetic
The TPTP Typed First-Order Form with Arithmetic
收藏 引用
18th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR)
作者: Sutcliffe, Geoff Schulz, Stephan Claessen, Koen Baumgartner, Peter Univ Miami Coral Gables FL 33124 USA Tech Univ Munich Munich Germany Chamlers Univ Gothenburg Sweden NICTA Sydney NSW Australia Australian Natl Univ Canberra ACT Australia
the TPTP World is a well established infrastructure supporting research, development, and deployment of automated theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logi... 详细信息
来源: 评论
7th conference on logic programming, LP 1988
收藏 引用
7th conference on logic programming, LP 1988
the proceedings contain 16 papers. the special focus in this conference is on logic programming. the topics include: Completeness of extended unification based on basic narrowing;implementation of full GHC by communic...
来源: 评论
Proving pointer programs in higher-order logic
收藏 引用
INFORMATION AND COMPUTATION 2005年 第1-2期199卷 200-227页
作者: Mehta, F Nipkow, T ETH Dept Comp Sci Zurich Switzerland Tech Univ Munich Inst Informat D-8000 Munich Germany
Building on the work of Burstall, this paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are ma... 详细信息
来源: 评论
programming applications in CIFF
Programming applications in CIFF
收藏 引用
9th international conference on logic programming and Nonmonotonic reasoning
作者: Mancarella, P. Sadri, F. Terreni, G. Toni, F. Univ Pisa Dipartimento Informat Corso Italia 40 Pisa Italy Imperial Coll London Dept Comp London England
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. We also compare the CIFF System 4.0 wi... 详细信息
来源: 评论
A sequent calculus for bilattice-based logic and its many-sorted representation
收藏 引用
16th international conference on automated reasoning with Analytic Tableaux and Related Methods
作者: Komendantskaya, Ekaterina Natl Univ Ireland Univ Coll Cork Dept Math Cork Ireland
We introduce a sequent calculus for bilattice-based annotated logic (BAL). We show that this logic can be syntactically and semantically translated into a fragment MSL* of conventional many-sorted logic MSL. We show d... 详细信息
来源: 评论
CIL Security Proof for a Password-Based Key Exchange  1
收藏 引用
7th international conference on Provable Security (ProvSec)
作者: Ene, Cristian Gritti, Clementine Lakhnech, Yassine Univ Grenoble 1 CNRS Verimag France Univ Wollongong Ctr Comp & Informat Secur Res Sch Comp Sci & Software Engn Wollongong NSW 2522 Australia
Computational Indistinguishability logic (CIL) is a logic for reasoning about cryptographic primitives in computational model. It is sound for standard model, but also supports reasoning in the random oracle and other... 详细信息
来源: 评论
Modelling Normative Frameworks Using Answer Set Programing
收藏 引用
10th international conference on logic programming and Nonmonotonic reasoning
作者: Cliffe, Owen De Vos, Marina Padget, Julian Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Norms and regulations play an important role in the governance of human society. Social rules Such as laws, conventions and contracts prescribe and regulate our behaviour, however it is possible for us to break these ... 详细信息
来源: 评论
BQM: A system integrating logic, objects, and non-monotonic reasoning
BQM: A system integrating logic, objects, and non-monotonic ...
收藏 引用
7th international conference on Tools with Artificial Intelligence (TAI 95)
作者: Leone, N Rullo, P UNICAL DEISCNRISII-87030 RENDEITALY
the BQM1 system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a kno... 详细信息
来源: 评论
A logic of non-monotone inductive definitions and its modularity properties  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Denecker, M Ternovska, E Katholieke Univ Leuven Dept Comp Sci Louvain Belgium Simon Fraser Univ Sch Comp Sci Vancouver BC Canada
Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-ordered sets and iterated induction. In this work, we def... 详细信息
来源: 评论
DisLoP: Towards a disjunctive logic programming system  4th
DisLoP: Towards a disjunctive logic programming system
收藏 引用
4th international conference on logic programming and Nonmonotonic reasoning (LPNMR 97)
作者: Aravindan, C Dix, J Niemela, I Univ Koblenz Dept Comp Sci D-56075 Koblenz Germany
this paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logic Programmin... 详细信息
来源: 评论