The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

António Porto: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luís Monteiro, António Porto
    Contextual Logic Programming. [Citation Graph (2, 0)][DBLP]
    ICLP, 1989, pp:284-299 [Conf]
  2. Luís Monteiro, António Porto
    A Transformational View of Inheritance in Logic Programming. [Citation Graph (1, 0)][DBLP]
    ICLP, 1990, pp:481-494 [Conf]
  3. Luís Moniz Pereira, António Porto
    Selective Backtracking for Logic Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:306-317 [Conf]
  4. António Porto, Cristina Ribeiro
    Temporal Inference with a Point Based Interval Algebra. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:374-378 [Conf]
  5. Cristina Ribeiro, António Porto
    Representation and Inference with Consistent Temporal Propositions. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:322-332 [Conf]
  6. António Porto, Paulo Rosado
    The AbstrAct Scheme for Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:216-241 [Conf]
  7. Gabriel David, António Porto
    Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:135-150 [Conf]
  8. Gabriel David, António Porto
    Inheritance in a Hierarchy of Theories. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:77-92 [Conf]
  9. Cristina Ribeiro, António Porto
    Maximal Intervals: An Approach to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:180-194 [Conf]
  10. António Porto
    Two-Level Prolog. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:356-360 [Conf]
  11. António Porto
    Structural Abstraction and Application in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:275-289 [Conf]
  12. Luís Moniz Pereira, António Porto
    A Prolog Implementation of a Large System on a Small Machine. [Citation Graph (0, 0)][DBLP]
    ICLP, 1982, pp:225-229 [Conf]
  13. António Porto
    Epilog: A Language for Extended Programming in Logic. [Citation Graph (0, 0)][DBLP]
    ICLP, 1982, pp:31-37 [Conf]
  14. António Porto
    Logic Programming Environments. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:946- [Conf]
  15. Cristina Ribeiro, António Porto
    Abduction in Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:349-364 [Conf]
  16. Gabriel David, António Porto
    Generic Browsing: A Case for Contextual Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPE, 1990, pp:68-73 [Conf]
  17. António Porto
    An Integrated Information System Powered by Prolog. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:92-109 [Conf]
  18. Cristina Ribeiro, António Porto
    Reasoning with Maximal Time Intervals. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:171-178 [Conf]
  19. Luís Monteiro, António Porto
    Syntactic and Semantic Inheritance in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:163-173 [Conf]
  20. António Porto, Miguel Filgueiras
    Natural Language Semantics: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:228-232 [Conf]
  21. Luís Monteiro, António Porto
    Entailment-Based Actions for Coordination. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:2, pp:259-286 [Journal]

  22. High-Level Interaction with Relational Databases in Logic Programming. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002