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: 03 mar. 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 mar. 03 ] 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 mar. 03 ] Available from: http://frontiersinai.com/ecai/ecai2002/pdf/p0272.pdf - Revising specifications with CTL properties using bounded model checking
- Tableaux for approximate reasoning
- 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”
- Tableaux for approximate reasoning
- Ontocloud: a clinical information ontology based data integration system
- Satisfiability in EL with sets of probabilistic ABoxes
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
1296199.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
