Awesome Logic

Determining the Winner in Alternating-Move Games (2026)

Itamar Bella\"iche and Auriel Rosenzweig

1.61

Conditioning Accept-Desirability models in the context of AGM-like belief change (2025)

Kathelijne Coussement and Gert de Cooman and Keano De Vos

1.56

Programs as Singularities (2025)

Daniel Murfet et al.

1.11

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring (2025)

Johnny Joyce

0.94

Enablers and Inhibitors in Causal Justifications of Logic Programs (2016)

Pedro Cabalar and Jorge Fandinno

—

Properties of ABA+ for Non-Monotonic Reasoning (2016)

Kristijonas Cyras et al.

—

Pareto Optimality and Strategy Proofness in Group Argument Evaluation (Extended Version) (2016)

Edmond Awad et al.

—

Extracting Higher-Order Goals from the Mizar Mathematical Library (2016)

Chad Brown and Josef Urban

—

On the Solvability of Inductive Problems: A Study in Epistemic Topology (2016)

Alexandru Baltag (Institute for logic et al.

—

Five dimensions of reasoning in the wild (2016)

Don Perlis

—

TODIM and TOPSIS with Z-numbers (2016)

R.A. Krohling et al.

—

Weighted Positive Binary Decision Diagrams for Exact Probabilistic Inference (2016)

Giso H. Dal and Peter J.F. Lucas

—

Two statements of the Duggan-Schwartz theorem (2016)

Egor Ianovski

—

Choquet integral in decision analysis - lessons from the axiomatization (2016)

Mikhail Timonin

—

Decision Theory in an Algebraic Setting (2016)

Maurizio Negri

—

Role of Simplicity in Creative Behaviour: The Case of the Poietic Generator (2016)

Antoine Saillenfest et al.

—

Practical Reasoning with Norms for Autonomous Software Agents (Full Edition) (2017)

Zohreh Shams et al.

—

Decision structure of risky choice (2017)

Lamb Wubin et al.

—

On the Semantics and Complexity of Probabilistic Logic Programs (2017)

Fabio Gagliardi Cozman et al.

—

Abductive, Causal, and Counterfactual Conditionals Under Incomplete Probabilistic Knowledge (2017)

Niki Pfeifer and Leena Tulkki

—

Solving the Goddard problem by an influence diagram (2017)

Ji\v{r}\'i Vomlel and V\'aclav Kratochv\'il

—

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution (2017)

Daniyar Itegulov et al.

—

Beliefs and Probability in Bacchus' l.p. Logic: A~3-Valued Logic Solution to Apparent Counter-intuition (2017)

Mieczys{\l}aw A. K{\l}opotek

—

Progression of Decomposed Local-Effect Action Theories (2017)

Denis Ponomaryov and Mikhail Soutchanski

—

Strategically knowing how (2017)

Raul Fervari et al.

—

A Method for Determining Weights of Criterias and Alternative of Fuzzy Group Decision Making Problem (2017)

Jon JaeGyong et al.

—

From Type Spaces to Probability Frames and Back, via Language (2017)

Adam Bjorndahl (Carnegie Mellon University) et al.

—

Rationalizability and Epistemic Priority Orderings (2017)

Emiliano Catonini (Higher School of Economics et al.

—

Plausibility and probability in deductive reasoning (2017)

Andrew MacFie

—

Aggregating incoherent agents who disagree (2017)

Richard Pettigrew

—

Assumption-Based Approaches to Reasoning with Priorities (2017)

Jesse Heyninck and Christian Stra{\ss}er and Pere Pardo

—

Functional Decision Theory: A New Theory of Instrumental Rationality (2017)

Eliezer Yudkowsky and Nate Soares

—

Recognizing Linked Domain in Polynomial Time (2017)

Yongjie Yang

—

Reasons and Means to Model Preferences as Incomplete (2018)

Olivier Cailloux (LAMSADE) et al.

—

A formal framework for deliberated judgment (2018)

Olivier Cailloux and Yves Meinard

—

On the Relative Succinctness of Sentential Decision Diagrams (2018)

Beate Bollig and Matthias Buttkus

—

Decision-making processes in the Cognitive Theory of True Conditions (2018)

Sergio Miguel-Tom\'e

—

PAC-Reasoning in Relational Domains (2018)

Ondrej Kuzelka et al.

—

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (2018)

Pedro Cabalar et al.

—

On the Conditional Logic of Simulation Models (2018)

Duligur Ibeling et al.

—

Changing Observations in Epistemic Temporal Logic (2018)

Aur\`ele Barri\`ere et al.

—

Boolean Decision Rules via Column Generation (2018)

Sanjeeb Dash et al.

—

A Desirability-Based Axiomatisation for Coherent Choice Functions (2018)

Jasper De Bock and Gert de Cooman

—

The Mathematics of Changing one's Mind, via Jeffrey's or via Pearl's update rule (2018)

Bart Jacobs

—

Planning and Synthesis Under Assumptions (2018)

Benjamin Aminof et al.

—

Causal Modeling with Probabilistic Simulation Models (2018)

Duligur Ibeling

—

Hunting for Tractable Languages for Judgment Aggregation (2018)

Ronald de Haan

—

Decision-Making with Belief Functions: a Review (2018)

Thierry Denoeux

—

Resource-driven Substructural Defeasible Logic (2018)

Francesco Olivieri et al.

—

Abstracting Causal Models (2018)

Sander Beckers and Joseph Y. Halpern

—

Decision-making and Fuzzy Temporal Logic (2019)

Jos\'e Cl\'audio do Nascimento

—

Semantics of higher-order probabilistic programs with conditioning (2019)

Fredrik Dahlqvist and Dexter Kozen

—

An approach to Decision Making based on Dynamic Argumentation Systems (2019)

Edgardo Ferretti et al.

—

Bounded rational decision-making from elementary computations that reduce uncertainty (2019)

Sebastian Gottwald et al.

—

On Learning to Prove (2019)

Daniel Huang

—

Quantitative Logic Reasoning (2019)

Marcelo Finger

—

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning (2019)

Pedro Cabalar et al.

—

An AGI with Time-Inconsistent Preferences (2019)

James D. Miller and Roman Yampolskiy

—

ADDMC: Weighted Model Counting with Algebraic Decision Diagrams (2019)

Jeffrey M. Dudek et al.

—

Common Belief in Choquet Rationality and Ambiguity Attitudes -- Extended Abstract (2019)

Adam Dominiak (Virginia Tech) et al.

—

Awesome Logic

Key papers

Logic

Awesome Logic

Key papers