Fodor, Paul

4 publications

JMLR 2024 MLRegTest: A Benchmark for the Machine Learning of Regular Languages Sam van der Poel, Dakotah Lambert, Kalina Kostyszyn, Tiantian Gao, Rahul Verma, Derek Andersen, Joanne Chau, Emily Peterson, Cody St. Clair, Paul Fodor, Chihiro Shibata, Jeffrey Heinz

AAAI 2008 Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs Paul Fodor

AAAI 2008 Optimizations and Extensions for the Horn Transaction Logic Programs Paul Fodor

AAAI 2008 Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques Paul Fodor