首页>外文会议>其他>AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends

AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Synthesizing UML statecharts from requirements scenarios+propositional constraints - position statement

机译：从需求方案+命题约束综合UML StateCharts - Position语句
- 作者：Jon Whittle
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
2.Program synthesis is 'just' another learning problem

机译：程序综合是“只是”另一个学习问题
- 作者：Leona F. Fass
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
3.Logic-based program synthesis via program extraction

机译：基于逻辑的程序综合通过程序提取
- 作者：Ewen Denney
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
4.Designing reliable, high-performance networks with the NUPRL logical programming environment -position statement

机译：使用Nuprl逻辑编程环境设计可靠，高性能的网络 - 键盘语句
- 作者：Christoph Kreitz
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
5.Automatic synthesis of statistical data analysis programs - position statement

机译：统计数据分析程序的自动综合 - 位置陈述
- 作者：Bernd Fischer
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
6.The roles of witness-finding in software synthesis

机译：证人的角色在软件综合中的作用
- 作者：Douglas R. Smith
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
7.Logic-based program synthesis: state-of-the-art and future trends

机译：基于逻辑的计划综合：最先进的和未来趋势
- 作者：Steve Roach
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
8.APIS-automatic production of information systems

机译：API-自动生产信息系统
- 作者：M. Frappier;B. Fraikin;M. Richard;R. Laleau
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
9.Toward automatic synthesis of security protocols

机译：旨在自动综合安全协议
- 作者：Hassen Saidi
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
10.Synthesis of efficient constraint satisfaction programs

机译：综合有效约束满足计划
- 作者：Stephen J. Westfold;Douglas R. Smith
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
11.Implementing extended structural synthesis of programs

机译：实施方案的扩展结构综合
- 作者：Sven Lammermann;Enn Tyugu
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
12.Control rules for reactive system games

机译：无功系统游戏的控制规则
- 作者：Matteo Slanina
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
13.Proof planning and program synthesis: a survey

机译：证明计划和计划综合：调查
- 作者：Julian Richardson
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
14.Combining automated theorem provers and computer algebra systems for generating formal proofs of complexity bounds

机译：结合自动定理普罗瓦和计算机代数系统，以产生复杂性界定的正式证明
- 作者：Ralph Benzinger
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
15.Retrieval as synthesis: feature-based retrieval and adaptation architectures

机译：作为综合检索：基于特征的检索和适配架构
- 作者：Perry Alexander;Cindy Kong;Brandon Morel
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
16.A model for software reliability and the impact of program synthesis -position statement

机译：软件可靠性的模型和程序综合 - 娱乐声明的影响
- 作者：Michael R. Lowry
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
17.Program synthesis for combinatorial optimisation problems position statement

机译：组合优化问题的程序合成位置陈述
- 作者：Pierre Flener
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
18.Incomplete proofs and program synthesis extended abstract

机译：不完整的证据和程序综合扩展摘要
- 作者：G. Mints
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
19.Automatic synthesis of safety-related software -short paper

机译：自动合成安全相关软件 - 纸张
- 作者：Johann Schumann
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年
20.Extracting feasible programs

机译：提取可行计划
- 作者：Jean-Yves Marion
- 会议名称：《AAAI Symposium on Logic-Based Program Synthesis: State of the Art and Future Trends》 | 2002年