Tableaux for approximate reasoning (2001)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- Subjects: CIÊNCIA DA COMPUTAÇÃO; LÓGICA
- Language: Inglês
- Imprenta:
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Tableaux for approximate reasoning. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf. Acesso em: 23 abr. 2024. , 2001 -
APA
Finger, M., & Wassermann, R. (2001). Tableaux for approximate reasoning. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf -
NLM
Finger M, Wassermann R. Tableaux for approximate reasoning [Internet]. 2001 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf -
Vancouver
Finger M, Wassermann R. Tableaux for approximate reasoning [Internet]. 2001 ;[citado 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/23102ae3-f25b-4320-aecd-c935f62eebe2/1195808.pdf - The universe of propositional approximations
- Revising specifications with CTL properties using bounded model checking
- The universe of approximations
- Expressivity and control in limited reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Approximate and limited reasoning: semantics, proof theory, expressivity and control
- Anytime approximations of classical logic from above
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
- On AGM for Non-Classical Logics
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
1195808.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas