| 04/23/2025 |
James Oswald and Brandon Rozek |
Lean 4 as a Programming Language and Theorem Prover |
|
| 04/16/2025 |
Bradley P. Allen |
Chain-of-Verification-and-Refutation: bilateral factuality assessment using large language models |
|
| 04/09/2025 |
Thomas Ferguson |
A Family of Epistemic Logics of Zero Knowledge Proof |
|
| 04/02/2025 |
Selmer Bringsjord |
Gödel in 60 Seconds |
|
| 03/26/2025 |
Brandon Rozek |
What can go into a classical planning model? |
|
| 03/19/2025 |
Leonard Fowler |
The V-generic filter is in Meinong's Jungle, and that's ok |
|
| 03/12/2025 |
Jitka Kadlecikova |
Asymmetric Consequence Relations and Many-Valued Semantics |
|
| 02/19/2025 |
Melvin Fitting |
Simple Tableaus for Simple Logics |
|
| 02/05/2025 |
Konstantine Arkoudas |
Athena: Recent Advances in Higher-Order Logic Embeddings and LLMs for Proof Validation |
|
| 01/29/2025 |
Timofey Tylik |
Real Recursive Functions and Their Hierarchy |
|
| 12/04/2024 |
Brandon Rozek & James Oswald |
An Introduction to Situation Calculus |
|
| 11/20/2024 |
Jitka Kadlecikova |
A Unification of Asymmetric Consequences: Part II |
|
| 11/13/2024 |
Marta Bilkova |
Group Epistemics, (Co-)algebraically |
|
| 10/30/2024 |
Jitka Kadlecikova |
A Unification of Asymmetric Consequences: Part I |
|
| 10/16/2024 |
Brandon Rozek |
Alternate Theories of Uncertainty: Dempster-Shafer and Possibility Theory |
|
| 10/09/2024 |
James Oswald |
A Modal Logic of Optimality |
|
| 10/02/2024 |
Thomas Ferguson |
Qua, Per Se, and Other Topic-Theoretic Operators II |
|
| 09/25/2024 |
Thomas Ferguson |
Qua, Per Se, and Other Topic-Theoretic Operators I |
|
| 09/18/2024 |
Nick Ferenz |
γ and first-order relevant logics |
|
| 04/17/2024 |
James Oswald |
Formal Measures of General Machine Intelligence |
|
| 04/10/2024 |
Thomas Ferguson |
Proof Techniques in Modal Logic III |
|
| 04/03/2024 |
Andrew Tedder |
Three Flavours of the Relevance Criterion: A Tutorial on Relevant Logics |
|
| 03/27/2024 |
Brandon Rozek |
CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation |
|
| 03/20/2024 |
Thomas Ferguson |
Proof Techniques in Modal Logic II |
|
| 03/13/2024 |
Thomas Ferguson |
Proof Techniques in Modal Logic I |
|
| 03/01/2024 |
Michael Giancola |
Reflections on the DARPA XAI Program
& Life @ CRA |
|
| 02/14/2024 |
Pietro Vigiani |
Explicit and Implicit Belief in FDE with Strict Implication |
|
| 02/07/2024 |
Elisangela Ramirez-Camara |
Connexive logic: An Introduction |
|
| 01/31/2024 |
Brandon Rozek |
Planning under Qualitative Uncertainty -- Initial Thoughts |
|
| 01/31/2024 |
James Oswald |
Universal intelligence in the arithmetic hierarchy |
|
| 01/24/2024 |
Brandon Rozek |
Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning |
|
| 01/10/2024 |
James Oswald |
Introductory Modal Logic in Lean 4 Part 2 |
|
| 12/13/2023 |
James Oswald |
Introductory Modal Logic in Lean 4 Part 1 |
|
| 12/06/2023 |
Ethan Gertler |
Logic of Python |
|
| 11/29/2023 |
Jitka Kadlecikova |
Towards an Ethically Sensitive Logic |
|
| 11/15/2023 |
Kimberly Cornell |
On Forward Closure and the Finite Variant Property |
|
| 11/08/2023 |
Armin Karic |
Abstract Nonsense |
Category Theory |
| 11/01/2023 |
James Oswald |
Universal Intelligence, A formal definition of general machine intelligence |
Paper by Shane Legg and Marcus Hutter |
| 10/25/2023 |
Brandon Rozek |
Introduction to Goal Recognition as Planning |
Literature Review |
| 10/18/2023 |
Brandon Rozek and James Oswald |
RAIR Lab Software Overview |
Workshop |
| 10/4/2023 |
Brandon Rozek |
Syntactic AC Unification |
Ongoing Research |
| 09/27/2023 |
James Oswald |
An Introduction to Non-Axiomatic Logic and Some Quantification |
|
| 09/20/2023 |
Thomas Ferguson |
Topic-Theoretic Intensional Logics and Their Rivals: Part 2 |
|
| 09/13/2023 |
Thomas Ferguson |
Topic-Theoretic Intensional Logics and Their Rivals: Part 1 |
|
| 09/06/2023 |
Brandon Rozek |
Hierarchical Reinforcement Learning under Partial Observability with a Discovery Planning Model |
|
| 09/06/2023 |
James Oswald |
Large Language Models as Planning Domain Generators |
|
| 05/10/2023 |
Naveen Sundar G |
ShadowProver |
|
| 05/3/2023 |
Armin Karic |
Boyer-Moore: A Washing Machine for QED |
Featuring ACL2 |
| 04/12/2023 |
James Oswald |
An Introduction to Linear Temporal Logic |
|
| 03/29/2023 |
Bram Van Heuveln |
Existential Graphs: An Overview |
|
| 03/22/2023 |
Brandon Rozek |
Automated Theorem Proving with TPTP |
Workshop |
| 03/15/2023 |
Mike Giancola |
Reasoning with Cognitive Likelihood for Artificially-Intelligent Agents: Formalization & Implementation |
Candidacy Preview |
| 03/01/2023 |
Selmer Bringsjord |
A Cognitive Calculi for Attention-and-Perception: APCC* |
Ongoing Research |
| 02/22/2023 |
Mike Giancola |
Distributed, Decentralized, and Democratized Artificial Intelligence |
Paper by Gabriel Axel Montes and Ben Goertzel. |
| 02/15/2023 |
James Oswald |
A Fuzzy Description Logic |
Paper by Umberto Straccia |
| 02/08/2023 |
Brandon Rozek |
Interactive Theorem Proving with Lean Part 2 |
Workshop |
| 02/01/2023 |
Brandon Rozek |
Interactive Theorem Proving with Lean Part 1 |
Workshop |
| 12/8/2022 |
Armin Karic |
Compiling to Axioms |
|
| 11/2/2022 |
Mike Giancola |
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics |
Paper by Peter Schroeder-Heister |
| 10/26/2022 |
Shreya Banerjee |
Psychometric AI |
|
| 10/19/2022 |
Brandon Rozek |
Evaluation of the Moral Permissibility of Action Plans |
Paper by Felix Lindner, Robert Mattmuller, and Bernhard Nebel |
| 09/14/2022 |
Brandon Rozek |
Planning Modulo Theories: Extending the Planning Paradigm |
Paper by Peter Gregory, Derek Long, Maria Fox, and J. Christopher Beck. |
| 9/7/2022 |
Mike Giancola |
Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations |
Paper by Aditya Kalyanpur Tom Breloff, and David Ferrucci |
| 8/17/2022 |
James Oswald |
PERI.2 Goes to PreSchool and Beyond, in Search of AGI |
Paper by Selmer Bringsjord et al. |
| 8/10/2022 |
Selmer Bringsjord |
Logic in the documentary film “President” |
|
| 08/03/2022 |
Brandon Rozek |
Coming Up with Good Excuses: What To Do When No Plan Can be Found |
Paper by Moritz Gobelbecker, et al. |
| 7/27/2022 |
James Oswald |
Free Will - Even For Robots |
Paper by John McCarthy |
| 06/28/2022 |
Brandon Rozek |
Landmark-based heuristic online contingent planning |
Paper by Shlomi Maliah, Guy Shani, and Ronen L. Brafman |
| 6/20/2022 |
Shreya Banerjee |
Psychometric AI |
|
| 6/7/2022 |
James Oswald |
A Net Structure for Semantic Information Storage, Deduction and Retrieval |
Paper by Stuart C. Shapiro |
| 06/01/2022 |
Brandon Rozek |
AI Planning Annotation for Sample Efficient Reinforcement Learning |
Paper by Junkyu Lee, et al. |
| 5/24/2022 |
John Slowik |
Artificial Intelligent Agents Go to School |
Paper by Sergei Nirenburg, Jesse English, and Marjorie McShane |
| 5/18/2022 |
James Oswald |
The Tractability of Subsumption in Frame-Based Description Languages |
Paper by Ronald Brachman and Hector Levesque. |
| 05/11/2022 |
Brandon Rozek |
The Power of Waiting in Social Laws |
Paper by Alexander Tuisov, Alexander Shleyfman, and Erez Karpas |