CITI - Member - António Porto

CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home \ Members \ Member Page

António Porto
Software Systems Country: Portugal Position: Associate Professor Email: antonio.porto(at)fct.unl.pt	Publications (9) Seminars (1) Graduation Activities (3) Editorial Committees (1) Prototypes (1)

{ Publications }

António Porto publications in BibTeX format

( articles )

Entailment-Based Actions for Coordination
@ Theoretical Computer Science - 1998

( book chapters )

A language for contextual logic programming
@ Logic Programming Languages: Constraints, Functions, and Objects - 1993
Syntactic and semantic inheritance in logic programming
@ Declarative Programming, Sasbachwalden 1991 - 1992

( editorial activities )

Coordination Languages and Models: 4th International Conference, Coordination 2000; Proceedings
Springer-Verlag - September, 2000

( in proceedings )

An Integrated Information System Powered by Prolog
@ Practical Aspects of Declarative Languages. Proceedings - January, 2002
Structural Abstraction and Application in Logic Programming
@ Functional and Logic Programming, 6th International Symposium, Proceedings - 2002
Towards fully integrated information services
@ Eunis 2002, The 8th International Conference of European University Information Systems, Proceedings - 2002
A transformational view of inheritance in logic programming
@ Logic Programming: Proceedings of the Seventh International Conference - 1990
Contextual logic programming
@ Logic Programming: Proceedings of the Sixth International Conference - 1989