Logic in Computer Science

Authors and titles for July 2016

[1] arXiv:1607.00141 [pdf, other]

Title: A Fully Abstract Semantics for Value-passing CCS for Trees

Shichao Liu, Thomas Ehrhard, Ying Jiang

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

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1607.00431 [pdf, other]

Title: Uniqueness of Normal Forms for Shallow Term Rewrite Systems

Nicholas Radcliffe, Luis Moraes, Rakesh Verma

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

[3] arXiv:1607.00633 [pdf, other]

Title: Priority, Cut, If-Then-Else and Exception Handling in Logic Programming

Keehang Kwon

Comments: 3 pages. a unified solution to priority, default reasoning, mutual exclusion, If-then-else, cut, exception handling is discussed. We modify the previous version to use prioritized version instead of original sequential disjunctive operators

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1607.00678 [pdf, other]

Title: Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

Tomáš Brázdil, Antonín Kučera, Petr Novotný

Comments: Full version of a paper published in proceedings of ATVA'16

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1607.01146 [pdf, other]

Title: On a new convergence class in k-bounded sober spaces

Hadrian Andradi, Weng Kin Ho

Comments: 10 pages, Domains XII Workshop

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1607.01164 [pdf, other]

Title: Domains via approximation operators

Zhiwei Zou, Qingguo Li, Weng Kin Ho

Comments: 17 pages; 1figure, Domains XII Workshop

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 2 (April 27, 2018) lmcs:1525

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1607.01474 [pdf, other]

Title: Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang

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

[8] arXiv:1607.01539 [pdf, other]

Title: Translating Scala Programs to Isabelle/HOL

Lars Hupel, Viktor Kuncak

Comments: International Joint Conference on Automated Reasoning, 2016

Journal-ref: IJCAR 2016: Automated Reasoning Volume 9706 of the series Lecture Notes in Computer Science pp 568-577, Springer

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1607.01686 [pdf, other]

Title: Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability

Armando B. Matos

Comments: Original research work. 46 pages. 12 figures

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1607.01886 [pdf, other]

Title: Join-continuity + Hypercontinuity = Prime continuity

Weng Kin Ho, Achim Jung, Dongsheng Zhao

Comments: 7 pages, Domains XII Workshop

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1607.01993 [pdf, other]

Title: Biabduction (and Related Problems) in Array Separation Logic

James Brotherston, Nikos Gorogiannis, Max Kanovich

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL); Logic (math.LO)

[12] arXiv:1607.02001 [pdf, other]

Title: Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems

Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Michele Loreti (University of Florence, Italy)

Journal-ref: EPTCS 217, 2016

Subjects: Logic in Computer Science (cs.LO); Performance (cs.PF); Software Engineering (cs.SE)

[13] arXiv:1607.02189 [pdf, other]

Title: Models of the Chisholm set

Bjørn Kjos-Hanssen

Comments: Paper for Filosofi hovedfag spesialområde 1 exam, University of Oslo, Fall 1996. First cited in Carmo and Jones, Deontic logic and contrary-to-duties, Handbook of Philosophical Logic, 2002, footnote 28

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

[14] arXiv:1607.02232 [pdf, other]

Title: A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems

Alessandro Aldini (University of Urbino, Italy)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 19-30

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

[15] arXiv:1607.02233 [pdf, other]

Title: On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract

Diego Latella (CNR-ISTI)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 53-61

Subjects: Logic in Computer Science (cs.LO); Performance (cs.PF); Software Engineering (cs.SE)

[16] arXiv:1607.02234 [pdf, other]

Title: Stochastic and Spatial Equivalences for PALOMA

Paul Piho (School of Informatics, University of Edinburgh), Jane Hillston (School of Informatics, University of Edinburgh)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 69-80

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1607.02235 [pdf, other]

Title: From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

Gina Belmonte (Azienda Ospedaliera Universitaria Senese), Vincenzo Ciancia (Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche), Diego Latella (Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche), Mieke Massink (Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche)

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal-ref: EPTCS 217, 2016, pp. 81-92

Subjects: Logic in Computer Science (cs.LO); Computer Vision and Pattern Recognition (cs.CV)

[18] arXiv:1607.02466 [pdf, other]

Title: Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$

Milan Banković (University of Belgrade)

Comments: 28 pages, 2 figures

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2016

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

[19] arXiv:1607.02694 [pdf, other]

Title: Proceedings of the 4th International Workshop on Strategic Reasoning

Alessio Lomuscio (Imperial College London), Moshe Y. Vardi (Rice University)

Journal-ref: EPTCS 218, 2016

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1607.02790 [pdf, other]

Title: Hyper Normalisation and Conditioning for Discrete Probability Distributions

Bart Jacobs

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (August 29, 2017) lmcs:2009

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1607.02970 [pdf, other]

Title: The sequential functionals of type $(ι\rightarrow ι)^n \rightarrow ι$ form a dcpo for all $n \in \Bbb N$

Dag Normann

Comments: 10 pages

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (March 20, 2018) lmcs:1542

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

[22] arXiv:1607.02988 [pdf, other]

Title: The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)

Luigi Santocanale (LIF)

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

[23] arXiv:1607.03286 [pdf, other]

Title: The Ho-Zhao Problem

Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi

Comments: 19 pages, 4 figures

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 1 (January 17, 2018) lmcs:1529

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1607.03355 [pdf, other]

Title: Representing Strategies

Hein Duijf (Utrecht University), Jan Broersen (Utrecht University)

Comments: In Proceedings SR 2016, arXiv:1607.02694

Journal-ref: EPTCS 218, 2016, pp. 15-26

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1607.03618 [pdf, other]

Title: The Lax-Milgram Theorem. A detailed proof to be formalized in Coq

François Clément (SERENA), Vincent Martin (LMAC)

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