Fausto Giunchiglia


Ontology type: schema:Person     


Person Info

NAME

Fausto

SURNAME

Giunchiglia

Publications in SciGraph latest 50 shown

  • 2018-03-03 Relation path embedding in knowledge graphs in NEURAL COMPUTING AND APPLICATIONS
  • 2018 Lightweight Ontologies in ENCYCLOPEDIA OF DATABASE SYSTEMS
  • 2017 Mobile Social Media and Academic Performance in SOCIAL INFORMATICS
  • 2017 Lightweight Ontologies in ENCYCLOPEDIA OF DATABASE SYSTEMS
  • 2016 GeoEtypes: Harmonizing Diversity in Geospatial Data (Short Paper) in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2016 CONFERENCES
  • 2015 Named Entity Recognition for Mongolian Language in TEXT, SPEECH, AND DIALOGUE
  • 2015 Privacy for Peer Profiling in Collective Adaptive Systems in PRIVACY AND IDENTITY MANAGEMENT FOR THE FUTURE INTERNET IN THE AGE OF GLOBALISATION
  • 2013 A Formal Definition of Culture in MODELS FOR INTERCULTURAL COLLABORATION AND NEGOTIATION
  • 2011-10 Semantic flooding in WORLD WIDE WEB
  • 2010 Introduction in SEMANTIC WEB INFORMATION MANAGEMENT
  • 2009-12-01 The Semantic Web Languages in SEMANTIC WEB INFORMATION MANAGEMENT
  • 2009 Faceted Lightweight Ontologies in CONCEPTUAL MODELING: FOUNDATIONS AND APPLICATIONS
  • 2008 Approximate Structure-Preserving Semantic Matching in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008
  • 2008 Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing in ADVANCES IN WEB SEMANTICS I
  • 2006 Managing Diversity in Knowledge in ADVANCES IN APPLIED ARTIFICIAL INTELLIGENCE
  • 2006 Autonomous Ontology: Operations and Semantics OR Local Semantics with Semantic Binding on Foreign Entity in THE SEMANTIC WEB – ASWC 2006
  • 2005 SWebB: Semantic Web Browsing in THE SEMANTIC WEB: RESEARCH AND APPLICATIONS
  • 2005 Efficient Semantic Matching in THE SEMANTIC WEB: RESEARCH AND APPLICATIONS
  • 2004-05 Tropos: An Agent-Oriented Software Development Methodology in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
  • 2004 S-Match: an Algorithm and an Implementation of Semantic Matching in THE SEMANTIC WEB: RESEARCH AND APPLICATIONS
  • 2004 Implicit Culture-Based Personal Agents for Knowledge Management in AGENT-MEDIATED KNOWLEDGE MANAGEMENT
  • 2003-01-14 NuSMV: A New Symbolic Model Verifier in COMPUTER AIDED VERIFICATION
  • 2003-01-14 Improved Automata Generation for Linear Temporal Logic in COMPUTER AIDED VERIFICATION
  • 2002 Making Peer Databases Interact — A Vision for an Architecture Supporting Data Coordination in COOPERATIVE INFORMATION AGENTS VI
  • 2002 NuSMV 2: An OpenSource Tool for Symbolic Model Checking in COMPUTER AIDED VERIFICATION
  • 2002 Knowledge Level Software Engineering in INTELLIGENT AGENTS VIII
  • 2001-04 Reasoning Theories in JOURNAL OF AUTOMATED REASONING
  • 2000-03 NUSMV: a new symbolic model checker in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2000 The SAT-Based Approach for Classical Modal Logics in AI*IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE
  • 1999 A Model Checking Algorithm for Multi-agent Systems in INTELLIGENT AGENTS V: AGENTS THEORIES, ARCHITECTURES, AND LANGUAGES
  • 1998-04 Formal Verification of a Railway Interlocking System using Model Checking in FORMAL ASPECTS OF COMPUTING
  • 1998 Specification and integration of theorem provers and computer algebra systems in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
  • 1997-12 Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem in JOURNAL OF AUTOMATED REASONING
  • 1997 A provably correct embedded verifier for the certification of safety critical software in COMPUTER AIDED VERIFICATION
  • 1996 ABSFOL: A proof checker with abstraction in AUTOMATED DEDUCTION — CADE-13
  • 1996 Reasoning about acting, sensing and failure handling: A logic for agents embedded in the real world in INTELLIGENT AGENTS II AGENT THEORIES, ARCHITECTURES, AND LANGUAGES
  • 1996 Ideal and real belief about belief: Some intuitions in AGENTS BREAKING AWAY
  • 1996 Ideal and real belief about belief in PRACTICAL REASONING
  • 1995 Agents as reasoners, observers or believers in TOPICS IN ARTIFICIAL INTELLIGENCE
  • 1991 Automating meta-theory creation and system extension in TRENDS IN ARTIFICIAL INTELLIGENCE
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.11696.39", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "https://www.grid.ac/institutes/grid.5606.5", 
            "type": "Organization"
          }, 
          {
            "id": "https://www.grid.ac/institutes/grid.9024.f", 
            "type": "Organization"
          }
        ], 
        "familyName": "Giunchiglia", 
        "givenName": "Fausto", 
        "id": "sg:person.012220127537.38", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012220127537.38"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:35", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1375.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.012220127537.38'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.012220127537.38'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.012220127537.38'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.012220127537.38'


     




    Preview window. Press ESC to close (or click here)


    ...