咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
A BDI Agents programming Language Based Fuzzy Beliefs  7
A BDI Agents Programming Language Based Fuzzy Beliefs
收藏 引用
7th international conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC)
作者: Chen, Mei Lanzhou Jiaotong Univ Sch Elect & Informat Engn Lanzhou 730070 Peoples R China
the Belief-Desire-Intention (BDI) model is well suited for describing an agent's mental state. To model human reasoning with uncertainty and imprecision, fuzzy logic have been employed to represent beliefs for BDI... 详细信息
来源: 评论
On the Relationship Between logic programming and Non-monotonic reasoning  7
On the Relationship Between Logic Programming and Non-monoto...
收藏 引用
7th National conference on Artificial Intelligence, AAAI 1988
作者: Przynrasinski, Teodor C. Department of Mathematics University of Texas El PasoTX79968 United States
In spite of the existence of a close relationship between logic programming and non-monotonic reasoning, in the past the two research areas have progressed largely independently of each other. Recently, however, a new... 详细信息
来源: 评论
SyLAR-the System for logic and automated reasoning for Situation Management Decision Support Systems  7th
收藏 引用
7th KES international conference on Intelligent Decision Technologies (KES-IDT)
作者: Matsak, Erika Lehtpuu, Tarmo Lorents, Peeter Tallinn Univ Tallinn Estonia Estonian Informat Technol Coll Tallinn Estonia Estonian Business Sch Tallinn Estonia
this paper presents a modified version of forward chaining method of reasoning and a prototype implementation called Sylar - System for logic and automated reasoning, which can be used for situation management. the me... 详细信息
来源: 评论
Automating coherent logic
Automating coherent logic
收藏 引用
12th international conference on logic for programming, Artificial Intelligence, and reasoning
作者: Bezem, M Coquand, T Univ Bergen Dept Comp Sci N-5020 Bergen Norway Chalmers Univ Technol SE-41296 Gothenburg Sweden Univ Gothenburg SE-41296 Gothenburg Sweden
First-order coherent logic (CL) extends resolution logic in that coherent formulas allow certain existential quantifications. A substantial number of reasoning problems (e.g., in confluence theory, lattice theory and ... 详细信息
来源: 评论
Incorporating logic in Artificial Bee Colony (ABC) Algorithm to Solve First Order logic Problems: the logical ABC  7
Incorporating Logic in Artificial Bee Colony (ABC) Algorithm...
收藏 引用
7th international conference on Knowledge and Smart Technology (KST)
作者: Kumar, Divya Mishra, Krishn Kumar MNNIT Allahabad Dept Comp Sci & Engn Allahabad Uttar Pradesh India
the fascination for generating reasons and drawing inferences has given a tremendous impetus to research in theoretical computer science. In spite of having well defined constructs and globally accepted notations for ... 详细信息
来源: 评论
A Computationally Grounded, Weighted Doxastic logic
收藏 引用
STUDIA logicA 2016年 第4期104卷 679-703页
作者: Chen, Taolue Primiero, Giuseppe Raimondi, Franco Rungta, Neha Middlesex Univ Dept Comp Sci London England NASA Ames Res Ctr Moffett Field CA 94035 USA
Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to ... 详细信息
来源: 评论
And-Or Tableaux for Fixpoint logics with Converse: LTL, CTL, PDL and CPDL
收藏 引用
7th international Joint conference on automated reasoning (IJCAR) Held as Part of theVienna Summer of logic (VSL)
作者: Gore, Rajeev Australian Natl Univ Res Sch Comp Sci Log & Computat Grp Canberra ACT Australia
Over the last forty years, computer scientists have invented or borrowed numerous logics for reasoning about digital systems. Here, I would like to concentrate on three of them: Linear Time Temporal logic (LTL), branc... 详细信息
来源: 评论
Learning weak constraints in answer set programming
收藏 引用
thEORY AND PRACTICE OF logic programming 2015年 第4-5期15卷 511-525页
作者: Law, Mark Russo, Alessandra Broda, Krysia Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
this paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set programming (ASP). the framework, called Learning fro... 详细信息
来源: 评论
Cmodels-2: SAT-based answer set solver enhanced to non-tight programs  7th
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Lierler, Y Maratea, M Univ Texas Dept Comp Sci Austin TX 78712 USA Univ Genoa Dipartimento Informat Sistemist & Telemat Genoa Italy
A new system CMODELS-2 which is able to fix ASSAT's disadvantages was presented. It was found that the new system organizes the search process more efficiently than ASSAT as it does not explore the same part of th... 详细信息
来源: 评论
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
收藏 引用
international JOURNAL OF COMPUTER MAthEMATICS 2009年 第10-11期86卷 1852-1866页
作者: 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... 详细信息
来源: 评论