Paulo Jorge Lopes de Moura


AuthID: R-000-N33

Publicações Confirmadas: 20



1
TÍTULO: Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
AUTORES: Paul S Brown; Vania Dimitrova; Glen Hart; Anthony G Cohn; Paulo Moura ;
PUBLICAÇÃO: 2021, FONTE: Theory Pract. Log. Program., VOLUME: 21, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
2
TÍTULO: JPC: A library for categorising and applying inter-language conversions between Java and Prolog  Full Text
AUTORES: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLICAÇÃO: 2017, FONTE: 4th International Workshop on Academic Software Development Tools and Techniques in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 134
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: Customisable Handling of Java References in Prolog Programs PDF
AUTORES: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.2693
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
4
TÍTULO: Tabling, Rational Terms, and Coinduction Finally Together!
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
5
TÍTULO: A Portable and Efficient Implementation of Coinductive Logic Programming
AUTORES: Paulo Moura ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
6
TÍTULO: LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis
AUTORES: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: Agent spaces: a scalable architecture for distributed logic agents. a scalable architecture for distributed logic agents
AUTORES: Paul Tarau; Arun K Majumdar; Paulo Moura ;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Research in Applied Computation Symposium, RACS 2012 in Research in Applied Computation Symposium, RACS '12, San Antonio, TX, USA, October 23-26, 2012
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
8
TÍTULO: LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java. a linguistic symbiosis approach to bring the declarative power of Prolog to Java
AUTORES: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLICAÇÃO: 2012, FONTE: 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution, RAM-SE'12 in Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution, RAM-SE 2012, Beijing, China, June 13, 2012
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
9
TÍTULO: L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory PDF
AUTORES: Paulo Moura ; Artur Miguel Dias;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3783
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
10
TÍTULO: Meta-predicate Semantics
AUTORES: Paulo Moura ;
PUBLICAÇÃO: 2011, FONTE: 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011 in Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, VOLUME: 7225
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 1 de 2. Total de resultados: 20.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service