首页>外文会议>其他>Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)

Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Recognition of 3D Objects in Aerial Images Based on Generic Models

机译：基于通用模型的航空影像中3D物体识别
- 作者：Thomas H. Kolbe
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
2.Specification of Complex Systems with Definite Clause Grammar

机译：具有确定子句语法的复杂系统的规范
- 作者：H. Lewis Chau
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
3.Tracing Prolog without a tracer

机译：不使用追踪器追踪Prolog
- 作者：Mireille Ducasse;Jacques Noye
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
4.On Merging Theorem Proving and Logic Programming Paradigms

机译：论定理证明与逻辑编程范例的融合
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
5.Logic Programming Tools Applied to Fire Detection in Hard-coal Mines

机译：逻辑编程工具应用于硬煤火灾探测
- 作者：Wolfram Burgard;Armin B. Cremers;Dieter Fox;Angelica M. Kappel;Stefan Liittringhaus-Kappel
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
6.Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory

机译：Attempto受控英语（ACE）：在正式领土上看似非正式的桥头堡
- 作者：Rolf Schwitter;Norbert E. Fuchs
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
7.Colour Tagging for Prolog Visualization

机译：颜色标记以实现Prolog可视化
- 作者：Michael Dobrohoczki;Anthony Kusalik;Eric Neufeld
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
8.GUPU: A Prolog course environment and its programming methodology

机译：GUPU：Prolog课程环境及其编程方法
- 作者：Ulrich Neumerkel
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
9.Optimizing Constraint-Intensive Problems Using Early Projection

机译：使用早期投影优化约束密集型问题
- 作者：Andreas Fordan;Ulrich Geske;Alexander Nareyek
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
10.Procalog $$$$ Programming with Constraints and Abducibles in Logic

机译：Procalog $$$$在逻辑中使用约束和可乘性进行编程
- 作者：Gerhard Wetzel;Robert A. Kowalski;Francesca Toni
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
11.Probabilistic Disjunctive Deductive Databases

机译：概率析取演绎数据库
- 作者：Liem Ngo
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
12.Rational Models of Normal Logic Programs

机译：普通逻辑程序的理性模型
- 作者：Sven-Erik Bornscheuer
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
13.Applications of Efficient Lazy Set Expression

机译：高效懒集表达的应用
- 作者：Stefan Luettringhaus-Kappel;Dirk Schulz
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
14.Dependent And-Parallelism Revisited

机译：重新审视依存与平行
- 作者：E. Pontelli;G. Gupta
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
15.A Hypertext Based Environment to Write Literate Logic Programs

机译：基于超文本的环境，可编写精巧的逻辑程序
- 作者：Pierre Deransart;Roberto da Silva Bigonha;Patrick Parot;Mariza Andrade da Silva Bigonha;Jose de Siqueira
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
16.A General Framework for Integrating HCLP and PCSP - Extended Abstract

机译：HCLP和PCSP集成的通用框架-扩展摘要
- 作者：Michael Jampel;Jean-Marie Jacquet;David Gilbert
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
17.How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification

机译：如何从原始规范中扩展部分演绎以派生KMP字符串匹配算法
- 作者：Alberto Pettorossi;Maurizio Proietti;Sophie Renault
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年
18.Logic Programming and Databases Integrated at Last?

机译：逻辑编程和数据库最终集成在一起了吗？
- 作者：Juliana Freire;Terrance Swift;David S. Warren
- 会议名称：《Poster session at JICSLP;Poster session at Joint International Conference and Symposium on Logic Programming; 19960902-06;19960902-06; Bonn(DE);Bonn(DE)》 | 1996年