咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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.
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Using Answer Set programming to Enhance Operating System Discovery
收藏 引用
10th international conference on logic programming and Nonmonotonic reasoning
作者: Gagnon, Francois Esfandiari, Babak Carleton Univ Ottawa ON K1S 5B6 Canada
Although knowing the operating systems running in a network is becoming more and more important (mainly for security reasons), current operating system discovery tools are not sufficiently accurate to acquire the info... 详细信息
来源: 评论
Product knowledge reasoning: A DL-based approach  05
Product knowledge reasoning: A DL-based approach
收藏 引用
7th international conference on Electronic Commerce (ICEC 2005)
作者: Channa, Nizamuddin Li, Shanping Fu, Xiangjun Zhejiang Univ Coll Comp Sci Hangzhou 310027 Peoples R China
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+K(D) is introduced. It cannot only be able to represent knowledge about concrete domain and constraints, b... 详细信息
来源: 评论