Paulo Jorge Lopes de Moura


AuthID: R-000-N33

Confirmed Publications: 20



1
TITLE: Refactoring the Whitby Intelligent Tutoring System for Clean Architecture
AUTHORS: Paul S Brown; Vania Dimitrova; Glen Hart; Anthony G Cohn; Paulo Moura ;
PUBLISHED: 2021, SOURCE: Theory Pract. Log. Program., VOLUME: 21, ISSUE: 6
INDEXED IN: DBLP
IN MY: ORCID | DBLP
2
TITLE: JPC: A library for categorising and applying inter-language conversions between Java and Prolog  Full Text
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Academic Software Development Tools and Techniques in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 134
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Customisable Handling of Java References in Prolog Programs PDF
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2693
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
4
TITLE: Tabling, Rational Terms, and Coinduction Finally Together!
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
5
TITLE: A Portable and Efficient Implementation of Coinductive Logic Programming
AUTHORS: Paulo Moura ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Agent spaces: a scalable architecture for distributed logic agents. a scalable architecture for distributed logic agents
AUTHORS: Paul Tarau; Arun K Majumdar; Paulo Moura ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: 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
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
9
TITLE: L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory PDF
AUTHORS: Paulo Moura ; Artur Miguel Dias;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3783
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
10
TITLE: Meta-predicate Semantics
AUTHORS: Paulo Moura ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 2. Total results: 20.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service