咨询与建议

限定检索结果

文献类型

  • 6,085 篇 会议
  • 2,197 篇 期刊文献
  • 109 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,406 篇 电子文献
  • 7 种 纸本馆藏

日期分布

学科分类号

  • 5,730 篇 工学
    • 5,323 篇 计算机科学与技术...
    • 3,516 篇 软件工程
    • 568 篇 电气工程
    • 303 篇 控制科学与工程
    • 170 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,423 篇 理学
    • 1,256 篇 数学
    • 118 篇 统计学(可授理学、...
    • 78 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 37 篇 农学
    • 25 篇 作物学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,410 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 304 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 53 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,028 篇 英文
  • 322 篇 其他
  • 41 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8410 条 记 录,以下是361-370 订阅
排序:
ANAlogicAL REASONING FOR logic programming
ANALOGICAL REASONING FOR LOGIC PROGRAMMING
收藏 引用
5TH EUROPEAN WORKING SESSION ON LEARNING ( EWSL-91 )
作者: TAUSEND, B BELL, S Institut für Informatik Universität Stuttgart Forststr. 86 Stuttgart 1 D-7000 Germany
Analogical reasoning is useful to exploit knowledge about similar predicates to define new ones. This paper presents MARs1, a tool that supports the definition of new Prolog predicates with respect to known ones. Star... 详细信息
来源: 评论
Towards Ethical Machines Via logic programming  35
Towards Ethical Machines Via Logic Programming
收藏 引用
35th International Conference on logic programming (ICLP)
作者: Dyoub, Abeer Costantini, Stefania Lisi, Francesca A. Univ Laquila DISIM Laquila Italy Univ Bari DIB Bari Italy Univ Bari CILA Bari Italy
Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves. Chatbots are an example of such agents that need to en... 详细信息
来源: 评论
Possibilistic inductive logic programming
Possibilistic inductive logic programming
收藏 引用
8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
作者: Serrurier, M Prade, H Univ Toulouse 3 IRIT F-31062 Toulouse France
Learning rules with exceptions may be of interest, especially if the exceptions are not important in some sense. Standard Inductive logic programming (ILP) algorithms and classical first order logic are not well-suite... 详细信息
来源: 评论
From logic programming and Non-monotonic Reasoning to Computational Argumentation and Beyond  14th
From Logic Programming and Non-monotonic Reasoning to Comput...
收藏 引用
14th International Conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Toni, Francesca Imperial Coll London London England
Argumentation has gained popularity in AI in recent years to support several activities and forms of reasoning. This talk will trace back the logic programming and non-monotonic reasoning origins of two well-known arg... 详细信息
来源: 评论
A logic programming System for Evolving Programs with Temporal Operators
A Logic Programming System for Evolving Programs with Tempor...
收藏 引用
14th Portuguese Conference on Artificial Intelligence
作者: Alferes, Jose Julio Gabaldon, Alfredo Leite, Joao Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal
logic programming Update Languages were proposed as, an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intentional knowledge (rules) may change o... 详细信息
来源: 评论
Inductive logic programming algorithm for estimating quality of partial plans
Inductive logic programming algorithm for estimating quality...
收藏 引用
6th Mexican International Conference on Artificial Intelligence (MICAI 2007)
作者: Nowaczyk, Slawomir Malec, Jacek Lund Univ Dept Comp Sci S-22100 Lund Sweden
We study agents situated in partially observable environments, who do not have the resources to create conformant plans. Instead, they create conditional plans which are partial, and learn from experience to choose th... 详细信息
来源: 评论
An Abstract Argumentation and logic programming Comparison Based on 5-Valued Labellings  16th
An Abstract Argumentation and Logic Programming Comparison B...
收藏 引用
16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)
作者: Sa, Samy Alcantara, Joao Univ Fed Ceara Fortaleza Ceara Brazil
.Abstract argumentation and logic programming are two formalisms of non-monotonic reasoning that share many similarities. Previous studies contemplating connections between the two formalisms provided back and forth t... 详细信息
来源: 评论
Towards a more practical hybrid probabilistic logic programming framework
收藏 引用
7th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Saad, E Pontelli, E New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
The hybrid probabilistic programs framework [1] allows the user to explicitly encode both logical and statistical knowledge available about the dependency among the events in the program. In this paper, we extend the ... 详细信息
来源: 评论
Learning an approximation to inductive logic programming clause evaluation
收藏 引用
14th International Conference on Inductive logic programming (ILP 2004)
作者: DiMaio, F Shavlik, J Univ Wisconsin Comp Sci Dept Madison WI 53706 USA
One challenge faced by many Inductive logic programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as stochastic clause selection (SCS) and... 详细信息
来源: 评论
Teaching computer science through a logic programming approach
收藏 引用
Education and Computing 1988年 第2期4卷 71-76页
作者: Bottino, Rosa Maria Forcheri, Paola Molfino, Maria Teresa Consiglio Nazionale delle Ricerche Istituto per la Matematica Applicata 16132 Genova Via L.B. Alberti 4 Italy
logic programming seems to be a valuable tool for introducing computer science into schools according to the developments of both research and technology. Moreover, a logical approach to computer science facilitates t... 详细信息
来源: 评论