US-Turkey Cooperative Research: Realistic Applications of Action Languages for Workflow Management
美国-土耳其合作研究:动作语言在工作流管理中的现实应用
基本信息
- 批准号:0004433
- 负责人:
- 金额:$ 3.09万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2001
- 资助国家:美国
- 起止时间:2001-03-15 至 2005-02-28
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
0004433LIfschitz Description: This award is for support of a cooperative project by Professor Vladimir Lifschitz, Department of Computer Science, the University of Texas, Austin, Texas, Drs. Ferda Nur Alpaslan and Ismail Hakki Totoslu, Computer Engineering Department, Middle East Technical University, Ankara, Turkey, and Dr. Varol Akman, Department of Computer Engineering, Bilkent University, Ankara Turkey. These scientists plan to study the application of artificial intelligence to workflow management. Action languages are formal models of parts of natural language that are used for talking about the effects of actions. The Causal Calculator is a software system that allows the user to automate planning and reasoning about actions in domains described in an expressive action language called C. The scientists plan to develop a translation tool that will translate from a workflow specification language into Action Language, C. This will allow permit the automation of the process of workflow management. They will also design a tool for the graphical representation of C programs that will help the users to visualize the entire workflow. Scope: In this project the collaborators plan to combine their expertise in an important area of scientific research. The expertise of the US scientist and his team has been in the design, implementation and use of the Causal Calculator. The Turkish researchers have been working on workflow management and its relation to action languages. Two US graduate students from Dr. Lifschitz' department will participate in the project and will work in Turkey with their foreign counterparts, thus gaining an international research experience early in their careers. The project meets INT criteria for support of cooperative projects that are mutually beneficial, and which help give international experiences to young scientists and graduate students.
0004433LIfschitz描述:该奖项是为了支持德克萨斯大学奥斯汀分校计算机科学系的弗拉基米尔·利夫希茨教授、土耳其安卡拉中东技术大学计算机工程系的Ferda努尔·阿尔帕斯兰博士和Ismail Hakki Totoslu博士以及土耳其安卡拉Bilkent大学计算机工程系的Varol Akman博士的合作项目。 这些科学家计划研究人工智能在工作流管理中的应用。 动作语言是自然语言的一部分的形式化模型,用于讨论动作的效果。 因果计算器是一个软件系统,允许用户自动规划和推理领域中的行动描述在一个表达的行动语言称为C。 科学家们计划开发一种翻译工具,将工作流规范语言翻译成动作语言C。 这将允许工作流程管理过程的自动化。 他们还将设计一个工具,用于C程序的图形表示,这将有助于用户可视化整个工作流程。 范围:在这个项目中,合作者计划将他们的专业知识联合收割机结合在一个重要的科学研究领域。 美国科学家和他的团队的专业知识一直在因果计算器的设计,实施和使用。 土耳其研究人员一直致力于工作流管理及其与行动语言的关系。 Lifschitz博士所在部门的两名美国研究生将参与该项目,并将在土耳其与外国同行一起工作,从而在职业生涯的早期获得国际研究经验。该项目符合INT支持互利合作项目的标准,有助于为年轻科学家和研究生提供国际经验。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Vladimir Lifschitz其他文献
Classical negation in logic programs and disjunctive databases
- DOI:
10.1007/bf03037169 - 发表时间:
1991-08-01 - 期刊:
- 影响因子:2.800
- 作者:
Michael Gelfond;Vladimir Lifschitz - 通讯作者:
Vladimir Lifschitz
The Dramatic True Story of the Frame Default
- DOI:
10.1007/s10992-014-9332-8 - 发表时间:
2014-09-26 - 期刊:
- 影响因子:1.000
- 作者:
Vladimir Lifschitz - 通讯作者:
Vladimir Lifschitz
What is the inverse method?
- DOI:
10.1007/bf00245018 - 发表时间:
1989-03-01 - 期刊:
- 影响因子:0.800
- 作者:
Vladimir Lifschitz - 通讯作者:
Vladimir Lifschitz
Locally Tight Programs
局部紧缩计划
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:1.4
- 作者:
Jorge Fandinno;Vladimir Lifschitz;Nathan Temple - 通讯作者:
Nathan Temple
Two components of an action language
- DOI:
10.1023/a:1018973620715 - 发表时间:
1997-12-01 - 期刊:
- 影响因子:1.000
- 作者:
Vladimir Lifschitz - 通讯作者:
Vladimir Lifschitz
Vladimir Lifschitz的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Vladimir Lifschitz', 18)}}的其他基金
RI: Small: Mathematical Analysis of an Answer Set Programming Language
RI:小:答案集编程语言的数学分析
- 批准号:
1422455 - 财政年份:2014
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
RI: Nonpropositional Nonmonotonic Languages for Knowledge Representation
RI:用于知识表示的非命题非单调语言
- 批准号:
0712113 - 财政年份:2007
- 资助金额:
$ 3.09万 - 项目类别:
Continuing Grant
General Purpose Database of Knowledge about Actions
有关行动的通用知识数据库
- 批准号:
0412907 - 财政年份:2004
- 资助金额:
$ 3.09万 - 项目类别:
Continuing Grant
Formalization and Automation of Reasoning about Actions
动作推理的形式化和自动化
- 批准号:
9732744 - 财政年份:1998
- 资助金额:
$ 3.09万 - 项目类别:
Continuing Grant
High-Level Languages for Describing Action and Change
用于描述行动和变化的高级语言
- 批准号:
9306751 - 财政年份:1993
- 资助金额:
$ 3.09万 - 项目类别:
Continuing Grant
Representing Properties of Actions in Extensions of Logic Programming
逻辑编程扩展中动作的属性表示
- 批准号:
9101078 - 财政年份:1991
- 资助金额:
$ 3.09万 - 项目类别:
Continuing Grant
The Probabilistic Analysis of Combinatorial Problems and Algorithms
组合问题和算法的概率分析
- 批准号:
8002442 - 财政年份:1980
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
相似海外基金
US-Turkey Cooperative Research Project: Studies on the Folding Dynamics of Proteins
美国-土耳其合作研究项目:蛋白质折叠动力学研究
- 批准号:
0352868 - 财政年份:2004
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Tunisia-Turkey Cooperative Research: Developing Durable Composite Systems for Industrial and Infrastructure Applications
美国-突尼斯-土耳其合作研究:开发用于工业和基础设施应用的耐用复合系统
- 批准号:
0504203 - 财政年份:2004
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Development of Catalytic Asymmetric Azomethine Ylide Cycloaddition Reactions
美国-土耳其合作研究:催化不对称偶氮甲碱叶立德环加成反应的进展
- 批准号:
0242964 - 财政年份:2003
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Theoretical Studies of Intermetallic Nanostructures
美国-土耳其合作研究:金属间化合物纳米结构的理论研究
- 批准号:
0244191 - 财政年份:2003
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Application of VLSI Based Soft Computing to Mechatronics
美土合作研究:基于VLSI的软计算在机电一体化中的应用
- 批准号:
0407871 - 财政年份:2003
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Characterization and Processing of Oxide Powders and Compacts
美国-土耳其合作研究:氧化物粉末和压块的表征和加工
- 批准号:
0322622 - 财政年份:2003
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Wave Propagation in Multi-Layered Materials
美国-土耳其合作研究:多层材料中的波传播
- 批准号:
0242772 - 财政年份:2003
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Three-Dimensional Effects in the Fracture of Functionally Graded Materials
美国-土耳其合作研究:功能梯度材料断裂的三维效应
- 批准号:
0322271 - 财政年份:2003
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Integrated Seismological Studies of Crust and Upper Mantle Structure in Western Anatolia
美国-土耳其合作研究:安纳托利亚西部地壳和上地幔结构的综合地震学研究
- 批准号:
0217493 - 财政年份:2002
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant
US-Turkey Cooperative Research: Semi-Analytical Treatments of Nonlinear Stochastic Dynamical Systems with Application to Control Problems
美国-土耳其合作研究:非线性随机动力系统的半解析处理及其在控制问题中的应用
- 批准号:
0217453 - 财政年份:2002
- 资助金额:
$ 3.09万 - 项目类别:
Standard Grant