English
Related papers

Related papers: Temporal Phylogenetic Networks and Logic Programmi…

200 papers

A phylogenetic network is a directed acyclic graph that visualises an evolutionary history containing so-called reticulations such as recombinations, hybridisations or lateral gene transfers. Here we consider the construction of a simplest…

Populations and Evolution · Quantitative Biology 2008-05-16 Leo van Iersel , Steven Kelk

Phylogenetic networks extend phylogenetic trees to allow for modeling reticulate evolutionary processes such as hybridization. They take the shape of a rooted, directed, acyclic graph, and when parameterized with evolutionary parameters,…

Populations and Evolution · Quantitative Biology 2018-08-28 R. A. L. Elworth , H. A. Ogilvie , J. Zhu , L. Nakhleh

Time is a crucial factor in modelling dynamic behaviours of intelligent agents: activities have a determined temporal duration in a real-world environment, and previous actions influence agents' behaviour. In this paper, we propose a…

Artificial Intelligence · Computer Science 2023-07-11 Stefano Bistarelli , Maria Chiara Meo , Carlo Taticchi

The aim of this review is to present and analyze the probabilistic models of mathematical phylogenetics which have been intensively used in recent years in biology as the cornerstone of attempts to infer and reconstruct the ancestral…

Populations and Evolution · Quantitative Biology 2020-01-08 Peter D Jarvis , Jeremy G Sumner

A fundamental problem in the study of phylogenetic networks is to determine whether or not a given phylogenetic network contains a given phylogenetic tree. We develop a quadratic-time algorithm for this problem for binary nearly-stable…

Data Structures and Algorithms · Computer Science 2022-08-29 Philippe Gambette , Andreas D. M. Gunawan , Anthony Labarre , Stéphane Vialette , Louxin Zhang

Phylogenetics is a widely used concept in evolutionary biology. It is the reconstruction of evolutionary history by building trees that represent branching patterns and sequences. These trees represent shared history, and it is our…

Astrophysics of Galaxies · Physics 2018-08-22 P. Jofre , P. Das

Historical linguistics aims at inferring the most likely language phylogenetic tree starting from information concerning the evolutionary relatedness of languages. The available information are typically lists of homologous (lexical,…

Physics and Society · Physics 2015-05-27 Simone Pompei , Vittorio Loreto , Francesca Tria

This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while causal Bayes nets serve as a probabilistic foundation. We give…

Artificial Intelligence · Computer Science 2008-12-04 Chitta Baral , Michael Gelfond , Nelson Rushton

It is well-known that population structure is a catalyst for the evolution of cooperation since individuals can reciprocate with their neighbors through local interactions defined by network structures. Previous research typically relies on…

Physics and Society · Physics 2021-12-16 Anzhi Sheng , Aming Li , Long Wang

Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems contain a degree of…

Logic in Computer Science · Computer Science 2019-11-19 Fabrizio M. Maggi , Marco Montali , Rafael Peñaloza

Extensions of Answer Set Programming with language constructs from temporal logics, such as temporal equilibrium logic over finite traces (TELf), provide an expressive computational framework for modeling dynamic applications. In this…

Artificial Intelligence · Computer Science 2024-01-23 Pedro Cabalar , Martín Diéguez , François Laferrière , Torsten Schaub

A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions. Each of these languages…

Programming Languages · Computer Science 2013-12-17 Luc De Raedt , Angelika Kimmig

Probabilistic programming frameworks are powerful tools for statistical modelling and inference. They are not immediately generalisable to phylogenetic problems due to the particular computational properties of the phylogenetic tree object.…

Populations and Evolution · Quantitative Biology 2022-11-11 Christiaan Swanepoel , Mathieu Fourment , Xiang Ji , Hassan Nasif , Marc A Suchard , Frederick A Matsen , Alexei Drummond

Decision trees are simple, yet powerful, classification models used to classify categorical and numerical data, and, despite their simplicity, they are commonly used in operations research and management, as well as in knowledge mining.…

Logic in Computer Science · Computer Science 2020-03-13 Andrea Brunello , Guido Sciavicco , Ionel Eduard Stan

Language modeling studies the probability distributions over strings of texts. It is one of the most fundamental tasks in natural language processing (NLP). It has been widely used in text generation, speech recognition, machine…

Computation and Language · Computer Science 2024-07-18 Chengwei Wei , Yun-Cheng Wang , Bin Wang , C. -C. Jay Kuo

Temporal networks model how the interaction between elements in a complex system evolve over time. Just like complex systems display collective dynamics, here we interpret temporal networks as trajectories performing a collective motion in…

Social and Information Networks · Computer Science 2022-10-18 Lucas Lacasa , Jorge P. Rodriguez , Victor M. Eguiluz

The study of temporal networks is motivated by the simple and important observation that just as network structure can affect dynamics, so can structure in time. Just as network topology can teach us about the system in question, so can its…

Physics and Society · Physics 2021-03-26 Petter Holme , Jari Saramäki

Phylogenetic networks generalise phylogenetic trees and allow for the accurate representation of the evolutionary history of a set of present-day species whose past includes reticulate events such as hybridisation and lateral gene transfer.…

Populations and Evolution · Quantitative Biology 2018-09-05 Joan Carles Pons , Charles Semple , Mike Steel

In 2006, Warnow, Evans, Ringe, and Nakhleh proposed a stochastic model (hereafter, the WERN 2006 model) of multi-state linguistic character evolution that allowed for homoplasy and borrowing. They proved that if there is no borrowing…

Populations and Evolution · Quantitative Biology 2023-10-11 Tandy Warnow , Steven N. Evans , Luay Nakhleh

Understanding the origins of complexity is a fundamental challenge with implications for biological and technological systems. Network theory emerges as a powerful tool to model complex systems. Networks are an intuitive framework to…

Disordered Systems and Neural Networks · Physics 2024-10-22 Blai Vidiella , Salva Duran-Nebreda , Sergi Valverde