咨询与建议

限定检索结果

文献类型

  • 883 篇 期刊文献
  • 590 篇 会议
  • 103 册 图书
  • 18 篇 学位论文

馆藏范围

  • 1,595 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,202 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 928 篇 理学
    • 901 篇 数学
    • 31 篇 系统科学
    • 14 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 2 篇 物理学
  • 67 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 22 篇 工商管理
  • 16 篇 教育学
    • 14 篇 教育学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 71 篇 software enginee...
  • 67 篇 mathematical log...
  • 60 篇 logics and meani...
  • 59 篇 programming lang...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 30 篇 programming tech...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 24 篇 artificial intel...
  • 23 篇 software enginee...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...

机构

  • 39 篇 univ potsdam pot...
  • 22 篇 tu wien austria
  • 18 篇 new mexico state...
  • 16 篇 imdea software i...
  • 15 篇 univ genoa dibri...
  • 15 篇 univ kentucky de...
  • 14 篇 univ a coruna la...
  • 14 篇 univ texas austi...
  • 13 篇 univ calabria ar...
  • 12 篇 univ texas dalla...
  • 11 篇 katholieke univ ...
  • 11 篇 katholieke univ ...
  • 11 篇 vienna univ tech...
  • 10 篇 katholieke univ ...
  • 10 篇 imperial coll lo...
  • 10 篇 vienna univ tech...
  • 9 篇 univ politecn ma...
  • 9 篇 univ genoa genoa
  • 9 篇 univ nebraska om...
  • 9 篇 sabanci univ fac...

作者

  • 48 篇 schaub torsten
  • 34 篇 dodaro carmine
  • 30 篇 eiter thomas
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 26 篇 lierler yuliya
  • 26 篇 fandinno jorge
  • 26 篇 gupta gopal
  • 23 篇 riguzzi fabrizio
  • 23 篇 maratea marco
  • 22 篇 alviano mario
  • 21 篇 woltran stefan
  • 21 篇 lifschitz vladim...
  • 19 篇 pontelli enrico
  • 18 篇 gebser martin
  • 17 篇 erdem esra
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,539 篇 英文
  • 30 篇 其他
  • 26 篇 中文
检索条件"任意字段=Theory and Practice of Logic Programming"
1595 条 记 录,以下是541-550 订阅
排序:
A new algorithm to automate inductive learning of default theories
A new algorithm to automate inductive learning of default th...
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and practice of Constraint programming / 20th International Conference on theory and Applications of Satisfiability Testing
作者: Shakerin, Farhad Salazar, Elmer Gupta, Gopal Univ Texas Dallas Richardson TX 75083 USA
In inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patterns in exceptions turns out to corresp... 详细信息
来源: 评论
单片机与接口技术项目化教学改革的实践与探索
收藏 引用
电脑与电信 2020年 第4期 36-38页
作者: 吕守向 福州理工学院工学院 福建福州350506
单片机与接口技术作为一门综合性电工电子类课程,通常将自动化技术、应用电子技术、通信技术等进行结合,使学生掌握单片机专业理论、应用实践等内容。教师在课程教学中,主要围绕单片机系统设计、应用编程、安装与调试等知识点,选择适宜... 详细信息
来源: 评论
Annotated defeasible logic
Annotated defeasible logic
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and practice of Constraint programming / 20th International Conference on theory and Applications of Satisfiability Testing
作者: Governatori, Guido Maher, Michael J. CSIRO Data61 Brisbane Qld Australia Reasoning Res Inst Canberra ACT Australia
Defeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning. However... 详细信息
来源: 评论
The intricacies of three-valued extensional semantics for higher-order logic programs
The intricacies of three-valued extensional semantics for hi...
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and practice of Constraint programming / 20th International Conference on theory and Applications of Satisfiability Testing
作者: Rondogiannis, Panos Symeonidou, Ioanna Univ Athens Athens Greece
M. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated by Rondogiannis and Symeonidou that Bezem's technique can be extended to higher-order logic program... 详细信息
来源: 评论
MODELING AND OPTIMIZATION OF STANDARD CONCRETE CONTAINING GRANULE BLAST FURNACE SLAG: A GENE EXPRESSION MODELING BASED MULTI-RESPONSE WEIGHTED NON-LINEAR programming APPLICATION
收藏 引用
INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-theory APPLICATIONS AND practice 2018年 第4期25卷 490-506页
作者: Simsek, Baris Cankiri Karatekin Univ Fac Engn Dept Chem Engn Cankiri Turkey
In this study, Gene expression models have been obtained for prediction of slump flow, 3rd day compressive strength, 7th day compressive strength and 28th day compressive strength of normal weight concrete containing ... 详细信息
来源: 评论
αCheck: A mechanized metatheory model checker
收藏 引用
theory and practice of logic programming 2017年 第3期17卷 311-352页
作者: Cheney, James Momigliano, Alberto Univ Edinburgh Lab Fdn Comp Sci Edinburgh Midlothian Scotland Univ Milan Dipartimento Informat Milan Italy
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has received considerable attention recentl... 详细信息
来源: 评论
Introducing computer science to high school students through logic programming
arXiv
收藏 引用
arXiv 2018年
作者: Yuen, Timothy T. Reyes, Maritza Zhang, Yuanlin University of Texas San Antonio United States University of Texas Austin Singapore Texas Tech University
This paper investigates how high school students in an introductory computer science course approach computing in the logic programming (LP) paradigm. This qualitative study shows how novice students operate within th... 详细信息
来源: 评论
Default rules for Curry
收藏 引用
theory and practice of logic programming 2017年 第2期17卷 121-147页
作者: Antoy, Sergio Hanus, Michael Portland State Univ Dept Comp Sci Portland OR 97207 USA CAU Kiel Inst Informat Kiel Germany
In functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic languages and contrary to functional langua... 详细信息
来源: 评论
Program completion in the input language of GRINGO
Program completion in the input language of GRINGO
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and practice of Constraint programming / 20th International Conference on theory and Applications of Satisfiability Testing
作者: Harrison, Amelia Lifschitz, Vladimir Raju, Dhananjay Dept Comp Sci Austin TX 78712 USA
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that could serve as a specificatio... 详细信息
来源: 评论
logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
Logic programming approaches for routing fault-free and maxi...
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and practice of Constraint programming / 20th International Conference on theory and Applications of Satisfiability Testing
作者: Gavanelli, Marco Nonato, Maddalena Peano, Andrea Bertozzi, Davide Ferrara Univ Dept Engn Ferrara Italy QuanTek Bologna Italy
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networkson- Chip. Among them, wavelength... 详细信息
来源: 评论