咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献
  • 1 册 图书
  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 2 篇 logic programmin...
  • 1 篇 left-corner pars...
  • 1 篇 error correction
  • 1 篇 software enginee...
  • 1 篇 natural language...
  • 1 篇 natural language...
  • 1 篇 linear affine im...
  • 1 篇 automatic progra...
  • 1 篇 databases
  • 1 篇 programming tech...
  • 1 篇 programming lang...
  • 1 篇 hypothetical rea...
  • 1 篇 artificial intel...
  • 1 篇 testing
  • 1 篇 logics and meani...
  • 1 篇 functional progr...
  • 1 篇 coordination
  • 1 篇 error detection ...
  • 1 篇 datalog grammars

机构

  • 1 篇 logic and functi...
  • 1 篇 computer science...
  • 1 篇 logic and functi...
  • 1 篇 logic and functi...
  • 1 篇 avaya labs
  • 1 篇 simon fraser uni...
  • 1 篇 avaya labs 233 m...

作者

  • 2 篇 dahl veronica
  • 2 篇 veronica dahl
  • 1 篇 t. yeh
  • 1 篇 kimberly d. voll
  • 1 篇 v. dahl
  • 1 篇 wadler philip
  • 1 篇 philip wadler
  • 1 篇 k. voll
  • 1 篇 tom p. yeh

语言

  • 5 篇 英文
检索条件"机构=Logic and Functional Programming Group"
5 条 记 录,以下是1-10 订阅
Practical Aspects of Declarative Languages  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Veronica Dahl Philip Wadler
来源: 评论
An assumptive logic programming methodology for parsing
An assumptive logic programming methodology for parsing
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: K. Voll T. Yeh V. Dahl Logic and Functional Programming Group School of Computing Science Simon Fraser University Burnaby BC Canada
We show how several novel tools in logic programming for AI (namely, continuation based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processi... 详细信息
来源: 评论
On implicit meanings
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 第PART2期2408卷 506-525页
作者: Dahl, Veronica Logic and Functional Programming Group School of Computing Science Simon Fraser University Burnaby BC V5A 1S6 Canada
We present a logic programming parsing methodology which we believe especially interesting for understanding implicit human-language structures. It records parsing state constituents through linear assumptions to be c... 详细信息
来源: 评论
AN ASSUMPTIVE logic programming METHODOLOGY FOR PARSING
收藏 引用
International Journal on Artificial Intelligence Tools 2001年 第4期10卷 573-588页
作者: KIMBERLY D. VOLL TOM P. YEH VERONICA DAHL Logic and Functional Programming Group School of Computing Science Simon Fraser University Burnaby B.C. Canada V5A 1S6 Canada
We show how two novel tools in logic programming for AI (namely, continuation-based linear and timeless assumptions, and Datalog grammars) can assist us in producing terse treatments of difficult language processing p... 详细信息
来源: 评论
Preface
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2562卷
作者: Dahl, Veronica Wadler, Philip Simon Fraser University Computer Science Department Logic and Functional Programming Group 8888 University Drive BurnabyBC Canada Avaya Labs 233 Mount Airy Road Basking RidgeNJ United States
来源: 评论