SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–73 of 73 papers

TitleStatusHype
Learning Spatio-Temporal Specifications for Dynamical Systems—0
Learning Symbolic Rules for Reasoning in Quasi-Natural LanguageCode0
An Enactivist account of Mind Reading in Natural Language Understanding—0
Visual Question Answering based on Formal Logic—0
Expressing High-Level Scientific Claims with Formal Semantics—0
Design of quantum optical experiments with logic artificial intelligenceCode0
Satisfiability and Containment of Recursive SHACLCode0
Negation in Cognitive ReasoningCode0
LGPSolver - Solving Logic Grid Puzzles Automatically—0
A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception—0
Inferences and Modal Vocabulary—0
Machine Common Sense—0
Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)—0
Toward the Engineering of Virtuous Machines—0
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning—0
Combining Representation Learning with Logic for Language Processing—0
Building Multimodal Simulations for Natural Language—0
Principles and Examples of Plausible Reasoning and Propositional Plausible Logic—0
The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem—0
Service Choreography, SBVR, and Time—0
Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic—0
DLOLIS-A: Description Logic based Text Ontology Learning—0
Lectures on Jacques Herbrand as a LogicianCode0
Show:102550
← PrevPage 2 of 2Next →

No leaderboard results yet.