咨询与建议

限定检索结果

文献类型

  • 1,160 篇 会议
  • 58 册 图书
  • 37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 922 篇 工学
    • 870 篇 计算机科学与技术...
    • 470 篇 软件工程
    • 93 篇 控制科学与工程
    • 66 篇 电气工程
    • 43 篇 信息与通信工程
    • 13 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 建筑学
    • 8 篇 石油与天然气工程
    • 7 篇 交通运输工程
    • 7 篇 生物工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 力学(可授工学、理...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 5 篇 农业工程
  • 242 篇 理学
    • 203 篇 数学
    • 19 篇 系统科学
    • 18 篇 物理学
    • 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...
  • 27 篇 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,217 篇 英文
  • 30 篇 其他
  • 9 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1255 条 记 录,以下是341-350 订阅
排序:
A Labelled Sequent Calculus for Intuitionistic Public Announcement logic  1
收藏 引用
20th international conference on logic for programming, Artificial Intelligence and reasoning (LPAR)
作者: Nomura, Shoshin Sano, Katsuhiko Tojo, Satoshi Japan Adv Inst Sci & Technol Sch Informat Sci Japan Advanced Institute Ishikawa Japan
Intuitionistic Public Announcement logic (IntPAL) proposed by Ma et al. (2014) aims at formalizing changes of an agent's knowledge in a constructive manner. IntPAL can be regarded as an intuitionistic generalizati... 详细信息
来源: 评论
Web Stream reasoning in Practice: On the Expressivity vs. Scalability Tradeoff  1
收藏 引用
9th international conference on Web reasoning and Rule Systems (RR)
作者: Germano, Stefano Pham, thu-Le Mileo, Alessandra Univ Calabria Dept Math & Comp Sci I-87036 Cosenza Italy Natl Univ Ireland Insight Ctr Data Analyt Galway Ireland
Advances in the Internet of things and the Web of Data created huge opportunities for developing applications that can generate actionable knowledge out of streaming data. the trade-off between scalability and express... 详细信息
来源: 评论
Planning with Regression Analysis in Transaction logic  1
收藏 引用
9th international conference on Web reasoning and Rule Systems (RR)
作者: Basseda, Reza Kifer, Michael SUNY Stony Brook Stony Brook NY 11794 USA
Heuristic search is arguably the most successful paradigm in automated Planning, which greatly improves the performance of planning strategies. However, adding heuristics usually leads to very complicated planning alg... 详细信息
来源: 评论
Allotment Problem in Travel Industry: A Solution Based on ASP  1
收藏 引用
9th international conference on Web reasoning and Rule Systems (RR)
作者: Dodaro, Carmine Leone, Nicola Nardi, Barbara Ricca, Francesco Univ Calabria Dept Math & Comp Sci I-87036 Cosenza Italy
In the travel industry it is common for tour operators to pre-book from service suppliers blocks of package tours, which are called allotments in jargon. the selection of package tours is done according to several pre... 详细信息
来源: 评论
A Hybrid programming Framework for Resource-Constrained Scheduling Problems  16th
A Hybrid Programming Framework for Resource-Constrained Sche...
收藏 引用
16th international conference on Intelligent Data Engineering and automated Learning (IDEAL)
作者: Sitek, Pawel Wikarek, Jaroslaw Tech Univ Kielce Control & Management Syst Sect Al Tysiaclecia Panstwa Polskiego 7 PL-25314 Kielce Poland
Resource-constrained scheduling problems appear frequently at different levels of decisions in manufacturing, logistics, computer networks, software engineering etc. they are usually characterized by many types of con... 详细信息
来源: 评论
the Inez Mathematical programming Modulo theories Framework  27th
The Inez Mathematical Programming Modulo Theories Framework
收藏 引用
27th international conference on Computer-Aided Verification (CAV)
作者: Manolios, Panagiotis Pais, Jorge Papavasileiou, Vasilis Northeastern Univ Boston MA 02115 USA
Our Mathematical programming Modulo theories (MPMT) constraint solving framework extends Mathematical programming technology with techniques from the field of automated reasoning, e.g., solvers for first-order theorie... 详细信息
来源: 评论
Multi-level algorithm selection for ASP  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015
作者: Maratea, Marco Pulina, Luca Ricca, Francesco DIBRIS Univ. degli Studi di Genova Viale F. Causa 15 Genova16145 Italy POLCOMING Univ. degli Studi di Sassari Viale Mancini 5 Sassari07100 Italy Dip. di Matematica ed Informatica Univ. della Calabria Via P. Bucci Rende87030 Italy
automated algorithm selection techniques have been applied successfully to Answer Set programming (ASP) solvers. ASP computation includes two levels of computation: variable substitution, called grounding, and proposi... 详细信息
来源: 评论
Focused Labeled Proof Systems for Modal logic  1
收藏 引用
20th international conference on logic for programming, Artificial Intelligence and reasoning (LPAR)
作者: Miller, Dale Volpe, Marco Ecole Polytech Inria F-75230 Paris France Ecole Polytech LIX F-75230 Paris France
Focused proofs are sequent calculus proofs that group inference rules into alternating positive and negative phases. these phases can then be used to define macro-level inference rules Gentzen's original and tiny ... 详细信息
来源: 评论
An order hyperresolution calculus for gödel logic with truth constants and equality, strict order, delta  7
An order hyperresolution calculus for gödel logic with trut...
收藏 引用
7th international Joint conference on Computational Intelligence, IJCCI 2015
作者: Guller, Dušan Department of Applied Informatics Comenius University Mlynská dolina Bratislava842 48 Slovakia
In (Guller, 2014), we have generalised the well-known hyperresolution principle to the first-order Gödel logic with truth constants. this paper is a continuation of our work. We propose a hyperresolution calculus... 详细信息
来源: 评论
Characterising and explaining inconsistency in logic programs  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015
作者: Schulz, Claudia Satoh, Ken Toni, Francesca Department of Computing Imperial College London LondonSW7 2AZ United Kingdom National Institute of Informatics Tokyo101-8430 Japan
A logic program under the answer set semantics can be inconsistent because its only answer set is the set of all literals, or because it does not have any answer sets. In both cases, the reason for the inconsistency m... 详细信息
来源: 评论