Paul Fodor
Orcid: 0000-0002-2978-676XAffiliations:
- Stony Brook University, NY, USA
According to our database1,
Paul Fodor
authored at least 49 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Prolog: The Next 50 Years, 2023
2022
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019.
Theory Pract. Log. Program., 2022
Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022
2020
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019).
ACM SIGLOG News, 2020
2019
Theory Pract. Log. Program., 2019
2018
Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
2017
Proceedings of the Doctoral Consortium, 2017
2016
Theory Pract. Log. Program., 2016
2015
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation).
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.
Proceedings of the RuleML 2015 Challenge, 2015
2013
Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, 2013
2012
Appl. Artif. Intell., 2012
2011
Proceedings of the 20th International Conference on World Wide Web, 2011
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
2010
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010
2009
A simple and efficient explicit parallelization of logic programs using low-level threading primitives
CoRR, 2009
Proceedings of the 18th International Conference on World Wide Web, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Proceedings of the Intelligent Event Processing, 2009
2008
CoRR, 2008
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine
CoRR, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
2006
Proceedings of the 2006 IEEE ACL Spoken Language Technology Workshop, 2006