Logic in Computer Science

Authors and titles for April 2018

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

Title: Decidability of Timed Communicating Automata

Lorenzo Clemente

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[127] arXiv:1804.08834 (cross-list from cs.DB) [pdf, other]

Title: Measuring and Computing Database Inconsistency via Repairs

Leopoldo Bertossi

Comments: Submission as short paper; to appear in Proc. Scalable Uncertainty Management, SUM 2018. Abstract and keywords added

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

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

Title: Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

Jan Křetínský, Guillermo A. Pérez, Jean-François Raskin

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

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

Title: Stratified Negation in Limit Datalog Programs

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

Comments: 14 pages; full version of a paper accepted at IJCAI-18

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

[130] arXiv:1804.09705 (cross-list from cs.SC) [pdf, other]

Title: Positive Solutions of Systems of Signed Parametric Polynomial Inequalities

Hoon Hong, Thomas Sturm

Journal-ref: Proc. CASC 2018, LNCS 11077, pp.238-253, Springer 2018

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[131] arXiv:1804.09970 (cross-list from cs.CR) [pdf, other]

Title: A Formal Approach to Analyzing Cyber-Forensics Evidence

Erisa Karafili, Matteo Cristani, Luca Viganò

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[132] arXiv:1804.10565 (cross-list from cs.DB) [pdf, other]

Title: Certified Graph View Maintenance with Regular Datalog

Angela Bonifati, Stefania Dumbrava, Emilio Jesus Gallego Arias

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018. 18 pages, LaTeX, (arXiv:this http URL)

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

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

Title: Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms

Lorenzo Clemente, Sławomir Lasota

Comments: Technical report of an ICALP'18 paper

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

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

Title: Formal Security Analysis of Neural Networks using Symbolic Intervals

Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

Comments: Accepted to USENIX Security 2018

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

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

Title: Constraint Answer Set Programming without Grounding

Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX

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