Papers tagged first order logic

• A Framework for Automated Generation of Questions Across Formal Domains
• REPRESENTING GAME DIALOGUE AS EXPRESSIONS IN FIRST-ORDER LOGIC

• Browse
• All Keywords
• By Category