| InterProlog: Towards a declarative embedding of logic programming in Java M Calejo Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004 | 61 | 2004 |
| A Framework for Prolog Debugging. LM Pereira, M Calejo ICLP/SLP, 481-495, 1988 | 42 | 1988 |
| Using SWISH to realize interactive web-based tutorials for logic-based languages J Wielemaker, F Riguzzi, RA Kowalski, T Lager, F Sadri, M Calejo Theory and Practice of Logic Programming 19 (2), 229-261, 2019 | 25 | 2019 |
| A framework for declarative Prolog debugging M Calejo PhD thesis, New University of Lisbon, 1992 | 20 | 1992 |
| Refining knowledge base updates LM Pereira, M Calejo, JN Aparicio Al Center UNINOVA, 1989 | 18 | 1989 |
| Logical English for law and education R Kowalski, J Dávila, G Sartor, M Calejo Prolog: The Next 50 Years, 287-299, 2023 | 14 | 2023 |
| Interprolog: A declarative java-prolog interface M Calejo Procs. Logic Programming for Artificial Intelligence and Information Systems …, 2001 | 13 | 2001 |
| Algorithmic debugging of prolog side-effects LM Pereira, M Calejo EPIA 89: 4th Portuguese Conference on Artificial Intelligence Lisbon …, 1989 | 6 | 1989 |
| Combining logic programming and imperative programming in LPS R Kowalski, F Sadri, M Calejo, J Dávila Prolog: The Next 50 Years, 210-223, 2023 | 5 | 2023 |
| Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog B Grosof, J Bloomfield, P Fodor, M Kifer, I Grosof, M Calejo, T Swift RuleML 2015, 2015 | 5 | 2015 |
| Rapid GIS Development: a model-based approach focused on interoperability M Calejo, R Sequeira, R Cavaco, M Araújo 13th AGILE International Conference on Geographic Information Science, 2010 | 5 | 2010 |
| Declarative source debugging M Calejo, LM Pereira EPIA 91: 5th Portuguese Conference on Artificial Intelligence Albufeira …, 1991 | 5 | 1991 |
| Logical English for legal applications R Kowalski, J Dávila, M Calejo XAIF, Virtual Workshop on Explainable AI in Finance, 2021 | 4 | 2021 |
| Understanding rulelog computations in silk C Andersen, B Benyo, M Calejo, M Dean, P Fodor, BN Grosof, M Kifer, ... arXiv preprint arXiv:1308.4125, 2013 | 4 | 2013 |
| Java+Prolog: A land of opportunities M Calejo The First International Conference on The Practical Application of …, 1999 | 4 | 1999 |
| Advanced Knowledge Base Debugging for Rulelog. C Andersen, B Benyo, M Calejo, M Dean, P Fodor, BN Grosof, M Kifer, ... RuleML (2), 2013 | 3 | 2013 |
| Embedding Prolog in the Java environment M Calejo, JP Sousa Proc. of the 2nd Int. Workshop on Logic Programming Tools for Internet …, 1997 | 3 | 1997 |
| Logical English for law R Kowalski, J Dávila, G Sartor, M Calejo on Methodologies for Translating Legal Norms into Formal Representations …, 2022 | 2 | 2022 |
| How to do it with LPS (Logic-Based Production System). RA Kowalski, F Sadri, M Calejo RuleML+ RR (Supplement), 2017 | 1 | 2017 |
| Intelligent document routing as a first step towards workflow automation: a case study implemented in SQL C Soares, M Calejo International Symposium On Leveraging Applications of Formal Methods …, 2010 | 1 | 2010 |
