Publications (29)
Aiolos- A multi-purpose 1-D hydrodynamics code for planetary atmospheres
Matthäus Schulik, Richard Booth
We present a new 1-D multi-physics simulation code with use cases intended for, but not limited to, hydrodynamic escapeproblems of planetary atmospheres and planetary accretion mod…
Who's the Expert? On Multi-source Belief Change
Joseph Singleton, Richard Booth
Consider the following belief change/merging scenario. A group of information sources gives a sequence of reports about the state of the world at various instances (e.g. different…
Parallel Belief Contraction via Order Aggregation
Jake Chandler, Richard Booth
The standard ``serial'' (aka ``singleton'') model of belief contraction models the manner in which an agent's corpus of beliefs responds to the removal of a single item of informat…
On revising fuzzy belief bases
Richard Booth, Eva Richter
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varyi…
High resolution millimetre imaging of the CI Tau protoplanetary disc - a massive ensemble of protoplanets from 0.1 - 100 au
Cathie J. Clarke, Marco Tazzari, Attila Juhász +8
We present high resolution millimeter continuum imaging of the disc surrounding the young star CI Tau, a system hosting the first hot Jupiter candidate in a protoplanetary disc sys…
From Young to Older Disks: JWST/MIRI Evidence for Fading Molecular Emission and Hints for Elevated C/O in Upper Scorpius
Chengyan Xie, Ilaria Pascucci, Feng Long +23
We present JWST/MIRI spectroscopy of 14 disks in the older (~5-10 Myr) Upper Scorpius (USco) association and use slab of gas in local thermal equilibrium to infer basic gas propert…
Eccentricity evolution during planet-disc interaction
Enrico Ragusa, Giovanni Rosotti, Jean Teyssandier +3
During the process of planet formation, the planet-discs interactions might excite (or damp) the orbital eccentricity of the planet. In this paper, we present two long ($t\sim 3\ti…
Abduction and Dialogical Proof in Argumentation and Logic Programming
Richard Booth, Dov Gabbay, Souhila Kaci +2
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialog…
Parallel Belief Revision via Order Aggregation
Jake Chandler, Richard Booth
Despite efforts to better understand the constraints that operate on single-step parallel (aka "package", "multiple") revision, very little work has been carried out on how to exte…
A Contribution to the Defense of Liquid Democracy
Gregory Butterworth, Richard Booth
Liquid democracy is a hybrid direct-representative decision making process that provides each voter with the option of either voting directly or to delegate their vote to another v…
The evolution of catastrophically evaporating rocky planets
Alfred Curry, Richard Booth, James E. Owen +1
In this work, we develop a rocky planet interior model and use it to investigate the evolution of catastrophically evaporating rocky exoplanets. These planets, detected through the…
Gas density perturbations induced by forming planet(s) in the AS 209 protoplanetary disk as seen with ALMA
Cécile Favre, Davide Fedele, Luke Maud +6
The formation of planets occurs within protoplanetary disks surrounding young stars, resulting in perturbation of the gas and dust surface densities. Here, we report the first evid…
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators
Richard Booth, Jake Chandler
Darwiche and Pearl's seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemen…
Dust density enhancements and the direct formation of planetary cores in gravitationally unstable discs
Ken Rice, Hans Baehr, Alison K Young +5
Planet formation via core accretion involves the growth of solids that can accumulate to form planetary cores. There are a number of barriers to the collisional growth of solids in…
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Richard Booth, Thomas Meyer, Ivan Varzinczak +1
Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive l…
Rankings for Bipartite Tournaments via Chain Editing
Joseph Singleton, Richard Booth
Ranking the participants of a tournament has applications in voting, paired comparisons analysis, sports and other domains. In this paper we introduce bipartite tournaments, which…
The Influence of Dust Composition on Accretion Outbursts
Nicolas Kaufmann, Anna B. T. Penzlin, Alfie Robinson +3
Context: Episodic accretion outbursts have been shown to occur in protoplanetary discs due to thermal instability at the inner edge of the dead zone. These outbursts periodically h…
On Rational Entailment for Propositional Typicality Logic
Richard Booth, Giovanni Casini, Thomas Meyer +1
Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias…
Extending the Harper Identity to Iterated Belief Change
Jake Chandler, Richard Booth
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attentio…
Revision by Conditionals: From Hook to Arrow
Jake Chandler, Richard Booth
The belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important…
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) II. The radial structure of debris discs
Yinuo Han, Elias Mansell, Jeff Jennings +38
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) was recently completed to cover the lack of high-resolution observations of debris discs and to investigate the preva…
Transformational astrophysics and exoplanet science with Habitable Worlds Observatory's High Resolution Imager
Vincent Van Eylen, Richard Massey, Saeeda Awan +167
Habitable Worlds Observatory (HWO) will be NASA's flagship space telescope of the 2040s, designed to search for life on other planets and to transform broad areas of astrophysics.…
The lexicographic closure as a revision process
Richard Booth
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e…
Evidence for Systematically Larger Dust Grains in Upper Scorpius Relative to Taurus Disks
Yao Liu, Ilaria Pascucci, Fei Gao +10
Infrared spectroscopy provides a powerful diagnostic for probing the mineralogical properties of dust grains in the terrestrial planet-forming regions of protoplanetary disks. The…
High resolution observations of molecular emission lines toward the CI Tau proto-planetary disc: planet-carved gaps or shadowing?
Giovanni P. Rosotti, John D. Ilee, Stefano Facchini +4
Recent observations have revealed that most proto-planetary discs show a pattern of bright rings and dark gaps. However, most of the high-resolution observations have focused only…
Compact CO emission and no evidence of radial drift. ALMA observations of the faintest planet-forming disks in Lupus
Giulia Ricciardi, Francesco Zagaria, Anna Miotello +13
A large fraction of planet-forming disks observed with ALMA show faint CO emission, often interpreted as strong CO depletion. However, faint emission may also arise from spatially…
Interval Orders, Biorders and Credibility-limited Belief Revision
Richard Booth, Ivan Varzinczak
Rational belief revision is commonly viewed as being based on a preference order between possible worlds, with the resulting new belief set being those sentences true in all the mo…
Elementary Iterated Revision and the Levi Identity
Jake Chandler, Richard Booth
Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of si…
Judgment Aggregation in Multi-Agent Argumentation
Edmond Awad, Richard Booth, Fernando Tohme +1
Given a set of conflicting arguments, there can exist multiple plausible opinions about which arguments should be accepted, rejected, or deemed undecided. We study the problem of h…