咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
Fusion of logic programming and Description logics
Fusion of Logic Programming and Description Logics
收藏 引用
25th international conference on logic programming (ICLP)
作者: Simkus, Mantas Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
Broadly, our research concerns the fusion of logic programming (LP) andDescription logics (DLs), two solid knowledge representation paradigms with largely dual *** two feature different semantics and orthogonal expres... 详细信息
来源: 评论
Days-off scheduling in large-scale multi-skill staff rostering: An integer programming solution  7
Days-off scheduling in large-scale multi-skill staff rosteri...
收藏 引用
7th international conference on the Practice and theory of automated Timetabling, PATAT 2008
作者: Klinkert, Andreas Zurich University of Applied Sciences ZHAW Institute of Data Analysis and Process Design IDP Switzerland
来源: 评论
CIL Security Proof for a Password-Based Key Exchange  1
收藏 引用
7th international conference on Provable Security (ProvSec)
作者: Ene, Cristian Gritti, Clementine Lakhnech, Yassine Univ Grenoble 1 CNRS Verimag France Univ Wollongong Ctr Comp & Informat Secur Res Sch Comp Sci & Software Engn Wollongong NSW 2522 Australia
Computational Indistinguishability logic (CIL) is a logic for reasoning about cryptographic primitives in computational model. It is sound for standard model, but also supports reasoning in the random oracle and other... 详细信息
来源: 评论
A Declarative Agent programming Language Based on Action theories
A Declarative Agent Programming Language Based on Action The...
收藏 引用
7th international Symposium on Frontiers of Combining Systems
作者: Drescher, Conrad Schiffel, Stephan thielscher, Michael Tech Univ Dresden Dept Comp Sci Dresden Germany
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. these agent logic programs are characterized by a clear separation between the specification of the agent's ... 详细信息
来源: 评论
Improving the model generation/checking interplay to enhance the evaluation of disjunctive programs  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Pfeifer, G Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
Disjunctive logic programming (DLP) under the answer set semantics is an advanced formalism for knowledge representation and reasoning. It is generally considered more expressive than normal (disjunction-free) logic P... 详细信息
来源: 评论
Composing general logic programs  4th
Composing general logic programs
收藏 引用
4th international conference on logic programming and Nonmonotonic reasoning (LPNMR 97)
作者: Brogi, A Contiero, S Turini, F Univ Pisa Dipartimento Informat I-56125 Pisa Italy
the program composition approach can be fruitfully applied to combine general logic programs, i.e, logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) comp... 详细信息
来源: 评论
A refinement operator based learning algorithm for the ALC description logic
收藏 引用
Joint conference of the 17th international conference on Inductive logic programming/24th international conference on Machine Learning
作者: Lehmann, Jens Hitzler, Pascal Univ Leipzig Dept Comp Sci Johannisgasse 26 D-04103 Leipzig Germany Univ Karlsruhe TH AIFB Inst D-76128 Karlsruhe Germany
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, faces a bottleneck du... 详细信息
来源: 评论
DisLoP: Towards a disjunctive logic programming system  4th
DisLoP: Towards a disjunctive logic programming system
收藏 引用
4th international conference on logic programming and Nonmonotonic reasoning (LPNMR 97)
作者: Aravindan, C Dix, J Niemela, I Univ Koblenz Dept Comp Sci D-56075 Koblenz Germany
this paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logic Programmin... 详细信息
来源: 评论
Mechanical proof systems for logic II, consensus programs and their processing  7th
Mechanical proof systems for logic II, consensus programs an...
收藏 引用
7th international Symposium on Methodologies for Intelligent Systems, ISMIS 1993
作者: Rasiowa, Helena Marek, V Wiktor Institute of Mathematics Warsaw University Warsaw Poland Computer Science Department University of Kentucky LexingtonKY40506-0027 United States
We continue the investigations of [Ra90, Ra91, RM89] and study the automated theorem proving for reasoning about perception of reasoning agents and their consensus reaching. Using the techniques of [Ra91] and of logic... 详细信息
来源: 评论
GrinGo: A new grounder for answer set programming
GrinGo: A new grounder for answer set programming
收藏 引用
9th international conference on logic programming and Nonmonotonic reasoning
作者: Gebser, Martin Schaub, Torsten thiele, Sven Univ Potsdam Inst Informat August-Bebel-Str 89 Potsdam Germany
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approaches of lparse and dlv. A major emphasi... 详细信息
来源: 评论