Top 10 Arxiv Papers Today in Logic In Computer Science


2.026 Mikeys
#1. Strong Equivalence for LPMLN Programs
Joohyung Lee, Man Luo
LPMLN is a probabilistic extension of answer set programs with the weight scheme adapted from Markov Logic. We study the concept of strong equivalence in LPMLN, which is a useful mathematical tool for simplifying a part of an LPMLN program without looking at the rest of it. We show that the verification of strong equivalence in LPMLN can be reduced to equivalence checking in classical logic via a reduct and choice rules as well as to equivalence checking under the "soft" logic of here-and-there. The result allows us to leverage an answer set solver for LPMLN strong equivalence checking. The study also suggests us a few reformulations of the LPMLN semantics using choice rules, the logic of here-and-there, and classical logic.
more | pdf | html
Figures
None.
Tweets
SciFi: Strong Equivalence for LPMLN Programs. https://t.co/i47bBeQfzF
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

2.025 Mikeys
#2. On the Strong Equivalences of LPMLN Programs
Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
By incorporating the methods of Answer Set Programming (ASP) and Markov Logic Networks (MLN), LPMLN becomes a powerful tool for non-monotonic, inconsistent and uncertain knowledge representation and reasoning. To facilitate the applications and extend the understandings of LPMLN, we investigate the strong equivalences between LPMLN programs in this paper, which is regarded as an important property in the field of logic programming. In the field of ASP, two programs P and Q are strongly equivalent, iff for any ASP program R, the programs P and Q extended by R have the same stable models. In other words, an ASP program can be replaced by one of its strong equivalent without considering its context, which helps us to simplify logic programs, enhance inference engines, construct human-friendly knowledge bases etc. Since LPMLN is a combination of ASP and MLN, the notions of strong equivalences in LPMLN is quite different from that in ASP. Firstly, we present the notions of p-strong and w-strong equivalences between LPMLN programs....
more | pdf | html
Figures
None.
Tweets
arxivml: "On the Strong Equivalences of LPMLN Programs", Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang https://t.co/MjMdEvGgh4
SciFi: On the Strong Equivalences of LPMLN Programs. https://t.co/PtO2NrSiqB
arxiv_cslo: On the Strong Equivalences of LPMLN Programs https://t.co/F9Wg4NnZP5
jaye316: RT @SciFi: On the Strong Equivalences of LPMLN Programs. https://t.co/PtO2NrSiqB
jpt401: RT @arxiv_cslo: On the Strong Equivalences of LPMLN Programs https://t.co/F9Wg4NnZP5
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 6579
Unqiue Words: 1443

2.023 Mikeys
#3. BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion
Ariyam Das, Youfu Li, Jin Wang, Mingda Li, Carlo Zaniolo
In the past, the semantic issues raised by the non-monotonic nature of aggregates often prevented their use in the recursive statements of logic programs and deductive databases. However, the recently introduced notion of Pre-mappability (PreM) has shown that, in key applications of interest, aggregates can be used in recursion to optimize the perfect-model semantics of aggregate-stratified programs. Therefore we can preserve the declarative formal semantics of such programs while achieving a highly efficient operational semantics that is conducive to scalable implementations on parallel and distributed platforms. In this paper, we show that with PreM, a wide spectrum of classical algorithms of practical interest, ranging from graph analytics and dynamic programming based optimization problems to data mining and machine learning applications can be concisely expressed in declarative languages by using aggregates in recursion. Our examples are also used to show that PreM can be checked using simple techniques and templatized...
more | pdf | html
Figures
None.
Tweets
arxivml: "BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion", Ariyam Das, Youfu Li, J… https://t.co/Gs3s2zMZlN
Memoirs: BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion. https://t.co/d0zIkEuiP8
arxiv_cslo: BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion https://t.co/fru35jgSDy
chidambara09: RT @arxiv_cslo: BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion https://t.co/fru35jgSDy
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 5
Total Words: 0
Unqiue Words: 0

2.018 Mikeys
#4. A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. The rule-based system is built on top of an interpreter for logic programs with partial functions, called lppf, that extends the paradigm of Answer Set Programming (ASP) adding two main features: (1) the inclusion of partial functions and (2) the computation of causal explanations for the obtained solutions. The final goal of web-liver is assisting the medical experts in the design of new donor-patient matching policies that take into account not only the patient severity but also the transplantation utility. As an example, we illustrate the tool behaviour with a set of rules that implement the utility index called SOFT.
more | pdf | html
Figures
None.
Tweets
arxivml: "A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation", Felicidad Aguado, Pedro Caba… https://t.co/u1j4HQhtFq
SciFi: A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. https://t.co/cy3OjVpFv4
arxiv_cslo: A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation https://t.co/h7M3AWhEP2
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 6
Total Words: 0
Unqiue Words: 0

2.017 Mikeys
#5. Advances in Big Data Bio Analytics
Nicos Angelopoulos, Jan Wielemaker
Delivering effective data analytics is of crucial importance to the interpretation of the multitude of biological datasets currently generated by an ever increasing number of high throughput techniques. Logic programming has much to offer in this area. Here, we detail advances that highlight two of the strengths of logical formalisms in developing data analytic solutions in biological settings: access to large relational databases and building analytical pipelines collecting graph information from multiple sources. We present significant advances on the bio_db package which serves biological databases as Prolog facts that can be served either by in-memory loading or via database backends. These advances include modularising the underlying architecture and the incorporation of datasets from a second organism (mouse). In addition, we introduce a number of data analytics tools that operate on these datasets and are bundled in the analysis package: bio_analytics. Emphasis in both packages is on ease of installation and use. We...
more | pdf | html
Figures
None.
Tweets
BigDataBatman: Advances in Batman Bio Analytics https://t.co/kCibBz1D2g
BioPapers: Advances in Big Data Bio Analytics. https://t.co/Vhag4QDr4j
arxiv_cslo: Advances in Big Data Bio Analytics https://t.co/8NUPRu0bEt
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

2.01 Mikeys
#6. On the Right Path: A Modal Logic for Supervised Learning
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. Although empirical evidence suggests that children can learn a language without responding to the correction of linguistic mistakes, the importance of Teacher in many other paradigms is significant. Instead of focusing only on learner(s), this work develops a general framework---the supervised learning game (SLG)---to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand,Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other hand, Teacher is able to correct Learner's mistakes, eliminate potential mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning (SLL). Broadly, this work takes a small step...
more | pdf | html
Figures
None.
Tweets
BrundageBot: On the Right Path: A Modal Logic for Supervised Learning. Alexandru Baltag, Dazhu Li, and Mina Young Pedersen https://t.co/k25AFqb0Md
arxiv_cslo: On the Right Path: A Modal Logic for Supervised Learning https://t.co/nwro9jza2D
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

2.007 Mikeys
#7. Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
Paritosh K. Pandya, Amol Wakankar
A system with sporadic errors (SSE) is a controller which produces high quality output but it may occasionally violate a critical requirement REQ(I,O). A run-time enforcement shield is a controller which takes (I,O) (coming from SSE) as its input, and it produces a corrected output O' which guarantees the invariance of requirement REQ(I,O'). Moreover, the output sequence O' must deviate from O "as little as possible" to maintain the quality. In this paper, we give a method for logical specification of shields using formulas of logic Quantified Discrete Duration Calculus (QDDC). The specification consists of a correctness requirement REQ as well as a hard deviation constraint HDC which must both be mandatorily and invariantly satisfied by the shield. Moreover, we also use quantitative optimization to give a shield which minimizes the expected value of cumulative deviation in an H-optimal fashion. We show how tool DCSynth implementing soft requirement guided synthesis can be used for automatic synthesis of shields from a given...
more | pdf | html
Figures
None.
Tweets
DO: Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. https://t.co/LApHKS0bb7
arxiv_cslo: Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields https://t.co/gKNyOo8fOh
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

2.005 Mikeys
#8. Simple Fixpoint Iteration To Solve Parity Games
Tom van Dijk, Bob Rubbens
A naive way to solve the model-checking problem of the mu-calculus uses fixpoint iteration. Traditionally however mu-calculus model-checking is solved by a reduction in linear time to a parity game, which is then solved using one of the many algorithms for parity games. We now consider a method of solving parity games by means of a naive fixpoint iteration. Several fixpoint algorithms for parity games have been proposed in the literature. In this work, we introduce an algorithm that relies on the notion of a distraction. The idea is that this offers a novel perspective for understanding parity games. We then show that this algorithm is in fact identical to two earlier published fixpoint algorithms for parity games and thus that these earlier algorithms are the same. Furthermore, we modify our algorithm to only partially recompute deeper fixpoints after updating a higher set and show that this modification enables a simple method to obtain winning strategies. We show that the resulting algorithm is simple to implement and offers...
more | pdf | html
Figures
None.
Tweets
arxiv_cslo: Simple Fixpoint Iteration To Solve Parity Games https://t.co/T7abYieJm2
Github

Oink, an implementation of modern parity game solvers

Repository: oink
User: trolando
Language: C++
Stargazers: 8
Subscribers: 4
Forks: 3
Open Issues: 0
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9037
Unqiue Words: 1960

2.004 Mikeys
#9. On correctness of an n queens program
Włodzimierz Drabent
Thom Fr\"uhwirth presented a short, elegant and efficient Prolog program for the n queens problem. However the program may be seen as rather tricky and one may be not convinced about its correctness. This paper explains the program in a declarative way, and provides a proof of its correctness and completeness.
more | pdf | html
Figures
None.
Tweets
Jose_A_Alonso: On correctness of an n queens program. ~ W. Drabent. https://t.co/Jlqe0BNq4C #Prolog #LogicProgramming
arxiv_cslo: On correctness of an n queens program https://t.co/qs2EEOnccC
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 5361
Unqiue Words: 1214

2.003 Mikeys
#10. RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant
Daniela Inclezan
This paper presents a library of commonsense knowledge, RestKB, developed in modular action language ALM and containing background knowledge relevant to the understanding of restaurant narratives, including stories that describe exceptions to the normal unfolding of such scenarios. We highlight features that KR languages must possess in order to be able to express pertinent knowledge, and expand action language ALM as needed. We show that encoding the knowledge base in ALM facilitates its piecewise construction and testing, and improves the generality and quality of the captured information, in comparison to an initial ASP encoding. The knowledge base was used in a system for reasoning about stereotypical activities, evaluated on the restaurant domain.
more | pdf | html
Figures
Tweets
arxiv_cslo: RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant https://t.co/ZnC6YGtpeO
jpt401: RT @arxiv_cslo: RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant https://t.co/ZnC6YGtpeO
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 7057
Unqiue Words: 2197

About

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

Tracking 192,914 papers.

Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Categories
All
Astrophysics
Cosmology and Nongalactic Astrophysics
Earth and Planetary Astrophysics
Astrophysics of Galaxies
High Energy Astrophysical Phenomena
Instrumentation and Methods for Astrophysics
Solar and Stellar Astrophysics
Condensed Matter
Disordered Systems and Neural Networks
Mesoscale and Nanoscale Physics
Materials Science
Other Condensed Matter
Quantum Gases
Soft Condensed Matter
Statistical Mechanics
Strongly Correlated Electrons
Superconductivity
Computer Science
Artificial Intelligence
Hardware Architecture
Computational Complexity
Computational Engineering, Finance, and Science
Computational Geometry
Computation and Language
Cryptography and Security
Computer Vision and Pattern Recognition
Computers and Society
Databases
Distributed, Parallel, and Cluster Computing
Digital Libraries
Discrete Mathematics
Data Structures and Algorithms
Emerging Technologies
Formal Languages and Automata Theory
General Literature
Graphics
Computer Science and Game Theory
Human-Computer Interaction
Information Retrieval
Information Theory
Machine Learning
Logic in Computer Science
Multiagent Systems
Multimedia
Mathematical Software
Numerical Analysis
Neural and Evolutionary Computing
Networking and Internet Architecture
Other Computer Science
Operating Systems
Performance
Programming Languages
Robotics
Symbolic Computation
Sound
Software Engineering
Social and Information Networks
Systems and Control
Economics
Econometrics
General Economics
Theoretical Economics
Electrical Engineering and Systems Science
Audio and Speech Processing
Image and Video Processing
Signal Processing
General Relativity and Quantum Cosmology
General Relativity and Quantum Cosmology
High Energy Physics - Experiment
High Energy Physics - Experiment
High Energy Physics - Lattice
High Energy Physics - Lattice
High Energy Physics - Phenomenology
High Energy Physics - Phenomenology
High Energy Physics - Theory
High Energy Physics - Theory
Mathematics
Commutative Algebra
Algebraic Geometry
Analysis of PDEs
Algebraic Topology
Classical Analysis and ODEs
Combinatorics
Category Theory
Complex Variables
Differential Geometry
Dynamical Systems
Functional Analysis
General Mathematics
General Topology
Group Theory
Geometric Topology
History and Overview
Information Theory
K-Theory and Homology
Logic
Metric Geometry
Mathematical Physics
Numerical Analysis
Number Theory
Operator Algebras
Optimization and Control
Probability
Quantum Algebra
Rings and Algebras
Representation Theory
Symplectic Geometry
Spectral Theory
Statistics Theory
Mathematical Physics
Mathematical Physics
Nonlinear Sciences
Adaptation and Self-Organizing Systems
Chaotic Dynamics
Cellular Automata and Lattice Gases
Pattern Formation and Solitons
Exactly Solvable and Integrable Systems
Nuclear Experiment
Nuclear Experiment
Nuclear Theory
Nuclear Theory
Physics
Accelerator Physics
Atmospheric and Oceanic Physics
Applied Physics
Atomic and Molecular Clusters
Atomic Physics
Biological Physics
Chemical Physics
Classical Physics
Computational Physics
Data Analysis, Statistics and Probability
Physics Education
Fluid Dynamics
General Physics
Geophysics
History and Philosophy of Physics
Instrumentation and Detectors
Medical Physics
Optics
Plasma Physics
Popular Physics
Physics and Society
Space Physics
Quantitative Biology
Biomolecules
Cell Behavior
Genomics
Molecular Networks
Neurons and Cognition
Other Quantitative Biology
Populations and Evolution
Quantitative Methods
Subcellular Processes
Tissues and Organs
Quantitative Finance
Computational Finance
Economics
General Finance
Mathematical Finance
Portfolio Management
Pricing of Securities
Risk Management
Statistical Finance
Trading and Market Microstructure
Quantum Physics
Quantum Physics
Statistics
Applications
Computation
Methodology
Machine Learning
Other Statistics
Statistics Theory
Feedback
Online
Stats
Tracking 192,914 papers.