Expressivity and control in limited reasoning (2002)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; WASSERMANN, RENATA - IME
- Unidade: IME
- Subjects: RACIOCÍNIO DEDUTIVO E INDUTIVO; SENSO COMUM
- Keywords: Resource-Bounded Reasoning; Automated Reasoning; Common-sense Reasoning
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: European Conference on Artificial Intelligence - ECAI
-
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Expressivity and control in limited reasoning. 2002, Anais.. Amsterdam: IOS Press, 2002. Disponível em: http://frontiersinai.com/ecai/ecai2002/pdf/p0272.pdf. Acesso em: 11 jan. 2026. -
APA
Finger, M., & Wassermann, R. (2002). Expressivity and control in limited reasoning. In Proceedings. Amsterdam: IOS Press. Recuperado de http://frontiersinai.com/ecai/ecai2002/pdf/p0272.pdf -
NLM
Finger M, Wassermann R. Expressivity and control in limited reasoning [Internet]. Proceedings. 2002 ;[citado 2026 jan. 11 ] Available from: http://frontiersinai.com/ecai/ecai2002/pdf/p0272.pdf -
Vancouver
Finger M, Wassermann R. Expressivity and control in limited reasoning [Internet]. Proceedings. 2002 ;[citado 2026 jan. 11 ] Available from: http://frontiersinai.com/ecai/ecai2002/pdf/p0272.pdf - Approximate and limited reasoning: semantics, proof theory, expressivity and control
- The universe of propositional approximations
- Anytime approximations of classical logic from above
- Tableaux for approximate reasoning
- The universe of approximations
- Revising specifications with CTL properties using bounded model checking
- Tableaux for approximate reasoning
- Logics for approximate reasoning: approximating classical logic “from above”
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
