Paul Fodor - RankMe

65 papers A* 5B 4C 2Journal 26Unranked 16

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	MLRegTest: A Benchmark for the Machine Learning of Regular Languages. J. Mach. Learn. Res. 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
2023	—	`ch.`	Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield
2023	J	`jnl`	Knowledge Authoring for Rules and Actions. CoRR Yuheng Wang, Paul Fodor, Michael Kifer
2023	J	`jnl`	Knowledge Authoring for Rules and Actions. Theory Pract. Log. Program. Yuheng Wang, Paul Fodor, Michael Kifer
2023	J	`jnl`	MLRegTest: A Benchmark for the Machine Learning of Regular Languages. CoRR 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
2023	—	`ed.`	Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18 - 20 September, 2023. RuleML+RR (Companion) Jan Vanthienen, Tomás Kliegr, Paul Fodor, Davide Lanti, Dörthe Arndt, Egor V. Kostylev, Theodoros Mitsikas, Ahmet Soylu
2022	J	`jnl`	Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. Theory Pract. Log. Program. Paul Fodor, Marco Montali
2022	—	`conf`	Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer
2021	—	`ed.`	Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. ICLP Technical Communications Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
2020	—	`ed.`	Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. ICLP Technical Communications Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
2020	—	`ed.`	Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June - 1 July, 2020. RuleML+RR (Supplement) Sotiris Moschoyiannis, Paul Fodor, Jan Vanthienen, Daniela Inclezan, Nikolay Nikolov, Francisco Martín-Recuerda, Ioan Toma
2020	J	`jnl`	Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). ACM SIGLOG News Diego Calvanese, Paul Fodor, Marco Montali
2019	—	`ed.`	Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. ICLP Technical Communications Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
2019	J	`jnl`	Querying Knowledge via Multi-Hop English Questions. CoRR Tiantian Gao, Paul Fodor, Michael Kifer
2019	J	`jnl`	Querying Knowledge via Multi-Hop English Questions. Theory Pract. Log. Program. Tiantian Gao, Paul Fodor, Michael Kifer
2019	B	`ed.`	Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings RuleML+RR Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
2018	B	`conf`	High Accuracy Question Answering via Hybrid Controlled Natural Language. WI Tiantian Gao, Paul Fodor, Michael Kifer
2018	—	`conf`	Knowledge Authoring for Rule-Based Reasoning. OTM Conferences (2) Tiantian Gao, Paul Fodor, Michael Kifer
2018	—	`ed.`	Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018. RuleML+RR (Supplement) Wolfgang Faber, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian
2018	—	`ed.`	Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Oxford, United Kingdom, July 14-17, 2018 ICLP (Technical Communications) Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor
2017	J	`jnl`	RuleML (Web Rule Symposium) 2016 Report. AI Mag. Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi
2017	—	`conf`	Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) Benjamin N. Grosof, Michael Kifer, Paul Fodor
2016	J	`jnl`	10th International Web Rule Symposium (RuleML 2016) report. ACM SIGLOG News Paul Fodor
2016	J	`jnl`	Introduction to the special issue on the International Web Rule Symposia 2012-2014. Theory Pract. Log. Program. Antonis Bikakis, Paul Fodor, Adrian Giurca, Leora Morgenstern
2016	J	`jnl`	Paraconsistency and Word Puzzles. CoRR Tiantian Gao, Paul Fodor, Michael Kifer
2016	J	`jnl`	Paraconsistency and word puzzles. Theory Pract. Log. Program. Tiantian Gao, Paul Fodor, Michael Kifer
2016	—	`ed.`	Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings RuleML José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
2015	—	`conf`	Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift
2015	—	`ed.`	Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015. Challenge+DC@RuleML Nick Bassiliades, Paul Fodor, Adrian Giurca, Georg Gottlob, Tomás Kliegr, Grzegorz J. Nalepa, Monica Palmirani, Adrian Paschke, Mark Proctor, Dumitru Roman, Fariba Sadri, Nenad Stojanovic
2015	—	`conf`	The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Reasoning Web Benjamin N. Grosof, Michael Kifer, Paul Fodor
2014	—	`ed.`	Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings RuleML Antonis Bikakis, Paul Fodor, Dumitru Roman
2013	—	`conf`	Advanced Knowledge Base Debugging for Rulelog. RuleML (2) Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2013	—	`conf`	Developing Troubleshooting Systems Using Ontologies. Web Intelligence/IAT Workshops Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor
2013	—	`ed.`	Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, July 11 -13, 2013 RuleML (2) Paul Fodor, Dumitru Roman, Darko Anicic, Adam Z. Wyner, Monica Palmirani, Davide Sottara, François Lévy
2013	J	`jnl`	Understanding Rulelog Computations in Silk. CoRR Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2012	J	`jnl`	Question analysis: How Watson reads a clue. IBM J. Res. Dev. Adam Lally, John M. Prager, Michael C. McCord, Branimir Boguraev, Siddharth Patwardhan, James Fan, Paul Fodor, Jennifer Chu-Carroll
2012	J	`jnl`	Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach. Appl. Artif. Intell. Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2012	J	`jnl`	Stream reasoning and complex event processing in ETALIS. Semantic Web Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2011	—	`conf`	A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams. RuleML Europe Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2011	A*	`conf`	EP-SPARQL: a unified language for event processing and stream reasoning. WWW Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
2011	C	`conf`	Results on Out-of-Order Event Processing. PADL Paul Fodor, Darko Anicic, Sebastian Rudolph
2011	—	`conf`	Retractable Complex Event Processing and Stream Reasoning. RuleML Europe Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
2011	—	`conf`	Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) Paul Fodor, Michael Kifer
2010	—	`conf`	A Rule-Based Language for Complex Event Processing and Reasoning. RR Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
2010	C	`conf`	Tabling for transaction logic. PPDP Paul Fodor, Michael Kifer
2009	J	`jnl`	A simple and efficient explicit parallelization of logic programs using low-level threading primitives CoRR Diptikalyan Saha, Paul Fodor
2009	—	`conf`	An approach for data-driven and logic-based complex Event Processing. DEBS Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer
2009	—	`conf`	Computing complex events in an event-driven and logic-based approach. DEBS Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer
2009	—	`conf`	Event-Driven Approach for Logic-Based Complex Event Processing. CSE (1) Darko Anicic, Paul Fodor, Roland Stühmer, Nenad Stojanovic
2009	—	`conf`	Initial Results on Justification for the Tabled Transaction Logic. AAAI Spring Symposium: Intelligent Event Processing Paul Fodor
2009	B	`conf`	Logic Programming with Defaults and Argumentation Theories. ICLP Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
2009	A*	`conf`	OpenRuleBench: an analysis of the performance of rule engines. WWW Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
2009	B	`conf`	Research Summary: Tabled Evaluation for Transaction Logic Programs. ICLP Paul Fodor
2008	A*	`conf`	Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. AAAI Paul Fodor
2008	J	`jnl`	Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine CoRR Paul Fodor
2008	A*	`conf`	Optimizations and Extensions for the Horn Transaction Logic Programs. AAAI Paul Fodor
2008	A*	`conf`	Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. AAAI Paul Fodor
2008	J	`jnl`	The Prolog Interface to the Unstructured Information Management Architecture CoRR Paul Fodor, Adam Lally, David A. Ferrucci
2007	J	`jnl`	A Systematic Approach to Web-Application Development CoRR Joy Dutta, Paul Fodor
2007	J	`jnl`	Automatic Annotation of XHTML Pages with Audio Components CoRR Paul Fodor
2007	J	`jnl`	Domain Directed Dialogs for Decision Processes CoRR Paul Fodor
2007	J	`jnl`	Efficient Tabling Mechanisms for Transaction Logic Programs CoRR Paul Fodor
2007	J	`jnl`	Flexible Audio Streams CoRR Paul Fodor
2007	J	`jnl`	Portlet Wrappers using JavaScript CoRR Paul Fodor
2006	—	`conf`	Planning and Logic Programming for Dialog Management. SLT Paul Fodor, Juan M. Huerta