咨询与建议

限定检索结果

文献类型

  • 20 篇 会议
  • 5 册 图书

馆藏范围

  • 25 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 15 篇 工学
    • 15 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 1 篇 农业工程
  • 6 篇 理学
    • 5 篇 数学
    • 2 篇 系统科学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 7 篇 logic programmin...
  • 4 篇 mathematical log...
  • 4 篇 logics and meani...
  • 3 篇 programming tech...
  • 3 篇 artificial intel...
  • 2 篇 computer system ...
  • 1 篇 fuzzy logic
  • 1 篇 order, lattices,...
  • 1 篇 computer circuit...
  • 1 篇 project manageme...
  • 1 篇 international
  • 1 篇 inference engine...
  • 1 篇 software enginee...
  • 1 篇 formal logic
  • 1 篇 prolog (programm...
  • 1 篇 programming
  • 1 篇 symbolic and alg...
  • 1 篇 software enginee...
  • 1 篇 automated
  • 1 篇 neural networks

机构

  • 2 篇 dipartimento di ...
  • 1 篇 computer science...
  • 1 篇 departement comp...
  • 1 篇 the pennsylvania...
  • 1 篇 nicta nsw
  • 1 篇 taras shevchenko...
  • 1 篇 computer science...
  • 1 篇 institut für inf...
  • 1 篇 simon fraser uni...
  • 1 篇 leria université...
  • 1 篇 fg intellektik f...
  • 1 篇 microsoft resear...
  • 1 篇 computing scienc...
  • 1 篇 at&t labs resear...
  • 1 篇 university of ma...
  • 1 篇 manchester metro...
  • 1 篇 institut für inf...
  • 1 篇 departamento de ...
  • 1 篇 the university o...
  • 1 篇 dsic upv camino ...

作者

  • 2 篇 andrei voronkov
  • 1 篇 merz stephan
  • 1 篇 a.r. gray
  • 1 篇 saubion frédéric
  • 1 篇 bruynooghe mauri...
  • 1 篇 luís moniz perei...
  • 1 篇 rudolf berghamme...
  • 1 篇 kung-kiu lau
  • 1 篇 lyaletski alexan...
  • 1 篇 h. ganzinger
  • 1 篇 ali mohamed jaou...
  • 1 篇 veronica dahl
  • 1 篇 mayer marta cial...
  • 1 篇 baumgartner pete...
  • 1 篇 manfred kerber
  • 1 篇 papadimitriou ch...
  • 1 篇 harald ganzinger
  • 1 篇 andreoli jean-ma...
  • 1 篇 john lloyd
  • 1 篇 peter j. stuckey

语言

  • 25 篇 英文
检索条件"任意字段=6th International Conference on Logic for Programming and Automated Reasoning, LPAR 1999"
25 条 记 录,以下是11-20 订阅
排序:
logic for programming, Artificial Intelligence, and reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Nikolaj Bjørner Andrei Voronkov
this book constitutes the proceedings of the 18th international conference on logic for programming, Artificial Intelligence, and reasoning, lpar-18, held in Merida, Venezuela, in March 2012. the 25 regular papers and... 详细信息
来源: 评论
On the complexity of single-rule datalog queries
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
作者: Gottlob, Georg Papadimitriou, Christos Computer Science Division Dept of Electrical Engineering and Computer Science University of California Berkeley Berkeley CA 94720 United States
Datalog is a well-known database query language based on the logic programming paradigm. A general datalog program consists of a number of rules and facts. Programs containing a unique rule and possibly some facts are... 详细信息
来源: 评论
CHAT is θ(SLG-WAM)
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
作者: Demoen, Bart Sagonas, Konstantinos Department of Computer Science Katholieke Universiteit Leuven Belgium Computing Science Department Uppsala Universitet Sweden
CHAT offers an Eilternative to SLG-WAM for implementing the suspension eind resumption of consumers that tabling needs;unlike SLG-WAM, it does not use freeze registers nor a complicated trail to preserve their executi... 详细信息
来源: 评论
Evidence algorithm and sequent logical inference search
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
作者: Degtyarev, Anatoli I. Lyaletski, Alexander V. Morokhovets, Marina K. Manchester Metropolitan University Department of Computing and Mathematics Chester Street Manchester M1 5GD United Kingdom Taras Shevchenko Kyiv University Cybernetics Department 6 Glushkov avenue 252127 Kyiv Ukraine Glushkov Institute of Cybernetics Digital Automata Theory Department 40 Glushkov avenue 252187 Kyiv Ukraine Glushkov Institute of Cybernetics Ukraine
In this paper we continue to develop the approach to automated search for theorem proofe started in Kyiv in 1960-1970s. this approatch presupposes the development of deductive techniques used for the processing of mat... 详细信息
来源: 评论
logic for programming and automated reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Harald Ganzinger David McAllester Andrei Voronkov
this volume contains the papers presented at the Sixth international conference on logic for programming and automated reasoning (lpar'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the Univers... 详细信息
来源: 评论
Proceedings of ASPOCP 2013 - Answer Set programming and Other Computing Paradigms, 6th international Workshop
Proceedings of ASPOCP 2013 - Answer Set Programming and Othe...
收藏 引用
6th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th international conference on logic programming, ICLP 2013
the proceedings contain 12 papers. the topics discussed include: properties of answer set programming with convex generalized atoms;hybrid automated reasoning tools: from black-box to clear-box integration;aspartame: ...
来源: 评论
First order linear temporal logic over finite time structures
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
作者: Cerrito, Serenella Mayer, Marta Cialdea Praud, Sébastien Université de Paris-Sud L.R.I. France Università di Roma Tre France
In this work, the notion of provability for first order linear temporal logic over finite time structures, FO-LTLfin, is studied. We show that the validity problem for such a logic is not recursively enumerable, hence... 详细信息
来源: 评论
Hybrid automated reasoning tools: From black-box to clear-box integration  6
Hybrid automated reasoning tools: From black-box to clear-bo...
收藏 引用
6th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th international conference on logic programming, ICLP 2013
作者: Balduccini, Marcello Lierler, Yulia College of Information Science and Technology Drexel University United States Computer Science Department University of Nebraska at Omaha United States
Recently, researchers in answer set programming and constraint programming spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separat... 详细信息
来源: 评论
6th international conference on Artificial Intelligence and Symbolic Computation, AISC 2002 held jointly with 10th symposium on the Integration of Symbolic Computation and Mechanized reasoning, Calculemus 2002
收藏 引用
Joint conferences on 6th Artificial Intelligence and Symbolic Computation, AISC 2002 and 10th Symposium on the Integration of Symbolic Computation and Mechanized reasoning, Calculemus 2002
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, automated reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-ord...
来源: 评论
A general framework for R-unification problems  10th
A general framework for R-unification problems
收藏 引用
10th international Symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international conference, ALP 1998
作者: Limet, Sébastien Saubion, Frédéric LIFO Université d’Orléans France LERIA Université d’Angers France
E-unification (i.e. solving equations modulo an equational theory E) is an essential technique in automated reasoning, functional logic programming and symbolic constraint solving but, in general E-unification is unde... 详细信息
来源: 评论