Logic in Computer Science

Authors and titles for August 2011

[61] arXiv:1108.5017 (cross-list from cs.CL) [pdf, other]

Title: Event in Compositional Dynamic Semantics

Sai Qian (LORIA), Maxime Amblard (LORIA)

Comments: 16 pages; Logical Aspect of Computational Linguistic, Montpellier : France (2011)

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[62] arXiv:1108.5027 (cross-list from cs.CL) [pdf, other]

Title: Encoding Phases using Commutativity and Non-commutativity in a Logical Framework

Maxime Amblard (LORIA)

Comments: Logical Aspect of Computational Linguistic, Montpellier : France (2011)

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[63] arXiv:1108.5084 (cross-list from math.LO) [pdf, other]

Title: On the system F as a glue language for natural-language compositional-semantics

Christian Retoré (INRIA Bordeaux - Sud-Ouest, LaBRI)

Comments: (24/08/2011)

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[64] arXiv:1108.5457 (cross-list from cs.DS) [pdf, other]

Title: Deciding first order logic properties of matroids

Tomas Gavenciak, Daniel Kral, Sang-il Oum

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[65] arXiv:1108.5667 (cross-list from cs.AI) [pdf, other]

Title: A prototype of a knowledge-based programming environment

Stef De Pooter, Johan Wittocx, Marc Denecker

Comments: 6 pages, appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[66] arXiv:1108.5837 (cross-list from cs.AI) [pdf, other]

Title: Translating Answer-Set Programs into Bit-Vector Logic

Mai Nguyen, Tomi Janhunen, Ilkka Niemelä

Comments: 12 pages, 1 figure, 3 tables

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[67] arXiv:1108.5943 (cross-list from cs.AI) [pdf, other]

Title: Proof System for Plan Verification under 0-Approximation Semantics

Xishun Zhao, Yuping Shen

Comments: 22 pages

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[68] arXiv:1108.6263 (cross-list from math.LO) [pdf, other]

Title: The ubiquity of conservative translations

Emil Jeřábek

Comments: 15 pages; to appear in Review of Symbolic Logic

Journal-ref: Review of Symbolic Logic 5 (2012), no. 4, pp. 666--678

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)