Planning and Logic Programming for Dialog Management. - Paul Fodor; Juan M. Huerta (SLT, 2006)

Efficient Tabling Mechanisms for Transaction Logic Programs - Paul Fodor (CoRR, 2007)

Portlet Wrappers using JavaScript - Paul Fodor (CoRR, 2007)

Flexible Audio Streams - Paul Fodor (CoRR, 2007)

Automatic Annotation of XHTML Pages with Audio Components - Paul Fodor (CoRR, 2007)

Domain Directed Dialogs for Decision Processes - Paul Fodor (CoRR, 2007)

A Systematic Approach to Web-Application Development - Joy Dutta; Paul Fodor (CoRR, 2007)

Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. - Paul Fodor (AAAI, 2008)

Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. - Paul Fodor (AAAI, 2008)

Optimizations and Extensions for the Horn Transaction Logic Programs. - Paul Fodor (AAAI, 2008)

Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine - Paul Fodor (CoRR, 2008)

The Prolog Interface to the Unstructured Information Management Architecture - Paul Fodor; Adam Lally; David A. Ferrucci (CoRR, 2008)

Initial Results on Justification for the Tabled Transaction Logic. - Paul Fodor (AAAI Spring Symposium: Intelligent Event Processing, 2009)

Event-Driven Approach for Logic-Based Complex Event Processing. - Darko Anicic; Paul Fodor; Roland Stühmer; Nenad Stojanovic (CSE (1), 2009)

An approach for data-driven and logic-based complex Event Processing. - Darko Anicic; Paul Fodor; Nenad Stojanovic; Roland Stühmer (DEBS, 2009)

Computing complex events in an event-driven and logic-based approach. - Darko Anicic; Paul Fodor; Nenad Stojanovic; Roland Stühmer (DEBS, 2009)

Research Summary: Tabled Evaluation for Transaction Logic Programs. - Paul Fodor (ICLP, 2009)

Logic Programming with Defaults and Argumentation Theories. - Hui Wan 001; Benjamin N. Grosof; Michael Kifer; Paul Fodor; Senlin Liang (ICLP, 2009)

OpenRuleBench: an analysis of the performance of rule engines. - Senlin Liang; Paul Fodor; Hui Wan 001; Michael Kifer (WWW, 2009)

A simple and efficient explicit parallelization of logic programs using low-level threading primitives - Diptikalyan Saha; Paul Fodor (CoRR, 2009)

Tabling for transaction logic. - Paul Fodor; Michael Kifer (PPDP, 2010)

A Rule-Based Language for Complex Event Processing and Reasoning. - Darko Anicic; Paul Fodor; Sebastian Rudolph; Roland Stühmer; Nenad Stojanovic; Rudi Studer (RR, 2010)

Transaction Logic with Defaults and Argumentation Theories. - Paul Fodor; Michael Kifer (ICLP (Technical Communications), 2011)

Results on Out-of-Order Event Processing. - Paul Fodor; Darko Anicic; Sebastian Rudolph (PADL, 2011)

Retractable Complex Event Processing and Stream Reasoning. - Darko Anicic; Sebastian Rudolph; Paul Fodor; Nenad Stojanovic (RuleML Europe, 2011)

A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams. - Darko Anicic; Sebastian Rudolph; Paul Fodor; Nenad Stojanovic (RuleML Europe, 2011)

EP-SPARQL: a unified language for event processing and stream reasoning. - Darko Anicic; Paul Fodor; Sebastian Rudolph; Nenad Stojanovic (WWW, 2011)

Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach. - Darko Anicic; Sebastian Rudolph; Paul Fodor; Nenad Stojanovic (Appl. Artif. Intell., 2012)

Question analysis: How Watson reads a clue. - Adam Lally; John M. Prager; Michael C. McCord; Branimir Boguraev; Siddharth Patwardhan; James Fan; Paul Fodor; Jennifer Chu-Carroll (IBM J. Res. Dev., 2012)

Stream reasoning and complex event processing in ETALIS. - Darko Anicic; Sebastian Rudolph; Paul Fodor; Nenad Stojanovic (Semantic Web, 2012)

Developing Troubleshooting Systems Using Ontologies. - Reza Basseda; Michael Kifer; John P. Kane; Steven Greenspan; Paul Fodor (Web Intelligence/IAT Workshops, 2013)

Advanced Knowledge Base Debugging for Rulelog. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (RuleML (2), 2013)

Understanding Rulelog Computations in Silk. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (CoRR, 2013)

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. - Benjamin N. Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift (Challenge+DC@RuleML, 2015)

The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). - Benjamin N. Grosof; Michael Kifer; Paul Fodor (Reasoning Web, 2015)

10th International Web Rule Symposium (RuleML 2016) report. - Paul Fodor (ACM SIGLOG News, 2016)

Introduction to the special issue on the International Web Rule Symposia 2012-2014. - Antonis Bikakis; Paul Fodor; Adrian Giurca; Leora Morgenstern (Theory Pract. Log. Program., 2016)

Paraconsistency and word puzzles. - Tiantian Gao; Paul Fodor; Michael Kifer (Theory Pract. Log. Program., 2016)

Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. - Benjamin N. Grosof; Michael Kifer; Paul Fodor (RuleML+RR (Supplement), 2017)

RuleML (Web Rule Symposium) 2016 Report. - Paul Fodor; Guido Governatori; José Júlio Alferes; Leopoldo E. Bertossi (AI Mag., 2017)

Knowledge Authoring for Rule-Based Reasoning. - Tiantian Gao; Paul Fodor; Michael Kifer (OTM Conferences (2), 2018)

High Accuracy Question Answering via Hybrid Controlled Natural Language. - Tiantian Gao; Paul Fodor; Michael Kifer (WI, 2018)

Querying Knowledge via Multi-Hop English Questions. - Tiantian Gao; Paul Fodor; Michael Kifer (Theory Pract. Log. Program., 2019)

Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). - Diego Calvanese; Paul Fodor; Marco Montali (ACM SIGLOG News, 2020)

Knowledge Authoring with Factual English. - Yuheng Wang; Giorgian Borca-Tasciuc; Nikhil Goel; Paul Fodor; Michael Kifer (ICLP Technical Communications / Doctoral Consortium, 2022)

Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. - Paul Fodor; Marco Montali (Theory Pract. Log. Program., 2022)

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 (CoRR, 2023)

Ergo: A Quest for Declarativity in Logic Programming. - Benjamin N. Grosof; Michael Kifer; Theresa Swift; Paul Fodor; Janine Bloomfield (Prolog: The Next 50 Years, 2023)

Knowledge Authoring for Rules and Actions. - Yuheng Wang; Paul Fodor; Michael Kifer (Theory Pract. Log. Program., 2023)