article

An optimality result for clause form translation

Author:

Thierry Boy de la TourAuthors Info & Claims

Journal of Symbolic Computation, Volume 14, Issue 4

Pages 283 - 301

https://doi.org/10.1016/0747-7171(92)90009-S

Published: 01 October 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Kuiter EKrieter SSundermann CThüm TSaake G(2022)Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model AnalysesProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556938(1-13)Online publication date: 10-Oct-2022
https://dl.acm.org/doi/10.1145/3551349.3556938
Schmidt JLeuschel M(2022)SMT solving for the validation of B and Event-B modelsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-022-00682-y24:6(1043-1077)Online publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1007/s10009-022-00682-y
Alouneh SAbed SAl Shayeji MMesleh R(2019)A comprehensive study and analysis on SAT-solvers: advances, usages and achievementsArtificial Intelligence Review10.1007/s10462-018-9628-052:4(2575-2601)Online publication date: 1-Dec-2019
https://dl.acm.org/doi/10.1007/s10462-018-9628-0
Show More Cited By

Index Terms

An optimality result for clause form translation
1. Theory of computation
  1. Logic

Recommendations

Definite Clause Translation Grammars
Syntactic parsing of clause constituents for statistical machine translation

The clause is considered as the basic unit of grammar in linguistics, which is a structure between a chunk and a sentence. Clause constituents, therefore, are one important kind of linguistically valid syntactic phrases. This paper adopts the CRFs model ...
Clause restructuring for statistical machine translation
ACL '05: Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics

We describe a method for incorporating syntactic information in statistical machine translation systems. The first step of the method is to parse the source language string that is being translated. The second step is to apply a series of ...

Comments

Information & Contributors

Information

Published In

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 October 1992

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kuiter EKrieter SSundermann CThüm TSaake G(2022)Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model AnalysesProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556938(1-13)Online publication date: 10-Oct-2022
https://dl.acm.org/doi/10.1145/3551349.3556938
Schmidt JLeuschel M(2022)SMT solving for the validation of B and Event-B modelsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-022-00682-y24:6(1043-1077)Online publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1007/s10009-022-00682-y
Alouneh SAbed SAl Shayeji MMesleh R(2019)A comprehensive study and analysis on SAT-solvers: advances, usages and achievementsArtificial Intelligence Review10.1007/s10462-018-9628-052:4(2575-2601)Online publication date: 1-Dec-2019
https://dl.acm.org/doi/10.1007/s10462-018-9628-0
Guller D(2018)Automated Deduction in Gödel LogicACM Transactions on Computational Logic10.1145/321881719:3(1-28)Online publication date: 30-Aug-2018
https://dl.acm.org/doi/10.1145/3218817
Lyu YChen LZhang CQu DMin-Allah NWang Y(2018)An interleaved depth-first search method for the linear optimization problem with disjunctive constraintsJournal of Global Optimization10.1007/s10898-017-0602-170:4(737-756)Online publication date: 1-Apr-2018
https://dl.acm.org/doi/10.1007/s10898-017-0602-1
Azmy NWeidenbach C(2013)Computing tiny clause normal formsProceedings of the 24th international conference on Automated Deduction10.1007/978-3-642-38574-2_7(109-125)Online publication date: 9-Jun-2013
https://dl.acm.org/doi/10.1007/978-3-642-38574-2_7
Chambers BManolios PVroon DBenini LDe Micheli GAl-Hashimi BMueller W(2009)Faster SAT solving with better CNF generationProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1875002(1590-1595)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1875002
Egly USeidl MWoltran S(2009)A solver for QBFs in negation normal formConstraints10.1007/s10601-008-9055-y14:1(38-79)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1007/s10601-008-9055-y
Lonsing FBiere A(2008)NenofexProceedings of the 11th international conference on Theory and applications of satisfiability testing10.5555/1789854.1789873(196-210)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1789854.1789873
Schmidt RHustadt U(2007)The axiomatic translation principle for modal logicACM Transactions on Computational Logic10.1145/1276920.12769218:4(19-es)Online publication date: 1-Aug-2007
https://dl.acm.org/doi/10.1145/1276920.1276921
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Definite Clause Translation Grammars

Syntactic parsing of clause constituents for statistical machine translation

Clause restructuring for statistical machine translation

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations