咨询与建议

限定检索结果

文献类型

  • 6,089 篇 会议
  • 2,169 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,366 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,702 篇 工学
    • 5,268 篇 计算机科学与技术...
    • 3,385 篇 软件工程
    • 580 篇 电气工程
    • 302 篇 控制科学与工程
    • 172 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 41 篇 生物医学工程(可授...
    • 38 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,392 篇 理学
    • 1,230 篇 数学
    • 118 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 67 篇 系统科学
    • 53 篇 物理学
    • 25 篇 科学技术史(分学科...
  • 582 篇 管理学
    • 332 篇 图书情报与档案管...
    • 282 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 50 篇 医学
    • 37 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 49 篇 哲学
    • 32 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 34 篇 农学
    • 26 篇 作物学
  • 24 篇 经济学
  • 15 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,370 篇 logic programmin...
  • 606 篇 computer science
  • 478 篇 computer languag...
  • 345 篇 application soft...
  • 303 篇 artificial intel...
  • 250 篇 programming prof...
  • 187 篇 hardware
  • 183 篇 computer archite...
  • 175 篇 programmable log...
  • 173 篇 control systems
  • 161 篇 logic design
  • 157 篇 concurrent compu...
  • 155 篇 computational mo...
  • 152 篇 laboratories
  • 149 篇 prototypes
  • 148 篇 object oriented ...
  • 143 篇 software enginee...
  • 137 篇 functional progr...
  • 133 篇 costs
  • 129 篇 parallel process...

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 24 篇 univ pisa dipart...
  • 24 篇 new mexico state...
  • 22 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 17 篇 katholieke univ ...
  • 17 篇 univ kentucky de...
  • 15 篇 univ potsdam pot...
  • 15 篇 univ evora escol...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...
  • 11 篇 vienna universit...
  • 11 篇 department of ma...

作者

  • 80 篇 schaub torsten
  • 58 篇 ricca francesco
  • 54 篇 vicente henrique
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 gebser martin
  • 47 篇 woltran stefan
  • 42 篇 faber wolfgang
  • 38 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 36 篇 son tran cao
  • 30 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 29 篇 maratea marco
  • 28 篇 sakama chiaki
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi
  • 25 篇 proietti maurizi...

语言

  • 7,915 篇 英文
  • 403 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8370 条 记 录,以下是1141-1150 订阅
排序:
Answer set programming modulo 'space-time'
arXiv
收藏 引用
arXiv 2018年
作者: Schultz, Carl Bhatt, Mehul Suchan, Jakob Walęga, Przemyslaw Aarhus University Denmark Örebro University Sweden University of Bremen Germany University of Warsaw Poland
We present ASP Modulo 'Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabiliti... 详细信息
来源: 评论
Compiling control as offline partial deduction
arXiv
收藏 引用
arXiv 2018年
作者: Nys, Vincent de Schreye, Danny KU Leuven
We present a new approach to a technique known as compiling control, whose aim is to compile away special mechanisms for non-standard atom selection in logic programs. It has previously been conjectured that compiling... 详细信息
来源: 评论
Defunctionalization of higher-order constrained Horn clauses
arXiv
收藏 引用
arXiv 2018年
作者: Pham, Long Ramsay, Steven Ong, Luke University of Oxford University of Bristol
Building on the successes of satisfiability modulo theories (SMT), Bjørner et al. initiated a research programme advocating Horn constraints as a suitable basis for automatic program verification [4]. The notion ... 详细信息
来源: 评论
Vicious Circle Principle and logic Programs with Aggregates 1
arXiv
收藏 引用
arXiv 2018年
作者: Gelfond, Michael Zhang, Yuanlin Texas Tech University LubbockTX79414 United States
The paper presents a knowledge representation language A log which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some proper... 详细信息
来源: 评论
Optimizing Answer Set Computation via Heuristic-Based Decomposition ∗
arXiv
收藏 引用
arXiv 2018年
作者: Calimeri, Francesco Perri, Simona Zangari, Jessica Department of Mathematics and Computer Science University of Calabria Rende Italy
Answer Set programming (ASP) is a purely declarative formalism developed in the field of logic programming and nonmonotonic reasoning: computational problems are encoded by logic programs whose answer sets, correspond... 详细信息
来源: 评论
Answering the "why" in answer set programming – A survey of explanation approaches
arXiv
收藏 引用
arXiv 2018年
作者: Fandinno, Jorge Schulz, Claudia Université de Toulouse CNRS Lab Technische Universität Darmstadt
Artificial Intelligence (AI) approaches to problem-solving and decision-making are becoming more and more complex, leading to a decrease in the understandability of solutions. The European Union’s new General Data Pr... 详细信息
来源: 评论
Synthesizing set functions
arXiv
收藏 引用
arXiv 2018年
作者: Antoy, Sergio Hanus, Michael Teegen, Finn Computer Science Dept. Portland State University Oregon United States Institut für Informatik CAU Kiel KielD-24098 Germany
Set functions are a feature of functional logic programming to encapsulate all results of a non-deterministic computation in a single data structure. Given a function f of a functional logic program written in Curry, ... 详细信息
来源: 评论
Very hard electoral control problems
arXiv
收藏 引用
arXiv 2018年
作者: Fitzsimmons, Zack Hemaspaandra, Edith Hoover, Alexander Narváez, David E. Dept. of Math. and Comp. Science College of the Holy Cross WorcesterMA01610 United States Dept. of Computer Science Rochester Institute of Technology RochesterNY14623 United States Dept. of Computer Science University of Chicago ChicagoIL60637 United States College of Comp. and Inf. Sciences Rochester Institute of Technology RochesterNY14623 United States
It is important to understand how the outcome of an election can be modified by an agent with control over the structure of the election. Electoral control has been studied for many election systems, but for all studi... 详细信息
来源: 评论
INCONSISTENCY IN ANSWER SET PROGRAMS AND EXTENSIONS
arXiv
收藏 引用
arXiv 2018年
作者: Redl, Christoph Institut für Logic and Computation Technische Universität Wien Favoritenstraße 9-11 ViennaA-1040 Austria
Answer Set programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs. HEX-programs extend ASP with external atoms for accessing arbitrary external information, which can introduce... 详细信息
来源: 评论
Results in Workflow Resiliency Complexity, New Formulation, and ASP Encoding
arXiv
收藏 引用
arXiv 2018年
作者: Fong, Philip W.L. University of Calgary
First proposed by Wang and Li in 2007, workflow resiliency is a policy analysis for ensuring that, even when an adversarial environment removes a subset of workers from service, a workflow can still be instantiated to... 详细信息
来源: 评论