ReP USP - Resultado da busca

Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 27 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040
NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Trabalho de evento
Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 27 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039
NLM
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Vancouver
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Trabalho de evento
Belief contraction in non-classical logics as hyperintensional belief change (2021)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Belief contraction in non-classical logics as hyperintensional belief change. 2021, Anais.. Vienna: IJCAI, 2021. Disponível em: https://doi.org/10.24963/kr.2021/56. Acesso em: 27 nov. 2025.
APA
Souza, M., & Wassermann, R. (2021). Belief contraction in non-classical logics as hyperintensional belief change. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2021/56
NLM
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.24963/kr.2021/56
Vancouver
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.24963/kr.2021/56
Trabalho de evento
Enhancing recursive graph querying on RDBMS with data clustering approaches (2020)
Scabora, Lucas de Carvalho ; Spadon, Gabriel ; Oliveira, Paulo Henrique de ; Rodrigues Junior, José Fernando ; Traina Junior, Caetano
Source: Proceedings. Conference titles: ACM/SIGAPP Symposium on Applied Computing - SAC. Unidade: ICMC
Subjects: BANCO DE DADOS, CLUSTERS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SCABORA, Lucas de Carvalho et al. Enhancing recursive graph querying on RDBMS with data clustering approaches. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3341105.3375770. Acesso em: 27 nov. 2025.
APA
Scabora, L. de C., Spadon, G., Oliveira, P. H. de, Rodrigues Junior, J. F., & Traina Junior, C. (2020). Enhancing recursive graph querying on RDBMS with data clustering approaches. In Proceedings. New York: ACM. doi:10.1145/3341105.3375770
NLM
Scabora L de C, Spadon G, Oliveira PH de, Rodrigues Junior JF, Traina Junior C. Enhancing recursive graph querying on RDBMS with data clustering approaches [Internet]. Proceedings. 2020 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3341105.3375770
Vancouver
Scabora L de C, Spadon G, Oliveira PH de, Rodrigues Junior JF, Traina Junior C. Enhancing recursive graph querying on RDBMS with data clustering approaches [Internet]. Proceedings. 2020 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3341105.3375770
Trabalho de evento
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (2018)
Finger, Marcelo ; Preto, Sandro
Source: Proceedings. Conference titles: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-94205-6_14. Acesso em: 27 nov. 2025.
APA
Finger, M., & Preto, S. (2018). Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-94205-6_14
NLM
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Vancouver
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Trabalho de evento
Towards belief contraction without compactness (2018)
Ribeiro, Jandson S ; Nayak, Abhaya ; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Jandson S e NAYAK, Abhaya e WASSERMANN, Renata. Towards belief contraction without compactness. 2018, Anais.. Palo Alto: AAAI Press, 2018. Disponível em: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060. Acesso em: 27 nov. 2025.
APA
Ribeiro, J. S., Nayak, A., & Wassermann, R. (2018). Towards belief contraction without compactness. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
NLM
Ribeiro JS, Nayak A, Wassermann R. Towards belief contraction without compactness [Internet]. Proceedings. 2018 ;[citado 2025 nov. 27 ] Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
Vancouver
Ribeiro JS, Nayak A, Wassermann R. Towards belief contraction without compactness [Internet]. Proceedings. 2018 ;[citado 2025 nov. 27 ] Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
Trabalho de evento
Classical and quantum satisfiability (2012)
Araújo, Anderson de; Finger, Marcelo
Source: Proceedings. Conference titles: Workshop on Logical and Semantic Frameworks with Applications - EPTCS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Anderson de e FINGER, Marcelo. Classical and quantum satisfiability. 2012, Anais.. Sydney: EPTCS, 2012. Disponível em: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf. Acesso em: 27 nov. 2025.
APA
Araújo, A. de, & Finger, M. (2012). Classical and quantum satisfiability. In Proceedings. Sydney: EPTCS. Recuperado de http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
NLM
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Vancouver
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Trabalho de evento
Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística (2012)
Takiyama, Felipe Iwao; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: EP
Subjects: INFERÊNCIA BAYESIANA, LÓGICA, ALGORITMOS PARA IMAGENS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TAKIYAMA, Felipe Iwao e COZMAN, Fabio Gagliardi. Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística. 2012, Anais.. Porto Alegre: SBC, 2012. Disponível em: http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf. Acesso em: 27 nov. 2025.
APA
Takiyama, F. I., & Cozman, F. G. (2012). Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística. In Proceedings. Porto Alegre: SBC. Recuperado de http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf
NLM
Takiyama FI, Cozman FG. Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf
Vancouver
Takiyama FI, Cozman FG. Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf
Trabalho de evento
Belief revision on computation tree logic (2011)
Guerra, Paulo T ; Wassermann, Renata
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Subjects: TEORIA DA COMPUTAÇÃO, LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Belief revision on computation tree logic. 2011, Anais.. Palo Alto: AAAI Press, 2011. Disponível em: https://www.ijcai.org/Proceedings/11/Papers/477.pdf. Acesso em: 27 nov. 2025.
APA
Guerra, P. T., & Wassermann, R. (2011). Belief revision on computation tree logic. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://www.ijcai.org/Proceedings/11/Papers/477.pdf
NLM
Guerra PT, Wassermann R. Belief revision on computation tree logic [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://www.ijcai.org/Proceedings/11/Papers/477.pdf
Vancouver
Guerra PT, Wassermann R. Belief revision on computation tree logic [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://www.ijcai.org/Proceedings/11/Papers/477.pdf
Trabalho de evento
A refuted conjecture on probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: IME, EP
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A refuted conjecture on probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_30. Acesso em: 27 nov. 2025.
APA
Finger, M., & De Bona, G. (2010). A refuted conjecture on probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_30
NLM
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Vancouver
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Trabalho de evento
Hierarchical PNF networks: a temporal model of events for the representation and dramatization of storytelling (2009)
Passos, Erick Baptista; Montenegro, Anselmo Antunes ; Clua, Esteban Walter Gonzalez ; Pozzer, Cesar Tadeu; Silva, Flávio Soares Corrêa da
Source: Proceedings. Conference titles: Brazilian Symposium on Games and Digital Entertainment - SBGAMES. Unidade: IME
Subjects: JOGOS DE COMPUTADOR, TEORIA DA COMPUTAÇÃO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PASSOS, Erick Baptista et al. Hierarchical PNF networks: a temporal model of events for the representation and dramatization of storytelling. 2009, Anais.. Piscataway: IEEE, 2009. Disponível em: https://doi.org/10.1109/SBGAMES.2009.28. Acesso em: 27 nov. 2025.
APA
Passos, E. B., Montenegro, A. A., Clua, E. W. G., Pozzer, C. T., & Silva, F. S. C. da. (2009). Hierarchical PNF networks: a temporal model of events for the representation and dramatization of storytelling. In Proceedings. Piscataway: IEEE. doi:10.1109/SBGAMES.2009.28
NLM
Passos EB, Montenegro AA, Clua EWG, Pozzer CT, Silva FSC da. Hierarchical PNF networks: a temporal model of events for the representation and dramatization of storytelling [Internet]. Proceedings. 2009 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/SBGAMES.2009.28
Vancouver
Passos EB, Montenegro AA, Clua EWG, Pozzer CT, Silva FSC da. Hierarchical PNF networks: a temporal model of events for the representation and dramatization of storytelling [Internet]. Proceedings. 2009 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/SBGAMES.2009.28
Trabalho de evento
Polynomial approximations of full propositional logic via limited bivalence (2004)
Finger, Marcelo
Source: Proceedings. Conference titles: European Workshop on Logics in Artificial Intelligence - JELIA. Unidade: IME
Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Polynomial approximations of full propositional logic via limited bivalence. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-30227-8_44. Acesso em: 27 nov. 2025.
APA
Finger, M. (2004). Polynomial approximations of full propositional logic via limited bivalence. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-30227-8_44
NLM
Finger M. Polynomial approximations of full propositional logic via limited bivalence [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-30227-8_44
Vancouver
Finger M. Polynomial approximations of full propositional logic via limited bivalence [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-30227-8_44
Trabalho de evento
Towards polynomial approximations of full propositional logic (2004)
Finger, Marcelo
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards polynomial approximations of full propositional logic. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_2. Acesso em: 27 nov. 2025.
APA
Finger, M. (2004). Towards polynomial approximations of full propositional logic. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_2
NLM
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Vancouver
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Trabalho de evento
Tableaux for approximate reasoning (2001)
Finger, Marcelo ; Wassermann, Renata
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Tableaux for approximate reasoning. 2001, Anais.. Seatle: IJCAI, 2001. . Acesso em: 27 nov. 2025.
APA
Finger, M., & Wassermann, R. (2001). Tableaux for approximate reasoning. In Proceedings. Seatle: IJCAI.
NLM
Finger M, Wassermann R. Tableaux for approximate reasoning. Proceedings. 2001 ;[citado 2025 nov. 27 ]
Vancouver
Finger M, Wassermann R. Tableaux for approximate reasoning. Proceedings. 2001 ;[citado 2025 nov. 27 ]

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation