×

Found 81 Documents (Results 1–81)

Language and grammar. Studies in mathematical linguistics and natural language. (English) Zbl 1137.03300

CSLI Lecture Notes 168. Stanford, CA: CSLI Publications (ISBN 1-57586-488-6). xxxii, 269 p. (2005).
PDFBibTeX XMLCite

Biautomatic semigroups. (English) Zbl 1123.68073

Liśkiewicz, Maciej (ed.) et al., Fundamentals of computation theory. 15th international symposium, FCT 2005, Lübeck, Germany, August 17–20, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28193-2/pbk). Lecture Notes in Computer Science 3623, 56-67 (2005).
MSC:  68Q70 20M35
PDFBibTeX XMLCite
Full Text: DOI

Contrasting applications of logic in natural language syntactic description. (English) Zbl 1095.03506

Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 481-503 (2005).
MSC:  03B65 91F20
PDFBibTeX XMLCite

Linguistic invariants and language variation. (English) Zbl 1129.91354

Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 395-411 (2005).
MSC:  91F20
PDFBibTeX XMLCite

Computational lexical semantics. (English) Zbl 1107.68112

Studies in Natural Language Processing. Cambridge: Cambridge University Press (ISBN 0-521-02320-3/pbk; 0-521-44410-1/hbk). ix, 447 p. (2005).
PDFBibTeX XMLCite
Full Text: DOI

Abduction and preferences in linguistics (extended abstract). (English) Zbl 1152.68652

Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 384-388 (2005).
MSC:  68T50 68N17 91F20
PDFBibTeX XMLCite
Full Text: DOI

Unambiguous morphic images of strings. (English) Zbl 1132.68443

De Felice, Clelia (ed.) et al., Developments in language theory. 9th international conference, DLT 2005, Palermo, Italy, July 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26546-5/pbk). Lecture Notes in Computer Science 3572, 248-259 (2005).
MSC:  68Q45 20M05 20M35
PDFBibTeX XMLCite
Full Text: DOI

Membership and finiteness problems for rational sets of regular languages. (English) Zbl 1133.68033

De Felice, Clelia (ed.) et al., Developments in language theory. 9th international conference, DLT 2005, Palermo, Italy, July 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26546-5/pbk). Lecture Notes in Computer Science 3572, 88-99 (2005).
MSC:  68Q45 68Q70 20M35
PDFBibTeX XMLCite
Full Text: DOI

Profinite semigroups and applications. (English) Zbl 1109.20050

Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3816-X/pbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 1-45 (2005).
MSC:  20M07 20M35 20E18
PDFBibTeX XMLCite

How formal concept lattices solve a problem of ancient linguistics. (English) Zbl 1132.68784

Dau, Frithjof (ed.) et al., Conceptual structures: Common semantics for sharing knowledge. 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27783-8/pbk). Lecture Notes in Computer Science 3596. Lecture Notes in Artificial Intelligence, 337-352 (2005).
MSC:  68T50 91F20
PDFBibTeX XMLCite

Groupoids that recognize only regular languages. (English) Zbl 1082.68582

Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 421-433 (2005).
MSC:  68Q70 20M35 20N02
PDFBibTeX XMLCite
Full Text: DOI

Formal description of natural languages: An HPSG grammar of Polish. (English) Zbl 1098.68902

Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 297-320 (2005).
MSC:  68T50 91F20
PDFBibTeX XMLCite
Full Text: DOI

Completing a code in a regular submonoid of the free monoid (extended abstract). (English) Zbl 1102.68499

Margenstern, Maurice (ed.), Machines, computations, and universality. 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25261-4/pbk). Lecture Notes in Computer Science 3354, 281-291 (2005).
MSC:  68Q45 20M35 94A45
PDFBibTeX XMLCite
Full Text: DOI

Characterizing TC\(^{0}\) in terms of infinite groups. (English) Zbl 1119.68090

Diekert, Volker (ed.) et al., STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24998-2/pbk). Lecture Notes in Computer Science 3404, 496-507 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Self-organizing map analysis of conceptual and semantic relations for noun. (English) Zbl 1084.68640

Wang, Jun (ed.) et al., Advances in neural networks – ISNN 2005. Second international symposium on neural networks, Chongqing, China, May 30 – June 1, 2005. Proceedings, Part III. Berlin: Springer (ISBN 3-540-25914-7/pbk). Lecture Notes in Computer Science 3498, 977-982 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Self-organizing map analysis consistent with neuroimaging for Chinese noun, verb and class-ambiguous word. (English) Zbl 1084.68639

Wang, Jun (ed.) et al., Advances in neural networks – ISNN 2005. Second international symposium on neural networks, Chongqing, China, May 30 – June 1, 2005. Proceedings, Part III. Berlin: Springer (ISBN 3-540-25914-7/pbk). Lecture Notes in Computer Science 3498, 971-976 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Large scale semantic construction for tree adjoining grammars. (English) Zbl 1082.68579

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 131-146 (2005).
MSC:  68Q42 68T50 91F20
PDFBibTeX XMLCite
Full Text: DOI

A note on the complexity of constraint interaction: Locality conditions and minimalist grammars. (English) Zbl 1082.68845

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 114-130 (2005).
MSC:  68T50 68Q42 91F20
PDFBibTeX XMLCite
Full Text: DOI

Grammatical development with XMG. (English) Zbl 1082.68843

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 84-100 (2005).
MSC:  68T50 68Q42 91F20
PDFBibTeX XMLCite
Full Text: DOI

Towards a computational treatment of binding theory. (English) Zbl 1082.68841

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 35-50 (2005).
MSC:  68T50 91F20
PDFBibTeX XMLCite
Full Text: DOI

More algebras for determiners. (English) Zbl 1082.03511

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 347-362 (2005).
MSC:  03B65 68T50 91F20
PDFBibTeX XMLCite
Full Text: DOI

The expressive power of restricted fragments of English. (English) Zbl 1082.03029

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 317-329 (2005).
MSC:  03B65 68T50 91F20
PDFBibTeX XMLCite
Full Text: DOI

Linguistic facts as predicates over ranges of the sentence. (English) Zbl 1082.68850

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 271-286 (2005).
MSC:  68T50 91F20
PDFBibTeX XMLCite
Full Text: DOI

Describing lambda terms in context unification. (English) Zbl 1082.68848

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 221-237 (2005).
MSC:  68T50 03B65
PDFBibTeX XMLCite
Full Text: DOI

On expressing vague quantification and scalar implicatures in the logic of partial information. (English) Zbl 1082.03509

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 205-220 (2005).
MSC:  03B65 91F20
PDFBibTeX XMLCite
Full Text: DOI

A compositional approach towards semantic representation and construction of ARABIC. (English) Zbl 1082.68846

Blache, Philippe (ed.) et al., Logical aspects of computational linguistics. 5th international conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25783-7/pbk). Lecture Notes in Computer Science 3492. Lecture Notes in Artificial Intelligence, 147-161 (2005).
MSC:  68T50 03B65 91F20
PDFBibTeX XMLCite
Full Text: DOI

Inverse semigroups generated by two-state partially defined automata. (English) Zbl 1079.20080

Chajda, I. (ed.) et al., Proceedings of the 68th workshop on general algebra “68. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 10–13, 2004 and of the summer school 2004 on general algebra and ordered sets, Malá Morávka, Czech Republic, September 5–11, 2004. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0163-8/pbk). Contributions to General Algebra 16, 261-273 (2005).
PDFBibTeX XMLCite

Correspondence (1896–1914). Edited by Erika Luciano and Clara Silvia Roero. (Carteggio (1896–1914).) (Italian) Zbl 1070.01005

Archivio della Corrispondenza degli Scienziati Italiani 16. Florence: Leo S. Olschki Editore (ISBN 88-222-5398-1/pbk). lxix, 254 p. (2005).
MSC:  01A75 01A50
PDFBibTeX XMLCite

Dynamic stochastic models for indexes and thesauri, identification clouds, and information retrieval and storage. (English) Zbl 1094.68664

Baeza-Yates, Ricardo (ed.) et al., Recent advances in applied probability. Papers presented at the international workshop on applied probability, IWAP 2002, Caracas, Venezuela, January 14–17, 2002. New York, NY: Springer (ISBN 0-387-23378-4/hbk). 181-204 (2005).
PDFBibTeX XMLCite

Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (English) Zbl 1095.68021

Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Software