Search Results - Ozaki, Ana

Refine Results
  1. 1
    Urban Erasure and the Making of Informal Activism: Rio de Janeiro through the Morro do Castelo

    Urban Erasure and the Making of Informal Activism: Rio de Janeiro through the Morro do Castelo by Ozaki, Ana G

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Urban Erasure and the Making of Informal Activism: Rio de Janeiro through the Morro do Castelo

    Urban Erasure and the Making of Informal Activism: Rio de Janeiro through the Morro do Castelo by Ozaki, Ana G.

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations

    Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations by Hustadt, Ullrich, Ozaki, Ana, Dixon, Clare

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Finding middle grounds for incoherent horn expressions: the moral machine case

    Finding middle grounds for incoherent horn expressions: the moral machine case by Ozaki, Ana, Rehman, Anum, Slavkovik, Marija

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Review

    Review by Ozaki, Ana Gisele

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Exact learning of multivalued dependency formulas

    Exact learning of multivalued dependency formulas by Hermo, Montserrat, Ozaki, Ana

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    TØIRoads: A Road Data Model Generation Tool

    TØIRoads: A Road Data Model Generation Tool by Wesenberg, Grunde Haraldsson, Ozaki, Ana

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Learning Horn envelopes via queries from language models

    Learning Horn envelopes via queries from language models by Blum, Sophie, Koudijs, Raoul, Ozaki, Ana, Touileb, Samia

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications

    First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications by Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Exact Learning: On the Boundary between Horn and CNF

    Exact Learning: On the Boundary between Horn and CNF by Hermo, Montserrat, Ozaki, Ana

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    Mining ℰℒ⊥ Bases with Adaptable Role Depth

    Mining ℰℒ⊥ Bases with Adaptable Role Depth by Guimarães, Ricardo, Ozaki, Ana, Persia, Cosimo, Sertkaya, Baris

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    In the Skin of the City: Spatial Transformation in Luanda

    In the Skin of the City: Spatial Transformation in Luanda by Tomas, Antonio

    Published in Future anterior
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    In the Skin of the City: Spatial Transformation in Luanda by António Tomás (review)

    In the Skin of the City: Spatial Transformation in Luanda by António Tomás (review) by Ozaki, Ana Gisele

    Published in Future anterior
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Strong Faithfulness for ELH Ontology Embeddings

    Strong Faithfulness for ELH Ontology Embeddings by Lacerda, Victor, Ozaki, Ana, Guimarães, Ricardo

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Metric Temporal Description Logics with Interval-Rigid Names

    Metric Temporal Description Logics with Interval-Rigid Names by Baader, Franz, Borgwardt, Stefan, Koopmann, Patrick, Ozaki, Ana, Thost, Veronika

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

    Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions by Artale, Alessandro, Jung, Jean Christoph, Mazzullo, Andrea, Ozaki, Ana, Wolter, Frank

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  17. 17
    Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?

    Learning Description Logic Ontologies. Five Approaches. Where Do They Stand? by Ozaki, Ana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?

    Learning Description Logic Ontologies: Five Approaches. Where Do They Stand? by Ozaki, Ana

    Request full text
    Article
    Save to List
    Saved in:
  19. 19
    Extracting Rules from Neural Networks with Partial Interpretations

    Extracting Rules from Neural Networks with Partial Interpretations by Persia, Cosimo, Ozaki, Ana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Finite Based Contraction and Expansion via Models

    Finite Based Contraction and Expansion via Models by Guimarães, Ricardo, Ozaki, Ana, Ribeiro, Jandson S

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: