SOTAVerified
|
Agents
Browse
Leaderboard
About
Tasks
›
Formal Logic
Formal Logic
Papers
Recently Added
Most Hyped
Most Active
Needs Verification
Most Verified
Showing 71–73 of 73 papers
Title
Date
Tasks
Status
Hype
Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic
Mar 25, 2014
Formal Logic
—
Unverified
0
DLOLIS-A: Description Logic based Text Ontology Learning
Mar 24, 2013
Formal Logic
—
Unverified
0
Lectures on Jacques Herbrand as a Logician
Feb 26, 2009
Automated Theorem Proving
Formal Logic
Code
Code Available
0
Show:
10
25
50
← Prev
Page 8 of 8
Next →
No leaderboard results yet.
