咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
排序:
the first answer set programming system competition
The first answer set programming system competition
收藏 引用
9th international conference on logic programming and Nonmonotonic reasoning
作者: Gebser, Martin Liu, Lengning Namasivayam, Gayathri Neumann, Andre Schaub, Torsten Truszczynski, Miroslaw Univ Potsdam Inst Informat August-Bebel-Str 89 D-14482 Potsdam Germany Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
this paper gives a summary of the First Answer Set programming System Competition that was held in conjunction with the Ninth international conference on logic programming and Nonmonotonic reasoning. the aims of the c... 详细信息
来源: 评论
Selected Papers from the 5th international Joint conference on Rules and reasoning (RuleML+RR 2021)
收藏 引用
thEORY AND PRACTICE OF logic programming 2024年 第2期24卷 310-312页
作者: Moschoyiannis, Sotiris Penaloza, Rafael Univ Surrey Dept Comp Sci Guildford GU2 7XH England Univ Milano Bicocca Bicocca Italy
来源: 评论
PAAR+SC-Square 2020 - Joint Proceedings of the 7th Workshop on Practical Aspects of automated reasoning and the 5th Satisfiability Checking and Symbolic Computation Workshop 2020, co-located with the 10th international Joint conference on automated reasoning, IJCAR 2020
PAAR+SC-Square 2020 - Joint Proceedings of the 7th Workshop ...
收藏 引用
Joint of the 7th Workshop on Practical Aspects of automated reasoning and the 5th Satisfiability Checking and Symbolic Computation Workshop, PAAR+SC-Square 2020
the proceedings contain 15 papers. the topics discussed include: animated logic: correct functional conversion to conjunctive normal form;learning precedences from simple symbol features;layered clause selection for s...
来源: 评论
Decision-making support based on the combination of CBR and logic reasoning
Decision-making support based on the combination of CBR and ...
收藏 引用
7th international conference on Information Systems for Crisis Response and Management, ISCRAM 2010
作者: Shen, Huizhang Zhao, Jidi Department of Management Information Systems Shanghai Jiao Tong University China
In recent years, various crises arise frequently and cause tremendous economic and life losses. Meanwhile, current emergency decision models and decision support systems still need further improvement. this paper firs... 详细信息
来源: 评论
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
An implementation of a dual tableaux system for order-of-mag...
收藏 引用
8th international conference of Computational and Mathematical Methods in Science and Engineering (CMMSE 2008)
作者: Burrieza, A. Mora, A. Ojeda-Aciego, M. Orlowska, E. Univ Malaga Dept Matemat Aplicada E-29071 Malaga Spain Univ Malaga Dept Filosofia E-29071 Malaga Spain Inst Natl Telecommun Warsaw Poland
logic programming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associ... 详细信息
来源: 评论
the dependency pair framework: Combining techniques for automated termination proofs
收藏 引用
11th international conference on logic for programming, Artificial Intelligence, and reasoning
作者: Giesl, J thiemann, R Schneider-Kamp, P Rhein Westfal TH Aachen LuFG Informat 2 D-52074 Aachen Germany
the dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible methods to prove termination. In this... 详细信息
来源: 评论
ASP: the Future Is Bright A Position Paper
收藏 引用
10th international conference on logic programming and Nonmonotonic reasoning
作者: De Vos, Marina Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
来源: 评论
A STIT logic for reasoning About Social Influence
收藏 引用
STUDIA logicA 2016年 第4期104卷 773-812页
作者: Lorini, Emiliano Sartor, Giovanni Toulouse Univ IRIT CNRS Toulouse France Univ Bologna CIRSFID Bologna Italy European Univ Inst Florence Florence Italy
In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequenc... 详细信息
来源: 评论
Deduction by combining semantic tableaux and integer programming  9th
收藏 引用
9th international Workshop on Computer Science logic (CSL 95) / Annual conference of the EACSL
作者: Beckert, B Hahnle, R University of Karlsruhe Institute for Logic Complexity and Deduction Systems Am Fasanengarten 5 Karlsruhe 76128 Germany
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an automated reasoning system based on a... 详细信息
来源: 评论
Towards a systematic approach to representing knowledge in declarative logic programming (invited talk)  4th
Towards a systematic approach to representing knowledge in d...
收藏 引用
4th international conference on logic programming and Nonmonotonic reasoning (LPNMR 97)
作者: Gelfond, M Univ Texas Dept Comp Sci El Paso TX 79968 USA
来源: 评论