Intelligent Processing of an Unrestricted Text in First Order String Calculus

DOI10.1007/978-3-642-02097-1_6MaRDI QIDQ3638304zbMATH OpenOpenAlexFDO

Authors Andrew Gleibman

Publication date 2 July 2009

Published in Transactions on Computational Science V (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02097-1_6

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Natural language processing (68T50)

Recommendations

• Progressive reasoning over recursively-defined strings
• String Analysis via Automata Manipulation with Logic Circuit Representation
• First-order definable string transformations
• Constraint reasoning over strings
• Indeterminate string inference algorithms
• A study in string processing languages
• scientific article; zbMATH DE number 1836320
• String analysis as an abstract interpretation

Cited in

(1)

• scientific article; zbMATH DE number 2150294 (Why is no real title available?)

This page was built for publication: Intelligent Processing of an Unrestricted Text in First Order String Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638304)