Towards efficient modelling of distributed knowledge using equational and order-sorted logic (1994)
- Authors:
- USP affiliated authors: SILVA, FLAVIO SOARES CORREA DA - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- Subjects: TEORIA DO CONHECIMENTO; LÓGICA; SISTEMAS DISTRIBUÍDOS
- Language: Inglês
- Imprenta:
-
ABNT
WASSERMANN, Renata e SILVA, Flávio Soares Corrêa da. Towards efficient modelling of distributed knowledge using equational and order-sorted logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf. Acesso em: 28 fev. 2026. , 1994 -
APA
Wassermann, R., & Silva, F. S. C. da. (1994). Towards efficient modelling of distributed knowledge using equational and order-sorted logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf -
NLM
Wassermann R, Silva FSC da. Towards efficient modelling of distributed knowledge using equational and order-sorted logic [Internet]. 1994 ;[citado 2026 fev. 28 ] Available from: https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf -
Vancouver
Wassermann R, Silva FSC da. Towards efficient modelling of distributed knowledge using equational and order-sorted logic [Internet]. 1994 ;[citado 2026 fev. 28 ] Available from: https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf - Inteligência artificial: uma abordagem moderna
- Horn clause contraction functions: belief set and belief base approaches
- Belief revision and computer science
- Hyperintensional models and belief change
- Merging ontologies via kernel contraction
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Local diagnosis
- Approximate belief revision
- Generalized change and the meaning of rationality postulates
- Full acceptance via argumentation
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
869410.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
