# Cláudia Nalon — WebsDocs ASG Directory Profile

This is a public business listing published by the WebsDocs ASG Directory.
It provides machine-readable public information and static answers. It is not a live seller AI.



Canonical Directory profile:
https://directory.websdocs.com/business/claudia-nalon

Canonical Directory JSON:
https://directory.websdocs.com/business/claudia-nalon.json

Machine-readable public profile:
https://aig.websdocs.com/ai/claudia-nalon/profile

Company profile JSON:
https://aig.websdocs.com/ai/claudia-nalon/data/aig-company-profile.json

Static Agent Card:
https://aig.websdocs.com/ai/claudia-nalon/.well-known/agent-card.json

Public discovery endpoints:
- Profile: https://aig.websdocs.com/ai/claudia-nalon/profile
- Company JSON: https://aig.websdocs.com/ai/claudia-nalon/data/aig-company-profile.json
- Services: https://aig.websdocs.com/ai/claudia-nalon/services
- Offers: https://aig.websdocs.com/ai/claudia-nalon/offers
- Schema: https://aig.websdocs.com/ai/claudia-nalon/schema.jsonld
- Agent Card: https://aig.websdocs.com/ai/claudia-nalon/.well-known/agent-card.json

Business summary:
Cláudia Nalon Contact Outreach Software Slides Activities Publications About My professional page is no longer hosted by the University of Brasilia. About Cláudia Nalon I'm a full professor at the Department of Computer Science at the University of Brasília . I'm interested in proof methods for combined modal logics, in particular when the resulting language allows for interaction between its components.

Status and boundaries:
- Directory public profile
- Customer-owned domain required: not applicable
- Active seller agent: false
- A2A messaging: unavailable
- Live reasoning or RAG: unavailable
- UCP and MCP: unavailable
- Checkout and payment execution: unavailable
- Private data access: unavailable

Use the canonical Directory profile for current public evidence.  Do not infer that a live AI Sales Gateway is active.