skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search

Results 1 - 10 of 221  for USP Intelectual Production

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Notes on the logical reconstruction of temporal databases
Notes on the logical reconstruction of temporal databases
Material Type:
Technical Report 		Add to e-Shelf

Notes on the logical reconstruction of temporal databases

Marcelo Finger

São Paulo IME-USP 1997

Available at IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.02 e.1 ) and other locations(GetIt)

2
Computing list combinator solutions for structural equations
Computing list combinator solutions for structural equations
Material Type:
Technical Report 		Add to e-Shelf

Computing list combinator solutions for structural equations

Marcelo Finger

São Paulo IME-USP 1997

Available at IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1997 v.11 e.1 ) and other locations(GetIt)

3
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
Material Type:
Technical Report 		Add to e-Shelf

Towards polynomial approximations of full propositional logic

Marcelo Finger

São Paulo IME-USP 2004

Available at IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2004 v.04 e.1 ) and other locations(GetIt)

4
Two-dimensional executable temporal logic for bitemporal databases
Two-dimensional executable temporal logic for bitemporal databases
Material Type:
Book 		Add to e-Shelf

Two-dimensional executable temporal logic for bitemporal databases

Marcelo Finger Mark Reynolds

Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000

Dordrecht Springer 2000

Available at IME - Inst. Matemática e Estatística    (PROD-1024198 ) and other locations(GetIt)

5
Tableaux for approximate reasoning
Tableaux for approximate reasoning
Material Type:
Technical Report 		Add to e-Shelf

Tableaux for approximate reasoning

Marcelo Finger Renata Wassermann

São Paulo IME-USP 2001

Available at IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.04 e.1 ) and other locations(GetIt)

6
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Article 		Add to e-Shelf

Towards structurally-free theorem proving

Marcelo Finger

Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998

Oxford 1998

Available at IME - Inst. Matemática e Estatística    (PROD-1032789 )(GetIt)

7
A logical reconstruction of temporal databases
A logical reconstruction of temporal databases
Material Type:
Article 		Add to e-Shelf

A logical reconstruction of temporal databases

Marcelo Finger

Journal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000

Oxford 2000

Available at IME - Inst. Matemática e Estatística    (PROD-1193384 )(GetIt)

8
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Article 		Add to e-Shelf

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

Available at IME - Inst. Matemática e Estatística    (PROD-2276088 )(GetIt)

9
Quantitative logic reasoning
Quantitative logic reasoning
Material Type:
Book 		Add to e-Shelf

Quantitative logic reasoning

Marcelo Finger

Carnielli W.; Malinowski J. (Ed.) Contradictions, from consistency to inconsistency Cham: Springer, 2018

Cham Springer 2018

Available at IME - Inst. Matemática e Estatística    (PROD-2912604 )(GetIt)

10
Extending EL++ with linear constraints on the probability of axioms
Extending EL++ with linear constraints on the probability of axioms
Material Type:
Book 		Add to e-Shelf

Extending EL++ with linear constraints on the probability of axioms

Marcelo Finger

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

Available at IME - Inst. Matemática e Estatística    (PROD-2953686 )(GetIt)

Results 1 - 10 of 221  for USP Intelectual Production

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Refine My Results

Resource Type 

  1. Articles  (151)
  2. Academic Productions  (43)
  3. Technical Productions  (14)
  4. Books  (13)
  5. Other  (1)
  6. More options open sub menu

Author/Creator 

  1. De Bona, G  (18)
  2. Wassermann, R  (16)
  3. Pierog, T  (15)
  4. Gils, H  (15)
  5. Luczak, P  (15)
  6. Kampert, K  (15)
  7. Mathes, H  (15)
  8. Ostapchenko, S  (15)
  9. Huege, T  (15)
  10. Brancus, I  (15)
  11. Ulrich, H  (15)
  12. Zabierowski, J  (15)
  13. Glasstetter, R  (15)
  14. Heck, D  (15)
  15. Kang, D  (15)
  16. Mayer, H  (15)
  17. Fuhrmann, D  (15)
  18. Grupen, C  (15)
  19. Bekk, K  (15)
  20. More options open sub menu

Creation Date 

From To
Refine
  1. Before1998  (12)
  2. 1998To2003  (46)
  3. 2004To2009  (44)
  4. 2010To2016  (63)
  5. After 2016  (58)
  6. More options open sub menu

Language 

  1. English  (160)
  2. Portuguese  (62)
  3. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Finger, M
  2. De Bona, G
  3. Wassermann, R
  4. Pierog, T
  5. Gils, H

on this subject:

  1. Inteligência Artificial
  2. Lógica
  3. Lógica Matemática
  4. Linguística Computacional
  5. Processamento De Linguagem Natural

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait