Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving

组合系统前沿研讨会暨一阶定理证明研讨会

基本信息

  • 批准号:
    EP/F014058/1
  • 负责人:
  • 金额:
    $ 1.22万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Research Grant
  • 财政年份:
    2007
  • 资助国家:
    英国
  • 起止时间:
    2007 至 无数据
  • 项目状态:
    已结题

项目摘要

This is a proposal for support for the 6th Symposium of Frontiers of Combining Systems (FroCoS)and the 6th International Workshop on First-order theorem Proving (FTP) which will be held on10th-13th September 2007 at the University of Liverpool.Founded in 1996, FroCoS has become the main scientific meeting devoted to research on combining logics and systems in computer science and artificial intelligence. Its aim is to bring together researchers from various areas working on combination problems in order to promote fruitful interaction and development of generic techniques and methods for combination andintegration of special formally defined systems and logics, as well as for the analysis and modularisation of complex systems. Examples of topics presented at FroCoS are combinations of constraint systems and decision procedures, combinations of modal, temporal and epistemic logics and their applications indistributed and multi-agent systems, modularity in software specification and ontologies, and satisfiability modulo theories.The aim of the FTP workshop series is to bring together researchers interested in all aspects of first-order theorem proving, who will present work at the cutting edge of their field. Given the various model theoretical, proof theoretical and practical aspects of first-order theorem proving as well as its many areas of application, FTP covers a wide range of topics. For example, reasoning methods for first-order logic, decision procedures and model building, combinations of logics and systems, reasoning modulo theories, and applications and systems.As is evident from the description of the topics addressed by the two series of events, common interests of FroCoS and FTP are the combination of logics, theories and decision procedures as well as satisfiability modulo theories. It is these common interests that motivate us to co-locate the events.
这是一个支持第六届组合系统前沿研讨会(FroCoS)和第六届一阶定理证明国际研讨会(FTP)的提案,该研讨会将于2007年9月10日至13日在利物浦大学举行。FroCoS成立于1996年,已成为致力于研究计算机科学和人工智能中逻辑和系统结合的主要科学会议。它的目的是汇集来自不同领域的研究人员在组合问题上的工作,以促进富有成效的互动和通用技术和方法的发展,用于特殊正式定义的系统和逻辑的组合和集成,以及复杂系统的分析和模块化。在FroCoS上提出的主题的例子是约束系统和决策过程的组合,模态,时态和认知逻辑的组合及其在分布式和多代理系统中的应用,软件规范和本体中的模块化,以及可满足性模理论。FTP研讨会系列的目的是汇集对一阶定理证明的各个方面感兴趣的研究人员,他们将展示各自领域的前沿研究成果鉴于一阶定理证明的各种模型理论、证明理论和实践方面以及其许多应用领域,FTP涵盖了广泛的主题。例如,一阶逻辑的推理方法,决策过程和模型构建,逻辑和系统的组合,推理模理论,以及应用和系统。从两个系列事件所解决的主题的描述中可以看出,FroCoS和FTP的共同兴趣是逻辑,理论和决策过程以及可满足性模理论的组合。正是这些共同利益促使我们共同举办活动。

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Proceedings of the 6th International Workshop on First-Order Theorem Proving
第六届一阶定理证明国际研讨会论文集
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ranise (Editor)
  • 通讯作者:
    Ranise (Editor)
Frontiers of Combining Systems
组合系统的前沿
  • DOI:
    10.1007/978-3-642-40885-4_20
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Papacchini F
  • 通讯作者:
    Papacchini F
{{ 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 }}

Frank Wolter其他文献

Conservative Extensions in Guarded and Two-Variable Fragments
保护片段和二变量片段中的保守扩展
  • DOI:
    10.4230/lipics.icalp.2017.108
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jean Christoph Jung;Carsten Lutz;Mauricio Martel;Thomas Schneider;Frank Wolter
  • 通讯作者:
    Frank Wolter
Logics of metric spaces
度量空间的逻辑
  • DOI:
  • 发表时间:
    2003
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Oliver Kutz;Frank Wolter;H. Sturm;Nobu;M. Zakharyaschev
  • 通讯作者:
    M. Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
  • DOI:
    10.1023/a:1021308527417
  • 发表时间:
    2002-01-01
  • 期刊:
  • 影响因子:
    0.600
  • 作者:
    Carsten Lutz;Holger Sturm;Frank Wolter;Michael Zakharyaschev
  • 通讯作者:
    Michael Zakharyaschev
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract)
本体近似之旅:从非喇叭到喇叭(摘要)
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Anneke Haga;Carsten Lutz;Johannes Marti;Frank Wolter
  • 通讯作者:
    Frank Wolter
A Note on the Interpolation Property in Tense Logic
  • DOI:
    10.1023/a:1017956722866
  • 发表时间:
    1997-10-01
  • 期刊:
  • 影响因子:
    1.000
  • 作者:
    Frank Wolter
  • 通讯作者:
    Frank Wolter

Frank Wolter的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Frank Wolter', 18)}}的其他基金

quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data
quantMD:基于本体的多维定量数据管理
  • 批准号:
    EP/S032207/1
  • 财政年份:
    2019
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Research Grant
iTract: Islands of Tractability in Ontology-Based Data Access
iTract:基于本体的数据访问中的易处理性孤岛
  • 批准号:
    EP/M012646/1
  • 财政年份:
    2015
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Research Grant
Composing and decomposing ontologies: a logic-based approach
本体的组合和分解:基于逻辑的方法
  • 批准号:
    EP/E065279/1
  • 财政年份:
    2007
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Research Grant

相似国自然基金

Frontiers of Environmental Science & Engineering
  • 批准号:
    51224004
  • 批准年份:
    2012
  • 资助金额:
    20.0 万元
  • 项目类别:
    专项基金项目
Frontiers of Physics 出版资助
  • 批准号:
    11224805
  • 批准年份:
    2012
  • 资助金额:
    20.0 万元
  • 项目类别:
    专项基金项目
Frontiers of Mathematics in China
  • 批准号:
    11024802
  • 批准年份:
    2010
  • 资助金额:
    16.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

Conference: 2024 NanoFlorida Conference: New Frontiers in Nanoscale interactions
会议:2024 年纳米佛罗里达会议:纳米尺度相互作用的新前沿
  • 批准号:
    2415310
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
New Frontiers for Anonymous Authentication
匿名身份验证的新领域
  • 批准号:
    DE240100282
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Discovery Early Career Researcher Award
Collaborative Research: AF: Small: Exploring the Frontiers of Adversarial Robustness
合作研究:AF:小型:探索对抗鲁棒性的前沿
  • 批准号:
    2335411
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
New Frontiers in Large-Scale Polynomial Optimisation
大规模多项式优化的新领域
  • 批准号:
    DE240100674
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Discovery Early Career Researcher Award
Mapping the Frontiers of Private Property in Australia
绘制澳大利亚私有财产的边界
  • 批准号:
    DP240100395
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Discovery Projects
RTG: Frontiers in Applied Analysis
RTG:应用分析前沿
  • 批准号:
    2342349
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Continuing Grant
Conference: Frontiers of Geometric Analysis
会议:几何分析前沿
  • 批准号:
    2347894
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
Conference: USA-UK-China-Israel Workshop on Frontiers in Ecology and Evolution of Infectious Diseases
会议:美国-英国-中国-以色列生态学和传染病进化前沿研讨会
  • 批准号:
    2406564
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
Conference: FRONTIERS OF ENGINEERING (2024 US FOE, 2024 China-America FOE, and 2025 German-American FOE)
会议:工程前沿(2024年美国之敌、2024年中美之敌、2025年德美之敌)
  • 批准号:
    2405026
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
Frontiers in gravitational wave astronomy (FRoGW)
引力波天文学前沿(FRoGW)
  • 批准号:
    EP/Y023706/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Fellowship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了