Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture

23 February 2023

Papers citing "Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture"

6 / 6 papers shown

Title
Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories Divyagna Bavikadi Nathaniel Lee Paulo Shakarian Chad Parvis 65 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
PyReason: Software for Open World Temporal Logic Dyuman Aditya Kaustuv Mukherji Srikar Balasubramanian Abhiraj Chaudhary Paulo Shakarian OffRL LRM AI4CE NAI 19 11 0 27 Feb 2023
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