咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1031-1040 订阅
排序:
Focusing and proof-nets in linear and non-commutative logic
收藏 引用
6th international conference on logic for programming and automated reasoning, LPAR 1999
作者: Andreoli, Jean-Marc Maieli, Roberto Xerox Research Centre Europe 38240 Meylan France Logica - Università Roma 3 00154 Roma Italy
Linear logic [4] has radsed a lot of interest in computer research, especially because of its resource sensitive nature. One hne of research studies proof construction procedures and their interpretation as computatio... 详细信息
来源: 评论
A partial evaluation framework for curry programs
收藏 引用
6th international conference on logic for programming and automated reasoning, LPAR 1999
作者: Albert, Elvira Alpuente, María Hanus, Michael Vidal, Germán DSIC UPV Camino de Vera s/n E-46022 Valencia Spain Informatik II RWTH Aachen D-52056 Germany
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays to functional logic prograjns. We sh... 详细信息
来源: 评论
Resource management in linear logic proof search revisited
收藏 引用
6th international conference on logic for programming and automated reasoning, LPAR 1999
作者: López, Pablo Pimentel, Ernesto Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga Campus de Teatinos 29071 Málaga Spain
Linear logic provides a logical framework to express ftindamentEd computationcil concepts in a declcirative style. As a consequence, it has been used as a sound foundation for the design of expressive progreimming and... 详细信息
来源: 评论
Proving failure of queries for definite logic programs using XSB-Prolog
收藏 引用
6th international conference on logic for programming and automated reasoning, LPAR 1999
作者: Pelov, Nikolay Bruynooghe, Maurice Departement Computerwetenschappen Katholieke Universiteit Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium
Proving failure of queries for definite logic progrfims can be done by constructing a finite model of the program in which the query is false. A general purpose model generator for first order logic can be used for th... 详细信息
来源: 评论
Time and norms: A formalization in the event-calculus
Time and norms: A formalization in the event-calculus
收藏 引用
7th international conference on Artificial Intelligence and Law
作者: Hernandez Marin, Rafael Sartor, Giovanni Univ of Murcia Spain
the temporal structure of legal norms is analyzed and a corresponding computable representation is developed. the aim is conceptualize satisfactorily some significant features of legal language, and provide a correct ... 详细信息
来源: 评论
A software system for learning peircean graphs  7th
收藏 引用
7th international conference on Conceptual Structures, ICCS 1999
作者: Bräuner, Torben Donner, Claus Øhrstrøm, Peter InterMedia Aalborg University Fredrik Bajers Vej 7 C Aalborg East9220 Denmark Department of Communication Aalborg University Langagervej 8 Aalborg East9220 Denmark Centre for Philosophy and Science-Theory Aalborg University Langagervej 6 Aalborg East9220 Denmark
In this paper, we describe a software system for learning graph-based reasoning. the system is designed for learning Peircean graphs in an interactive fashion that allows each student to proceed in his or her own pace... 详细信息
来源: 评论
First order linear temporal logic over finite time structures
收藏 引用
6th international conference on logic for programming and automated reasoning, LPAR 1999
作者: Cerrito, Serenella Mayer, Marta Cialdea Praud, Sébastien Université de Paris-Sud L.R.I. France Università di Roma Tre France
In this work, the notion of provability for first order linear temporal logic over finite time structures, FO-LTLfin, is studied. We show that the validity problem for such a logic is not recursively enumerable, hence... 详细信息
来源: 评论
Solving equational problems efficiently  16th
Solving equational problems efficiently
收藏 引用
16th international conference on automated Deduction, CADE 1999
作者: Pichler, Reinhard Technische Universität Wien Austria
Equational problems (i.e.: First-order formulae with quantifier prefix ∃*∀*, whose only predicate symbol is syntactic equality) are an important tool in many areas of automated deduction, e.g.: Restricting the set of ... 详细信息
来源: 评论
7th international Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing, RSFDGrC 1999
7th International Workshop on New Directions in Rough Sets, ...
收藏 引用
7th international Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing, RSFDGrC 1999
the proceedings contain 68 papers. the special focus in this conference is on Rough Computing, Rough Set theory and Its Applications. the topics include: Decision rules, bayes’ rule and rough sets;from computation wi...
来源: 评论
Abstract interpretation of Prolog programs  7th
收藏 引用
7th international conference on Algebraic Methodology and Software Technology (AMAST 98)
作者: Spoto, F Levi, G Univ Pisa Dipartimento Informat I-56100 Pisa Italy
In this paper we propose an abstract version of the denotational semantics defined in [8]. this leads to a precise goal-independent abstract interpretation of Prolog programs. We deal with the control rules of Prolog ... 详细信息
来源: 评论