咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 588 篇 会议
  • 104 册 图书
  • 22 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,201 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 927 篇 理学
    • 900 篇 数学
    • 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...
  • 70 篇 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...

机构

  • 38 篇 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...

作者

  • 47 篇 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,557 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1597 条 记 录,以下是1531-1540 订阅
排序:
Computer Aided Verification  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: E. Allen Emerson Aravinda Prasad Sistla
This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancem... 详细信息
来源: 评论
Probabilistic Answer Set programming with Discrete and Continuous Random Variables
arXiv
收藏 引用
arXiv 2024年
作者: Azzolini, Damiano Riguzzi, Fabrizio Department of Environmental and Prevention Sciences University of Ferrara Ferrara Italy Department of Mathematics and Computer Science University of Ferrara Ferrara Italy
Probabilistic Answer Set programming under the credal semantics (PASP) extends Answer Set programming with probabilistic facts that represent uncertain information. The probabilistic facts are discrete with Bernoulli ...
来源: 评论
Inlining external sources in answer set programs
arXiv
收藏 引用
arXiv 2018年
作者: Redl, Christoph Institute of Logic and Computation Vienna University of Technology Favoritenstraße 9-11 ViennaA-1040 Austria
HEX-programs are an extension of answer set programs (ASP) with external sources. To this end, external atoms provide a bidirectional interface between the program and an external source. The traditional evaluation al... 详细信息
来源: 评论
Constraint answer set programming: Integrational and translational (or SMT-based) approaches
arXiv
收藏 引用
arXiv 2021年
作者: Lierler, Yuliya University of Nebraska Omaha United States
Constraint answer set programming or CASP, for short, is a hybrid approach in automated reasoning putting together the advances of distinct research areas such as answer set programming, constraint processing, and sat... 详细信息
来源: 评论
Scaling-up reasoning and advanced analytics on bigdata
arXiv
收藏 引用
arXiv 2018年
作者: Condie, Tyson Das, Ariyam Interlandi, Matteo Shkapsky, Alexander Yang, Mohan Zaniolo, Carlo University of California Los Angeles United States
BigDatalog is an extension of Datalog that achieves performance and scalability on both Apache Spark and multicore systems to the point that its graph analytics outperform those written in GraphX. Looking back, we see... 详细信息
来源: 评论
ALCOHOL EDUCATION RESEARCH AND practice - A logicAL ANALYSIS OF THE 2 REALITIES
收藏 引用
JOURNAL OF DRUG EDUCATION 1986年 第4期16卷 349-365页
作者: GOODSTADT, MS ADDICT RES FDN EDUC RES PROGRAM 33 RUSSELL ST TORONTO M5S 2S1 ONTARIO CANADA
The assumptions underlying alcohol education programs, and the impact of such programs are examined from the perspectives of inferential and deductive logic. The inconclusiveness of empirical evidence concerning progr... 详细信息
来源: 评论
A step forward in the theory and practice of ICT management simulation
A step forward in the theory and practice of ICT management ...
收藏 引用
作者: Ilkov, I.G. Technische Universiteit Delft
The popularity of animated simulation as a tool for modeling and analyzing business processes is growing. This is due to the fact that it offers a number of benefits for modeling such processes, among which the abilit...
来源: 评论
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
arXiv
收藏 引用
arXiv 2022年
作者: Casadei, Roberto Alma Mater Studiorum Università di Bologna Italy
Macroprogramming refers to the theory and practice of conveniently expressing the macro(scopic) behaviour of a system using a single program. Macroprogramming approaches are motivated by the need of effectively captur... 详细信息
来源: 评论
PRODUCT MODULARIZATION CONSIDERING COST AND MANUFACTURABILITY OF MODULES
收藏 引用
INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-theory APPLICATIONS AND practice 2008年 第2期15卷 132-142页
作者: Nepal, Bimal Monplaisir, Leslie Singh, Nanua Yaprak, Attila Texas A&M Univ Ind Distribut Program Dwight Look Coll Engn College Stn TX 77843 USA Wayne State Univ Dept Ind & Mfg Engn Detroit MI 48202 USA Wayne State Univ Sch Business Adm Detroit MI 48202 USA
It is argued that modular architecture allows us to create large product variety at lower cost, and in a shorter development cycle time. While it has been widely recognized that modular design improves assemblability,... 详细信息
来源: 评论
Discussion on Teaching of Programmable logic Controller for Outstanding Engineers Education
Discussion on Teaching of Programmable Logic Controller for ...
收藏 引用
2015 2nd International Conference on Creative Education(ICCE 2015)
作者: Bo Li Yue Li School of Automation Engineering Northeast Dianli University
The education and training for outstanding engineers is a comprehensive strategy. It relates to many aspects, such as curriculum development and teaching material selection, the investment of teaching equipments and e... 详细信息
来源: 评论