PyReason: Software for Open World Temporal Logic

27 February 2023

Papers citing "PyReason: Software for Open World Temporal Logic"

8 / 8 papers shown

Title
Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories Divyagna Bavikadi Nathaniel Lee Paulo Shakarian Chad Parvis 67 0 0 03 Feb 2025
Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing Divyagna Bavikadi Dyuman Aditya Devendra Parkar Paulo Shakarian Graham Mueller Chad Parvis Gerardo I. Simari 35 2 0 08 Jul 2024
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning Kaustuv Mukherji Devendra Parkar Lahari Pokala Dyuman Aditya Paulo Shakarian Clark Dorman 8 2 0 10 Oct 2023
Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification B. Xi Kevin Scaria Paulo Shakarian Paulo Shakarian 26 2 0 28 Aug 2023
Continual Reasoning: Non-Monotonic Reasoning in Neurosymbolic AI using Continual Learning Sofoklis Kyriakopoulos Artur Garcez NAI LRM 16 0 0 03 May 2023
Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks Prithviraj Sen B. W. Carvalho Ryan Riegel Alexander G. Gray NAI AI4CE 74 53 0 06 Dec 2021
Differentiable Inductive Logic Programming for Structured Examples Hikaru Shindo Masaaki Nishino Akihiro Yamamoto NAI 29 29 0 02 Mar 2021
Logic Tensor Networks Samy Badreddine Artur Garcez Luciano Serafini Michael Spranger NAI 70 196 0 25 Dec 2020