Tableaux for approximate reasoning (2001)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- Assunto: LÓGICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: International Joint Conference on Artificial Intelligence - IJCAI
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Tableaux for approximate reasoning. 2001, Anais.. Seatle: IJCAI, 2001. . Acesso em: 03 mar. 2026. -
APA
Finger, M., & Wassermann, R. (2001). Tableaux for approximate reasoning. In Proceedings. Seatle: IJCAI. -
NLM
Finger M, Wassermann R. Tableaux for approximate reasoning. Proceedings. 2001 ;[citado 2026 mar. 03 ] -
Vancouver
Finger M, Wassermann R. Tableaux for approximate reasoning. Proceedings. 2001 ;[citado 2026 mar. 03 ] - Revising specifications with CTL properties using bounded model checking
- Approximate and limited reasoning: semantics, proof theory, expressivity and control
- Anytime approximations of classical logic from above
- The universe of propositional approximations
- The universe of approximations
- Logics for approximate reasoning: approximating classical logic “from above”
- Expressivity and control in limited reasoning
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
- Consolidating probabilistic knowledge bases via belief contraction
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
