概述

LaSh研讨会的目的是促进与语言相关的主题的科学交流，以表示具有计算挑战性的搜索问题，以及解决这些问题的方法。研究范围包括相关逻辑、算法和基于逻辑的系统的研究，以及从逻辑的角度研究其他语言和系统（广义上理解）。 

困难的组合搜索和优化问题在科学、工程和其他领域大量存在。示例包括规划、调度和配置问题。一些社区已经为此类问题开发了通用解决技术，并由声明性建模或规范语言提供支持。其中包括来自知识表示（KR）的答案集编程（ASP）、来自约束编程（CP）的约束求解器和建模语言，以及来自数学编程的整数线性规划（ILP）求解器和代数建模语言。其他相关领域包括命题可满足性（SAT）、可满足性模理论（SMT）以及基于经典逻辑和FO（ID）的表示语言。

尽管侧重点不同，但目的相同。事实上，在解决技术方面有很多相似之处，并且在解决问题和代表性问题方面增加了领域之间的交流。从逻辑的角度来看，无论给定的语言或系统是否用逻辑术语描述，我们都有定义某类结构的语言，以及目的是计算类中结构的系统。逻辑可以被视为构建系统的明确基础，作为一种分析工具，或者作为一种更统一地看待系统多样性的正式方法。

感兴趣的主题包括但不限于：

• 与搜索和优化问题研究相关的逻辑
• 表示、规范和建模语言
• 说明或说明规格的方法
• 接地及相关语言转换方法
• 逻辑和语言的表达性和复杂性
• 地面解算器及其语言：SAT、ASP、SMT、FlatZin等
• 新的或扩展的地面解算器语言：SAT+Cardinality、SAT+TC等。
• 系统、解算器和相关工具的设计
• 近似、可处理问题类等。
• 求解器背后的证明系统和推理方法。
• 不同语言或方法在抽象或形式上的比较
• 有趣的应用，无论是作为案例研究还是挑战
• 基准问题和实例集合

2014年LaSh如下2010年拉什（英国爱丁堡）2008年拉什（比利时鲁汶）和拉什2006（美国西雅图）。

文件征集

索取文件

组织

请参见项目委员会对于研讨会主席，整个项目委员会将很快宣布。