咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是161-170 订阅
排序:
Electronic Voting: How logic Can Help
收藏 引用
7th international Joint conference on automated reasoning (IJCAR) Held as Part of theVienna Summer of logic (VSL)
作者: Cortier, Veronique LORIA CNRS Nancy France
Electronic voting should offer at least the same guarantees than traditional paper-based voting systems. In order to achieve this, electronic voting protocols make use of cryptographic primitives, as in the more tradi... 详细信息
来源: 评论
Constraint-based temporal reasoning for e-learning with LODE
Constraint-based temporal reasoning for e-learning with LODE
收藏 引用
13th international conference on Principles and Practice of Constraint programming (CP 2007)
作者: Gennari, Rosella Mich, Ornella Free Univ Bozen Bolzano CS Fac KRDB I-39100 Bolzano Italy
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal reasoning, that is, LODE stimulates c... 详细信息
来源: 评论
ME(LIA) - Model Evolution with Linear Integer Arithmetic Constraints
收藏 引用
15th international conference on logic for programming Artificial Intelligence and reasoning
作者: Baumgartner, Peter Fuchs, Alexander Tinelli, Cesare National ICT Australia (NICTA) University of Iowa United States
Many applications of automated deduction require reasoning modulo some form of integer arithmetic. Unfortunately, theory reasoning support for the integers in current theorem provers is sometimes too weak for practica... 详细信息
来源: 评论
CPP: A constraint logic programming based planner with preferences
CPP: A constraint logic programming based planner with prefe...
收藏 引用
9th international conference on logic programming and Nonmonotonic reasoning
作者: Tu, Phan Huy Son, Tran Cao Pontelli, Enrico New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user's preference and evaluate its performance.
来源: 评论
automated theorem Finding by Forward reasoning Based on Strong Relevant logic: A Case Study in Graph theory  10
Automated Theorem Finding by Forward Reasoning Based on Stro...
收藏 引用
10th international Scientific conference on Future Information Technology (FutureTech)
作者: Gao, Hongbiao Goto, Yuichi Cheng, Jingde Saitama Univ Dept Informat & Comp Sci Saitama 3388570 Japan
the problem of automated theorem finding is one of 33 basic research problems in automated reasoning which was originally proposed by Wos. the problem is still an open problem until now. To solve the problem, a system... 详细信息
来源: 评论
Bounded model checking with description logic reasoning
收藏 引用
16th international conference on automated reasoning with Analytic Tableaux and Related Methods
作者: Ben-David, Shoham Trefler, Richard Weddell, Grant Univ Waterloo David R Cheriton Sch Comp Sci Waterloo ON N2L 3G1 Canada
Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the system is unfolded until a given depth, and translat... 详细信息
来源: 评论
logic programming with Defaults and Argumentation theories
Logic Programming with Defaults and Argumentation Theories
收藏 引用
25th international conference on logic programming (ICLP)
作者: Wan, Hui Grosof, Benjamin Kifer, Michael Fodor, Paul Liang, Senlin SUNY Stony Brook Stony Brook NY 11794 USA Vulcan Inc Bellevue WA USA
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We present a model-theoretic semantics and s... 详细信息
来源: 评论
Some the approximate reasoning models over attribute logic semantic  7
Some the approximate reasoning models over attribute logic s...
收藏 引用
7th international conference on Systems and Informatics, ICSAI 2021
作者: Zhang, Jialu Xiao, Juan Xiangnan University College of Mathematics and Information Science Chenzhou China Xiangnan University College of Computer and Artificial Intelligence Chenzhou China
By using the methods of triple-I reasoning for all implication, we give the solutions of generalized MP rules and MT rules in attribute logic, and propose some approximate reasoning methods based on generalized MP rul... 详细信息
来源: 评论
Implementation of a System for Teaching the Basics of Fuzzy logic Inference Systems and Fuzzy Case-Based reasoning  7
Implementation of a System for Teaching the Basics of Fuzzy ...
收藏 引用
7th international conference on Information Technologies in Engineering Education, Inforino 2024
作者: Varshavskii, Pavel Sesin, Anatoly Bashlykov, Matvey NRU 'MPEI' Dept. of Applied Mathematics Moscow Russia
this paper presents a software module for working with fuzzy logic inference systems in the context of fuzzy case-based reasoning. Fuzzy logic, providing tools for describing and handling uncertainty, is an important ... 详细信息
来源: 评论
the bayesian description logic
收藏 引用
7th international Joint conference on automated reasoning, IJCAR 2014, Held as Part of the Vienna Summer of logic, VSL 2014
作者: Ceylan, Ismail Ilkan Peñaloza, Rafael Theoretical Computer Science TU Dresden Germany Center for Advancing Electronics Dresden Germany
We introduce the probabilistic Description logic. In, axioms are required to hold only in an associated context. the probabilistic component of the logic is given by a Bayesian network that describes the joint probabi... 详细信息
来源: 评论