Image de couverture de livre

VECSR: Virtually Embodied Common Sense Reasoning System

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tudor, Alexis R., Arias, Joaquín, Gupta, Gopal
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
par: Tudor, Alexis R., et autres
Publié: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
par: Zeng, Yankai, et autres
Publié: (2024)

Autonomous Task Completion Based on Goal-directed Answer Set Programming
par: Tudor, Alexis R.
Publié: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

Computing Supported Models via Transformation to Stable Models
par: Li, Fang, et autres
Publié: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
par: Vašíček, Ondřej, et autres
Publié: (2026)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
par: Murugesan, Anitha, et autres
Publié: (2024)

P2C: Path to Counterfactuals
par: Dasgupta, Sopam, et autres
Publié: (2025)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
par: Dasgupta, Sopam, et autres
Publié: (2025)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
par: Vašíček, Ondřej, et autres
Publié: (2024)

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
par: Li, Fang, et autres
Publié: (2025)

Topological Semantics for Common Inductive Knowledge
par: Namachivayam, Siddharth
Publié: (2026)

Semantic Foundations of Reductive Reasoning
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Logic of (Common or Distributed) Knowledge
par: Shi, Chenwei
Publié: (2025)

Common Knowledge, Sailboats, and Publicity
par: Bozdag, Sena, et autres
Publié: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
par: Li, Dazhu, et autres
Publié: (2025)

Proceedings 40th International Conference on Logic Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

A concise proof of Commoner's theorem
par: Jancar, Petr
Publié: (2024)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
par: de Frutos-Escrig, David, et autres
Publié: (2024)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
par: Bergstra, Jan A, et autres
Publié: (2023)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
par: Freiman, Robert, et autres
Publié: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
par: Cerda, Rémy, et autres
Publié: (2025)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
par: Bauer, Esaïe, et autres
Publié: (2025)

Common Foundations for Recursive Shape Languages
par: Ahmetaj, Shqiponja, et autres
Publié: (2026)

Paraconsistent Existential Graphs Gamma Peirce System
par: Sierra-Aristizabal, Manuel
Publié: (2023)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
par: Lyon, Tim S.
Publié: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
par: Bilotta, Antonella
Publié: (2025)

A Curry-Howard Correspondence for Linear, Reversible Computation
par: Chardonnet, Kostia, et autres
Publié: (2023)

The exponential logic of sequentialization
par: Alcolei, Aurore, et autres
Publié: (2023)

Knowledge and Common Knowledge of Strategies
par: Miranda, Borja Sierra, et autres
Publié: (2025)

Common Knowledge Always, Forever
par: Diéguez, Martín, et autres
Publié: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)