咨询与建议

限定检索结果

文献类型

  • 20 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

  • 7 篇 logic programmin...
  • 1 篇 fuzzy logic
  • 1 篇 computer circuit...
  • 1 篇 project manageme...
  • 1 篇 international
  • 1 篇 inference engine...
  • 1 篇 formal logic
  • 1 篇 prolog (programm...
  • 1 篇 programming
  • 1 篇 automated
  • 1 篇 neural networks
  • 1 篇 conference,
  • 1 篇 calculations
  • 1 篇 regression tree ...
  • 1 篇 predictive model...
  • 1 篇 software develop...
  • 1 篇 sampling methods
  • 1 篇 georgia,
  • 1 篇 focusing
  • 1 篇 abstracting

机构

  • 2 篇 dipartimento di ...
  • 1 篇 computer science...
  • 1 篇 departement comp...
  • 1 篇 nicta nsw
  • 1 篇 taras shevchenko...
  • 1 篇 computer science...
  • 1 篇 leria université...
  • 1 篇 fg intellektik f...
  • 1 篇 computing scienc...
  • 1 篇 manchester metro...
  • 1 篇 departamento de ...
  • 1 篇 dsic upv camino ...
  • 1 篇 department of in...
  • 1 篇 institut für inf...
  • 1 篇 college of infor...
  • 1 篇 glushkov institu...
  • 1 篇 xerox research c...
  • 1 篇 univ miami coral...
  • 1 篇 australian natl ...
  • 1 篇 glushkov institu...

作者

  • 1 篇 merz stephan
  • 1 篇 a.r. gray
  • 1 篇 saubion frédéric
  • 1 篇 bruynooghe mauri...
  • 1 篇 lyaletski alexan...
  • 1 篇 h. ganzinger
  • 1 篇 mayer marta cial...
  • 1 篇 baumgartner pete...
  • 1 篇 papadimitriou ch...
  • 1 篇 andreoli jean-ma...
  • 1 篇 sagonas konstant...
  • 1 篇 vidal germán
  • 1 篇 balduccini marce...
  • 1 篇 degtyarev anatol...
  • 1 篇 limet sébastien
  • 1 篇 sutcliffe geoff
  • 1 篇 cerrito serenell...
  • 1 篇 schulz stephan
  • 1 篇 claessen koen
  • 1 篇 pimentel ernesto

语言

  • 21 篇 英文
检索条件"任意字段=6th International Conference on Logic for Programming and Automated Reasoning, LPAR 1999"
21 条 记 录,以下是1-10 订阅
排序:
logic for programming and automated reasoning : 6th international conference, lpar'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings
收藏 引用
2016年
作者: h. ganzinger
logic for programming and automated reasoning : 6th international conference, lpar'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings by lpar '99 (1999 : Tʻbilisi, Georgia); Ganzinger, H. (Harald), 1950-... 详细信息
来源: 评论
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: ...
来源: 评论
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... 详细信息
来源: 评论
the TPTP Typed First-Order Form with Arithmetic
The TPTP Typed First-Order Form with Arithmetic
收藏 引用
18th international conference on logic for programming, Artificial Intelligence, and reasoning (lpar)
作者: Sutcliffe, Geoff Schulz, Stephan Claessen, Koen Baumgartner, Peter Univ Miami Coral Gables FL 33124 USA Tech Univ Munich Munich Germany Chamlers Univ Gothenburg Sweden NICTA Sydney NSW Australia Australian Natl Univ Canberra ACT Australia
the TPTP World is a well established infrastructure supporting research, development, and deployment of automated theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logi... 详细信息
来源: 评论
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...
来源: 评论
logic for programming and automated reasoning - 6th international conference, lpar 1999, Proceedings
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
the proceedings contain 23 papers. the topics discussed include: on the complexity of counting the Hilbert basis of a linear diophantine system;solving combinatorial problems with regular local search algorithms;evide...
来源: 评论
6th international Workshop on Agent theories Architectures, and Languages, ATAL 1999
6th International Workshop on Agent Theories Architectures, ...
收藏 引用
6th international Workshop on Agent theories Architectures and Languages, ATAL 1999
the proceedings contain 28 papers. the special focus in this conference is on Relationships between the theory and Practice of Agents. the topics include: reasoning about visibility, perception and knowledge;a spectru...
来源: 评论
A fixpoint semantics for reasoning about finite failure
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
作者: Gori, Roberta Dipartimento di Informatica Università di Pisa Corso Italia 40 56125 Pisa Italy
Our aim is to define a new fixpoint semantics which correctly models finite failure. In order to achieve this goal a new fixpoint operator is derived from a "suitable" concrete semaoitics by defining a Galoi... 详细信息
来源: 评论
Animating TLA specifications
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
作者: Mokhtari, Yassine Merz, Stephan LORIA-UMR No 7503 Université Henri Poincaré Nancy France Institut für Informatik Universität München Germany
TLA (the Temporal logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, with the intent to ... 详细信息
来源: 评论
Abstracting properties in concurrent constraint programming
收藏 引用
6th international conference on logic for programming and automated reasoning, lpar 1999
作者: Moreno, René Dipartimento di Informatica Università di Pisa Corso Italia 40 56125 Pisa Italy
We present a denotational semantics for concurrent constraint programming based on derivations containing sequences of interactions of a process with the environment. Our semantic is then used as collecting semantics ... 详细信息
来源: 评论