咨询与建议

限定检索结果

文献类型

  • 1,425 篇 会议
  • 69 册 图书
  • 55 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,260 篇 工学
    • 1,245 篇 计算机科学与技术...
    • 663 篇 软件工程
    • 83 篇 控制科学与工程
    • 62 篇 电气工程
    • 48 篇 信息与通信工程
    • 10 篇 生物工程
    • 9 篇 生物医学工程(可授...
    • 6 篇 交通运输工程
    • 5 篇 化学工程与技术
    • 4 篇 材料科学与工程(可...
    • 4 篇 电子科学与技术(可...
    • 4 篇 安全科学与工程
    • 3 篇 机械工程
    • 3 篇 建筑学
  • 360 篇 理学
    • 337 篇 数学
    • 23 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 14 篇 生物学
    • 10 篇 物理学
    • 5 篇 化学
  • 86 篇 管理学
    • 53 篇 图书情报与档案管...
    • 37 篇 管理科学与工程(可...
    • 17 篇 工商管理
  • 10 篇 法学
    • 7 篇 法学
    • 3 篇 社会学
  • 9 篇 医学
    • 9 篇 临床医学
    • 7 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 7 篇 教育学
    • 7 篇 教育学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学

主题

  • 387 篇 logic programmin...
  • 141 篇 artificial intel...
  • 63 篇 semantics
  • 52 篇 answer set progr...
  • 48 篇 mathematical log...
  • 43 篇 computer circuit...
  • 42 篇 formal logic
  • 40 篇 knowledge repres...
  • 34 篇 logics and meani...
  • 28 篇 programming tech...
  • 25 篇 knowledge repres...
  • 25 篇 calculations
  • 21 篇 programming lang...
  • 18 篇 software enginee...
  • 16 篇 fuzzy logic
  • 15 篇 inductive logic ...
  • 13 篇 constraint progr...
  • 12 篇 programming
  • 12 篇 data description
  • 12 篇 temporal logic

机构

  • 15 篇 vienna univ tech...
  • 13 篇 univ minho ctr a...
  • 11 篇 univ potsdam pot...
  • 10 篇 tu wien austria
  • 8 篇 univ evora escol...
  • 8 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 6 篇 imperial coll lo...
  • 6 篇 univ kentucky de...
  • 6 篇 univ minho dept ...
  • 5 篇 univ potsdam ins...
  • 5 篇 katholieke univ ...
  • 5 篇 univ genoa dibri...
  • 5 篇 natl inst inform...
  • 5 篇 natl univ irelan...
  • 5 篇 suny stony brook...
  • 5 篇 mediclin arabian...
  • 5 篇 carnegie mellon ...

作者

  • 31 篇 schaub torsten
  • 30 篇 ricca francesco
  • 24 篇 eiter thomas
  • 20 篇 vicente henrique
  • 19 篇 gebser martin
  • 18 篇 neves jose
  • 17 篇 alviano mario
  • 17 篇 tompits hans
  • 16 篇 leone nicola
  • 16 篇 woltran stefan
  • 13 篇 faber wolfgang
  • 13 篇 cabalar pedro
  • 13 篇 dodaro carmine
  • 12 篇 son tran cao
  • 12 篇 baral chitta
  • 11 篇 voronkov andrei
  • 11 篇 maratea marco
  • 11 篇 inoue katsumi
  • 10 篇 fink michael
  • 10 篇 neves joao

语言

  • 1,537 篇 英文
  • 8 篇 中文
  • 4 篇 其他
检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"
1549 条 记 录,以下是11-20 订阅
排序:
logic for programming, artificial intelligence, and reasoning - 17th international conference, LPAR-17, Proceedings
Logic for Programming, Artificial Intelligence, and Reasonin...
收藏 引用
17th international conference on logic for programming, artificial intelligence, and reasoning, LPAR-17
the proceedings contain 45 papers. the topics discussed include: the complexity of partial-observation parity games;awareness in games, awareness in logic;human and unhuman commonsense reasoning;tableau calculus for t...
来源: 评论
24th international conference on logic for programming, artificial intelligence and reasoning, LPAR 2023
24th International Conference on Logic for Programming, Arti...
收藏 引用
24th international conference on logic for programming, artificial intelligence and reasoning, LPAR 2023
the proceedings contain 27 papers. the special focus in this conference is on logic for programming, artificial intelligence and reasoning. the topics include: Counterfactuals Modulo Temporal logics;an excursion to th...
来源: 评论
9th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2002
9th International Conference on Logic for Programming, Artif...
收藏 引用
9th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2002
the proceedings contain 30 papers. the special focus in this conference is on logic for programming, artificial intelligence, and reasoning. the topics include: Improving on-demand strategy annotations;first-order log...
来源: 评论
logic for programming, artificial intelligence, and reasoning - 16th international conference, LPAR-16, Revised Selected Papers
Logic for Programming, Artificial Intelligence, and Reasonin...
收藏 引用
16th international conference on logic for programming, artificial intelligence, and reasoning, LPAR-16
the proceedings contain 28 papers. the topics discussed include: speed-up techniques for negation in grounding;constraint-based abstract semantics for temporal logic: a direct approach to design and implementation;on ...
来源: 评论
logic for programming, artificial intelligence, and reasoning - 13th international conference, LPAR 2006, Proceedings
收藏 引用
13th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2006
the proceedings contain 38 papers. the topics discussed include: deciding satisfiability of positive second order joinability formulae;SAT solving for argument filterings;inductive decidability using implicit inductio... 详细信息
来源: 评论
logic for programming, artificial intelligence, and reasoning - 19th international conference, LPAR 2013, Proceedings
Logic for Programming, Artificial Intelligence, and Reasonin...
收藏 引用
19th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2013
the proceedings contain 52 papers. the topics discussed include: an algorithm for enumerating maximal models of horn theories with an application to modal logics;may-happen-in-parallel analysis for priority-based sche...
来源: 评论
17th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2010
17th International Conference on Logic for Programming, Arti...
收藏 引用
17th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2010
the proceedings contain 45 papers. the special focus in this conference is on logic for programming, artificial intelligence, and reasoning. the topics include: Characterising space complexity classes via Knuth-Bendix...
来源: 评论
16th international conference on logic for programming, artificial intelligence and reasoning, LPAR 2010
16th International Conference on Logic for Programming, Arti...
收藏 引用
16th international conference on logic for programming, artificial intelligence and reasoning, LPAR 2010
the proceedings contain 28 papers. the special focus in this conference is on logic for programming. the topics include: logic and computation in a lambda calculus with intersection and union types;graded alternating-...
来源: 评论
19th international conference on logic for programming artificial intelligence and reasoning
19th International Conference on Logic for Programming Artif...
收藏 引用
作者: Sciavicco, Guido Dept. of Information and Communication Engineering University of Murcia Spain
来源: 评论
logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (Lecture Notes in Computer Science)
收藏 引用
2006年
作者: Geoff Sutcliffe Andrei Voronkov
来源: 评论