咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,249 篇 电子文献
  • 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 篇 cognition

机构

  • 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,234 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1250 条 记 录,以下是111-120 订阅
排序:
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... 详细信息
来源: 评论
Some recent advances in answer set programming (from the perspective of NLP)  1
Some recent advances in answer set programming (from the per...
收藏 引用
1st Workshop on Natural Language Processing and automated reasoning, NLPAR 2013 - Co-located with 12th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2013
作者: Balduccini, Marcello College of Computing and Informatics Drexel University United States
来源: 评论
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...
来源: 评论
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... 详细信息
来源: 评论
Introducing Quantified Cuts in logic with Equality
收藏 引用
7th international Joint conference on automated reasoning (IJCAR) Held as Part of theVienna Summer of logic (VSL)
作者: Hetzl, Stefan Leitsch, Alexander Reis, Giselle Tapolczai, Janos Weller, Daniel Vienna Univ Technol Inst Diskrete Math & Geometrie Vienna Austria Tech Univ Wien Inst Computersprachen Vienna Austria
Cut-introduction is a technique for structuring and compressing formal proofs. In this paper we generalize our cut-introduction method for the introduction of quantified lemmas of the form for all x.A (for quantifier-... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Terminating tableaux for hybrid logic with the difference modality and converse
收藏 引用
4th international Joint conference on automated reasoning
作者: Kaminski, Mark Smolka, Gert Univ Saarland Programming Syst Lab D-66123 Saarbrucken Germany
We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. the language under consideration is basic multi-modal logic extended with nominals, the sa... 详细信息
来源: 评论
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
来源: 评论
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
收藏 引用
26th international conference on Conceptual Modeling
作者: Jarrar, Mustafa Vrije Univ Brussels STARLab Brussels Belgium
the goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. this would enable automated reasoning on the formal properties of ORM diagrams, such as detecting constraint contrad... 详细信息
来源: 评论
Cut Elimination for First Order Godel logic by Hyperclause Resolution
收藏 引用
15th international conference on logic for programming Artificial Intelligence and reasoning
作者: Baaz, Matthias Ciabattoni, Agata Fermueller, Christian G. Vienna Univ Technol Vienna Austria
Efficient, automated climination of cuts is a prerequisite for proof analysis. the method CERES, based on Skolemization and resolution has been successfully developed for classical logic for this purpose. We generaliz... 详细信息
来源: 评论