Paulo Moura
Paulo Moura
CRACS & INESC TEC, Portugal
Verified email at inescporto.pt - Homepage
Title
Cited by
Cited by
Year
Logtalk: Design of an object-oriented logic programming language
P Moura
Universidade da Beira Interior, Portugal, 2003
532003
High-level multi-threading programming in logtalk
P Moura, P Crocker, P Nunes
International Symposium on Practical Aspects of Declarative Languages, 265-281, 2008
152008
LogicObjects: enabling logic programming in Java through linguistic symbiosis
S Castro, K Mens, P Moura
International Symposium on Practical Aspects of Declarative Languages, 26-42, 2013
102013
ESProNa: Constraint-based declarative business process modeling
M Igler, P Moura, M Zeising, S Jablonski
2010 14th IEEE International Enterprise Distributed Object Computing …, 2010
102010
Logtalk 2.6 Documentation
P Moura
Technical Report DMI 2000/1, University of Beira Interior, Portugal, 2000
102000
Tabling, Rational Terms, and Coinduction Finally Together!
T Mantadelis, R Rocha, P Moura
arXiv preprint arXiv:1405.2794, 2014
92014
Modeling and planning collaboration using organizational constraints
M Igler, P Moura, M Faerber, M Zeising, S Jablonski
6th International Conference on Collaborative Computing: Networking …, 2010
82010
Programming patterns for logtalk parametric objects
P Moura
International Conference on Applications of Declarative Programming and …, 2009
82009
Logtalk web site
P Moura
7
Logtalk
P Moura
Preuzeto dana 27, 2018, 2018
62018
A portable and efficient implementation of coinductive logic programming
P Moura
International Symposium on Practical Aspects of Declarative Languages, 77-92, 2013
62013
LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java
S Castro, K Mens, P Moura
Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for …, 2012
62012
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.
P Moura
ICLP, 23, 2009
62009
Logtalk User Manual
P Moura
Updated for version 3 (0), 0
6
JPC: A Library for Modularising Inter-Language Conversion Concerns between Java and Prolog
S Castro, K Mens, P Moura
International Workshop on Advanced Software Development Tools and Techniques …, 2013
52013
ISO/IEC DTR 13211 3: 2006
P Moura
Definite Clause Grammar Rules, Draft, April 1, 2010, 2010
52010
Thread-based competitive or-parallelism
P Moura, R Rocha, SC Madeira
International Conference on Logic Programming, 713-717, 2008
52008
ISO/IEC DTR 13211–5: 2007 Prolog Multi-threading predicates
P Moura
Universidade da Beira Interior: Covilhã, Portugal, 2008
52008
Logtalk processing of STEP part 21 files
P Moura, V Marchetti
International Conference on Logic Programming, 453-454, 2006
52006
Customisable handling of java references in prolog programs
S Castro, K Mens, P Moura
arXiv preprint arXiv:1405.2693, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20