Idioma:

Approximate and limited reasoning semantics, proof theory, expressivity and control

Marcelo Finger Renata Wassermann

Journal of Logics and Computation Oxford v. 12, n. 2, p. 179-204, 2004

Localização: IME - Inst. Matemática e Estatística (PROD-1396266 )(Acessar)

Título:
Approximate and limited reasoning semantics, proof theory, expressivity and control
Autor: Marcelo Finger
Renata Wassermann
Assuntos: LÓGICA COMBINATÓRIA; Automated Reasoning; Deductive Systems; Approximate Reasoning; Limited Reasoning; Non-Classical Logics; Knowledge Representation
É parte de: Journal of Logics and Computation Oxford v. 12, n. 2, p. 179-204, 2004
Notas: Disponível em: <http://dx.doi.org/10.1007/BF03192373>. Acesso em: 02 out. 2019
Editor: Oxford
Data de criação/publicação: 2004
Formato: p. 179-204.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 10 Avançar Ir para próxima página