The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mauro Di Manzo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Proving Formulas through Reduction to Decidable Classes. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:1-10 [Conf]
  2. Mauro Di Manzo, Paolo Pecchiari
    Composing decision procedures: the approach and a case study. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:175-186 [Conf]
  3. Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino
    Space Representation and Object Positioning in Natural Language Driven Image Generation. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:207-214 [Conf]
  4. Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino
    Planning via Model Checking in Deterministic Domains: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:221-229 [Conf]
  5. Giovanni Adorni, Antonio Boccalatte, Mauro Di Manzo
    Cognitive Models For Computer Vision. [Citation Graph (0, 0)][DBLP]
    COLING, 1982, pp:7-12 [Conf]
  6. Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
    Natural Language driven Image Generation. [Citation Graph (0, 0)][DBLP]
    COLING, 1984, pp:495-500 [Conf]
  7. Giovanni Adorni, Mauro Di Manzo
    Natural Language Input For Scene Generation. [Citation Graph (0, 0)][DBLP]
    EACL, 1983, pp:175-182 [Conf]
  8. Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
    From Descriptions to Images: What Reasoning in between? [Citation Graph (0, 0)][DBLP]
    ECAI, 1984, pp:139-148 [Conf]
  9. Mauro Di Manzo, A. L. Frisiani, G. Olimpo
    Deadlock avoidance in graph-structured task systems. [Citation Graph (0, 0)][DBLP]
    ECI, 1978, pp:548-559 [Conf]
  10. Mauro Di Manzo, Paolo Puliti, Guido Tascini, Primo Zingaretti
    Reasoning about Space and Time in High-Level Vision. [Citation Graph (0, 0)][DBLP]
    IAS, 1989, pp:943-949 [Conf]
  11. Mauro Di Manzo, Franca Ricci, F. Adriana Batistoni, Carlo Ferrari
    Using Functional Knowledge in Computer Vision. [Citation Graph (0, 0)][DBLP]
    IAS, 1986, pp:397-404 [Conf]
  12. Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
    Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:72-74 [Conf]
  13. Mauro Di Manzo, Enrico Giunchiglia
    Multi-Context Systems as a Tool to Model Temporal Evolution. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:548-557 [Conf]
  14. Antonio Boccalatte, Mauro Di Manzo, D. Sciarra
    Error Recovery with Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1982, v:25, n:3, pp:331-337 [Journal]
  15. Antonio Boccalatte, Mauro Di Manzo
    An Approach to the Detection of Semantic Errors. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1980, v:23, n:4, pp:317-323 [Journal]
  16. Mauro Di Manzo, A. L. Frisiani, G. Olimpo
    Loop Optimisation for Parallel Processing. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1979, v:22, n:3, pp:234-239 [Journal]

Search in 0.099secs, Finished in 0.100secs
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