Logic in Computer Science

Authors and titles for February 2014

[51] arXiv:1402.2949 (cross-list from cs.PL) [pdf, other]

Title: A Programming Language Oriented Approach to Computability

Aaron Karper

Comments: Bachelor thesis at the University of Bern, supervised by Professor Dr. Thomas Strahm

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[52] arXiv:1402.3277 (cross-list from cs.FL) [pdf, other]

Title: Separating Regular Languages with First-Order Logic

Thomas Place (Bordeaux University, France), Marc Zeitoun (Bordeaux University, France)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (March 9, 2016) lmcs:1628

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: Learning-assisted Theorem Proving with Millions of Lemmas

Cezary Kaliszyk, Josef Urban

Comments: journal version of arXiv:1310.2797 (which was submitted to LPAR conference)

Subjects: Artificial Intelligence (cs.AI); Digital Libraries (cs.DL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[54] arXiv:1402.3690 (cross-list from cs.PL) [pdf, other]

Title: (Co)recursion in Logic Programming: Lazy vs Eager

Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt

Comments: To appear in Theory and Practice of Logic Programming (TPLP)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[55] arXiv:1402.4303 (cross-list from cs.MA) [pdf, other]

Title: Finding Preference Profiles of Condorcet Dimension $k$ via SAT

Christian Geist

Comments: Corrected typos, updated references, and added conclusion

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

[56] arXiv:1402.4338 (cross-list from cs.CC) [pdf, other]

Title: Proof Complexity and the Kneser-Lovász Theorem

Gabriel Istrate, Adrian Crăciun

Journal-ref: Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT'14), vol. 8561, 2014

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

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

Title: Towards Ultra Rapid Restarts

Shai Haim, Marijn Heule

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

[58] arXiv:1402.4414 (cross-list from math.CT) [pdf, other]

Title: Smooth coalgebra: testing vector analysis

Dusko Pavlovic, Bertfried Fauser

Comments: 45 pages, 25 figures; to appear in Math. Struct. in Comp. Sci.; this version: affiliations updated, typos corrected

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Functional Analysis (math.FA)

[59] arXiv:1402.4827 (cross-list from quant-ph) [pdf, other]

Title: Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models

Shane Mansfield, Rui Soares Barbosa

Comments: 18 pages, presented at Quantum Physics and Logic X - 2013 (ICFO, Barcelona), submitted to Electronic Proceedings in Theoretical Computer Science

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[60] arXiv:1402.5172 (cross-list from cs.PL) [pdf, other]

Title: Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs

Mingsheng Ying, Nengkun Yu, Yuan Feng

Comments: arXiv admin note: substantial text overlap with arXiv:1209.4379

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

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

Title: Characterizing and computing stable models of logic programs: The non-stratified case

Gianpaolo Brignoli, Stefania Costantini, Ottavio D'Antona, Alessandro Provetti

Comments: Proceedings of the Conference on Information Technology. Bhubaneswar, India, 1999. this https URL

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

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

Title: Almost structural completeness; an algebraic approach

Wojciech Dzik, Michal M. Stronkowski

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)

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

Title: Positive fragments of coalgebraic logics

Adriana Balan (University Politehnica of Bucharest), Alexander Kurz (University of Leicester), Jiří Velebil (Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic)

Comments: 51 pages; accepted for publication; expanded and improved version of the previous submission. Proposition 4.15 is new; Section 6 was rewritten in view of new results (theorem 6.9, proposition 6.14, paragraphs A-D); references added

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (September 22, 2015) lmcs:1594

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

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

Title: Proceedings 15th International Workshop on Verification of Infinite-State Systems

Lukas Holik, Lorenzo Clemente

Journal-ref: EPTCS 140, 2014

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: Lattice structures for bisimilar Probabilistic Automata

Johann Schuster (University of the Federal Armed Forces Munich Neubiberg, Germany), Markus Siegle (University of the Federal Armed Forces Munich Neubiberg, Germany)

Comments: In Proceedings INFINITY 2013, arXiv:1402.6610

Journal-ref: EPTCS 140, 2014, pp. 1-15

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: A Finite Exact Representation of Register Automata Configurations

Yu-Fang Chen (Academia Sinica, Taiwan), Bow-Yaw Wang (Academia Sinica, Taiwan), Di-De Yen (Academia Sinica, Taiwan)

Comments: In Proceedings INFINITY 2013, arXiv:1402.6610

Journal-ref: EPTCS 140, 2014, pp. 16-34

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: Combinatorial structure of type dependency

Richard Garner

Comments: 35 pages

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

[68] arXiv:1402.7150 (cross-list from cs.FL) [pdf, other]

Title: Synthesizing Finite-state Protocols from Scenarios and Requirements

Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Comments: This is the working draft of a paper currently in submission. (February 10, 2014)

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

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

Title: Robot Location Estimation in the Situation Calculus

Vaishak Belle, Hector Levesque

Comments: Appears in Proceedings of the Eleventh International Symposium on Logical Formalizations on Commonsense Reasoning, Cyprus, May 27-29, 2013

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