ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Probabilistic logic programming under the L-Stable semantics (2024)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi ; Garces, Alexandro
Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Nonmonotonic Reasoning - NMR. Unidades: IME, EP
Subjects: PROGRAMAÇÃO LÓGICA, SEMÂNTICA DE PROGRAMAÇÃO, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi e GARCES, Alexandro. Probabilistic logic programming under the L-Stable semantics. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3835/paper3.pdf. Acesso em: 17 nov. 2025. , 2024
APA
Mauá, D. D., Cozman, F. G., & Garces, A. (2024). Probabilistic logic programming under the L-Stable semantics. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3835/paper3.pdf
NLM
Mauá DD, Cozman FG, Garces A. Probabilistic logic programming under the L-Stable semantics [Internet]. CEUR Workshop Proceedings. 2024 ; 3835 16-26.[citado 2025 nov. 17 ] Available from: https://ceur-ws.org/Vol-3835/paper3.pdf
Vancouver
Mauá DD, Cozman FG, Garces A. Probabilistic logic programming under the L-Stable semantics [Internet]. CEUR Workshop Proceedings. 2024 ; 3835 16-26.[citado 2025 nov. 17 ] Available from: https://ceur-ws.org/Vol-3835/paper3.pdf
Trabalho de evento-anais periodico
Specifying credal sets with probabilistic answer set programming (2023)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: Proceedings of Machine Learning Research. Conference titles: International Symposium on Imprecise Probability: Theories and Applications - ISIPTA. Unidades: IME, EP
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi. Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf. Acesso em: 17 nov. 2025. , 2023
APA
Mauá, D. D., & Cozman, F. G. (2023). Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
NLM
Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2025 nov. 17 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
Vancouver
Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2025 nov. 17 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
Artigo de periodico
The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: International Journal of Approximate Reasoning. Unidades: EP, IME
Subjects: PROGRAMAÇÃO LÓGICA, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. International Journal of Approximate Reasoning, v. 125, p. 218-239, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2020.07.004. Acesso em: 17 nov. 2025.
APA
Cozman, F. G., & Mauá, D. D. (2020). The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. International Journal of Approximate Reasoning, 125, 218-239. doi:10.1016/j.ijar.2020.07.004
NLM
Cozman FG, Mauá DD. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference [Internet]. International Journal of Approximate Reasoning. 2020 ; 125 218-239.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004
Vancouver
Cozman FG, Mauá DD. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference [Internet]. International Journal of Approximate Reasoning. 2020 ; 125 218-239.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004
Trabalho de evento
Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp (2018)
Bruel, Pedro; Goldman, Alfredo ; Chalamalasetti, Sai Rahul; Milojicic, Dejan
Source: Proceedings. Conference titles: International Conference on Reconfigurable Computing and FPGAs - ReConFig. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, HARDWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUEL, Pedro et al. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/RECONFIG.2017.8279778. Acesso em: 17 nov. 2025.
APA
Bruel, P., Goldman, A., Chalamalasetti, S. R., & Milojicic, D. (2018). Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp. In Proceedings. Piscataway: IEEE. doi:10.1109/RECONFIG.2017.8279778
NLM
Bruel P, Goldman A, Chalamalasetti SR, Milojicic D. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp [Internet]. Proceedings. 2018 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1109/RECONFIG.2017.8279778
Vancouver
Bruel P, Goldman A, Chalamalasetti SR, Milojicic D. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp [Internet]. Proceedings. 2018 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1109/RECONFIG.2017.8279778
Artigo de periodico
On the semantics and complexity of probabilistic logic programs (2017)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: Journal of Artificial Intelligence Research. Unidades: EP, IME
Subjects: PROGRAMAÇÃO LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. On the semantics and complexity of probabilistic logic programs. Journal of Artificial Intelligence Research, v. 60, p. 221-262, 2017Tradução . . Disponível em: https://doi.org/10.1613/jair.5482. Acesso em: 17 nov. 2025.
APA
Cozman, F. G., & Mauá, D. D. (2017). On the semantics and complexity of probabilistic logic programs. Journal of Artificial Intelligence Research, 60, 221-262. doi:10.1613/jair.5482
NLM
Cozman FG, Mauá DD. On the semantics and complexity of probabilistic logic programs [Internet]. Journal of Artificial Intelligence Research. 2017 ; 60 221-262.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1613/jair.5482
Vancouver
Cozman FG, Mauá DD. On the semantics and complexity of probabilistic logic programs [Internet]. Journal of Artificial Intelligence Research. 2017 ; 60 221-262.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1613/jair.5482
Trabalho de evento
Markov decision processes specified by probabilistic logic programming: representation and solution (2017)
Bueno, Thiago Pereira; Mauá, Denis Deratani ; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EP
Subjects: PROCESSOS DE MARKOV, PROGRAMAÇÃO LÓGICA, TOMADA DE DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO, Thiago Pereira et al. Markov decision processes specified by probabilistic logic programming: representation and solution. 2017, Anais.. Piscataway: IEEE, 2017. Disponível em: https://doi.org/10.1109/BRACIS.2016.068. Acesso em: 17 nov. 2025.
APA
Bueno, T. P., Mauá, D. D., Barros, L. N. de, & Cozman, F. G. (2017). Markov decision processes specified by probabilistic logic programming: representation and solution. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2016.068
NLM
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Markov decision processes specified by probabilistic logic programming: representation and solution [Internet]. Proceedings. 2017 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
Vancouver
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Markov decision processes specified by probabilistic logic programming: representation and solution [Internet]. Proceedings. 2017 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
Trabalho de evento-anais periodico
Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming (2017)
Bueno, Thiago Pereira; Mauá, Denis Deratani ; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi
Source: PMLR: Proceedings of Machine Learning Research. Conference titles: International Symposium on Imprecise Probability: Theories and Applications - ISIPTA. Unidades: IME, EP
Subjects: PROCESSOS DE MARKOV, PROGRAMAÇÃO LÓGICA, MODELOS PARA PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO, Thiago Pereira et al. Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming. PMLR: Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://proceedings.mlr.press/v62/bueno17a.html. Acesso em: 17 nov. 2025. , 2017
APA
Bueno, T. P., Mauá, D. D., Barros, L. N. de, & Cozman, F. G. (2017). Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming. PMLR: Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://proceedings.mlr.press/v62/bueno17a.html
NLM
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming [Internet]. PMLR: Proceedings of Machine Learning Research. 2017 ;( 62): 49-60.[citado 2025 nov. 17 ] Available from: http://proceedings.mlr.press/v62/bueno17a.html
Vancouver
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming [Internet]. PMLR: Proceedings of Machine Learning Research. 2017 ;( 62): 49-60.[citado 2025 nov. 17 ] Available from: http://proceedings.mlr.press/v62/bueno17a.html
Trabalho de evento-anais periodico
The structure and complexity of credal semantics (2016)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Probabilistic Logic Programming- PLP. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ANÁLISE MULTIVARIADA, PROGRAMAÇÃO LÓGICA, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The structure and complexity of credal semantics. CEUR Workshop Proceedings. Aachen: CEUR Workshop Proceedings. Disponível em: http://ceur-ws.org/Vol-1661/paper-01.pdf. Acesso em: 17 nov. 2025. , 2016
APA
Cozman, F. G., & Mauá, D. D. (2016). The structure and complexity of credal semantics. CEUR Workshop Proceedings. Aachen: CEUR Workshop Proceedings. Recuperado de http://ceur-ws.org/Vol-1661/paper-01.pdf
NLM
Cozman FG, Mauá DD. The structure and complexity of credal semantics [Internet]. CEUR Workshop Proceedings. 2016 ; 1661 3-14.[citado 2025 nov. 17 ] Available from: http://ceur-ws.org/Vol-1661/paper-01.pdf
Vancouver
Cozman FG, Mauá DD. The structure and complexity of credal semantics [Internet]. CEUR Workshop Proceedings. 2016 ; 1661 3-14.[citado 2025 nov. 17 ] Available from: http://ceur-ws.org/Vol-1661/paper-01.pdf
Trabalho de evento
Probabilistic answer set programming (2013)
Morais, Eduardo Menezes de; Finger, Marcelo
Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de e FINGER, Marcelo. Probabilistic answer set programming. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.33. Acesso em: 17 nov. 2025.
APA
Morais, E. M. de, & Finger, M. (2013). Probabilistic answer set programming. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.33
NLM
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Vancouver
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Relatorio tecnico
Formalizing planning algorithms for temporally extended goals (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Formalizing planning algorithms for temporally extended goals. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf. Acesso em: 17 nov. 2025. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Formalizing planning algorithms for temporally extended goals. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
NLM
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 17 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Vancouver
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 17 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Artigo de periodico
Robótica cognitiva: programação baseada em lógica para controle de robôs (2007)
Trevizan, Felipe Werndl; Barros, Leliane Nunes de
Source: Controle & Automação. Unidade: IME
Subjects: LINGUAGEM DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TREVIZAN, Felipe Werndl e BARROS, Leliane Nunes de. Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, v. 18, n. 2, p. 187-198, 2007Tradução . . Disponível em: https://doi.org/10.1590/S0103-17592007000200005. Acesso em: 17 nov. 2025.
APA
Trevizan, F. W., & Barros, L. N. de. (2007). Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, 18( 2), 187-198. doi:10.1590/S0103-17592007000200005
NLM
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1590/S0103-17592007000200005
Vancouver
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1590/S0103-17592007000200005
Monografia/livro
Lógica para computação (2006)
Silva, Flávio Soares Corrêa da ; Finger, Marcelo ; Melo, Ana Cristina Vieira de
Unidade: IME
Subjects: SEMÂNTICA DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da e FINGER, Marcelo e MELO, Ana Cristina Vieira de. Lógica para computação. . São Paulo: Cengage Learning. . Acesso em: 17 nov. 2025. , 2006
APA
Silva, F. S. C. da, Finger, M., & Melo, A. C. V. de. (2006). Lógica para computação. São Paulo: Cengage Learning.
NLM
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 17 ]
Vancouver
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 17 ]
Trabalho de evento
Automated reasoning with uncertainties (2005)
Silva, Flávio Soares Corrêa da ; Robertson, Dave S ; Hesketh, Jane
Source: Proceedings. Conference titles: International Conference Logic at Work. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da e ROBERTSON, Dave S e HESKETH, Jane. Automated reasoning with uncertainties. 2005, Anais.. Berlin: Springer, 2005. Disponível em: https://doi.org/10.1007/3-540-58095-6_5. Acesso em: 17 nov. 2025.
APA
Silva, F. S. C. da, Robertson, D. S., & Hesketh, J. (2005). Automated reasoning with uncertainties. In Proceedings. Berlin: Springer. doi:10.1007/3-540-58095-6_5
NLM
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
Vancouver
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
Trabalho de evento
High-level robot programming: an abductive approach using event calculus (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. High-level robot programming: an abductive approach using event calculus. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_8. Acesso em: 17 nov. 2025.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). High-level robot programming: an abductive approach using event calculus. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_8
NLM
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Vancouver
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Trabalho de evento
Planning with abduction: a logical framework to explore extensions to classical planning (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Planning with abduction: a logical framework to explore extensions to classical planning. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_7. Acesso em: 17 nov. 2025.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). Planning with abduction: a logical framework to explore extensions to classical planning. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_7
NLM
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Vancouver
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Relatorio tecnico
Towards a logic of perishable propositions (2001)
Silva, Flávio Soares Corrêa da
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Towards a logic of perishable propositions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf. Acesso em: 17 nov. 2025. , 2001
APA
Silva, F. S. C. da. (2001). Towards a logic of perishable propositions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
NLM
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 17 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
Vancouver
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 17 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
Artigo de periodico
Facts, arguments, annotations and reasoning (2001)
Carbogim, Daniela Vasconcelos; Silva, Flávio Soares Corrêa da
Source: New Generation Computing. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARBOGIM, Daniela Vasconcelos e SILVA, Flávio Soares Corrêa da. Facts, arguments, annotations and reasoning. New Generation Computing, v. 19, n. 1, p. 1-22, 2001Tradução . . Disponível em: https://doi.org/10.1007/bf03037532. Acesso em: 17 nov. 2025.
APA
Carbogim, D. V., & Silva, F. S. C. da. (2001). Facts, arguments, annotations and reasoning. New Generation Computing, 19( 1), 1-22. doi:10.1007/bf03037532
NLM
Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/bf03037532
Vancouver
Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 17 ] Available from: https://doi.org/10.1007/bf03037532
Relatorio tecnico
Automated reasoning with uncertainties (1993)
Silva, Flávio Soares Corrêa da
Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Automated reasoning with uncertainties. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf. Acesso em: 17 nov. 2025. , 1993
APA
Silva, F. S. C. da. (1993). Automated reasoning with uncertainties. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
NLM
Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 17 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
Vancouver
Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 17 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Funding Agencies