ReP USP - Resultado da busca

Monografia/livro-ed/org
Logic, language, information, and computation (2021)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Nome do evento: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Assuntos: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Logic, language, information, and computation. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-88853-4. Acesso em: 28 nov. 2025. , 2021
APA
Logic, language, information, and computation. (2021). Logic, language, information, and computation. Cham: Springer. doi:10.1007/978-3-030-88853-4
NLM
Logic, language, information, and computation [Internet]. 2021 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Vancouver
Logic, language, information, and computation [Internet]. 2021 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Parte de monografia/livro
Extending EL++ with linear constraints on the probability of axioms (2019)
Finger, Marcelo
Fonte: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME
Assuntos: LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 28 nov. 2025.
APA
Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_13
NLM
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Vancouver
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Trabalho de evento
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (2018)
Finger, Marcelo ; Preto, Sandro
Fonte: Proceedings. Nome do evento: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Assuntos: 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: 28 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. 28 ] 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. 28 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Parte de monografia/livro
Quantitative logic reasoning (2018)
Finger, Marcelo
Fonte: Contradictions, from consistency to inconsistency. Unidade: IME
Assuntos: LÓGICA, RACIOCÍNIO DEDUTIVO E INDUTIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Quantitative logic reasoning. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_12. Acesso em: 28 nov. 2025.
APA
Finger, M. (2018). Quantitative logic reasoning. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_12
NLM
Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
Vancouver
Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
Trabalho de evento
A refuted conjecture on probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: IME, EP
Assuntos: 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: 28 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. 28 ] 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. 28 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Trabalho de evento
Polynomial approximations of full propositional logic via limited bivalence (2004)
Finger, Marcelo
Fonte: Proceedings. Nome do evento: European Workshop on Logics in Artificial Intelligence - JELIA. Unidade: IME
Assuntos: 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: 28 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. 28 ] 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. 28 ] 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
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: 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: 28 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. 28 ] 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. 28 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Parte de monografia/livro
On structured belief bases (2001)
Wassermann, Renata
Fonte: Frontiers in belief revision. Unidade: IME
Assuntos: LÓGICA, TEORIA DO CONHECIMENTO, INTELIGÊNCIA ARTIFICIAL, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. On structured belief bases. Frontiers in belief revision. Tradução . Dordrecht: Springer, 2001. . Disponível em: https://doi.org/10.1007/978-94-015-9817-0_18. Acesso em: 28 nov. 2025.
APA
Wassermann, R. (2001). On structured belief bases. In Frontiers in belief revision. Dordrecht: Springer. doi:10.1007/978-94-015-9817-0_18
NLM
Wassermann R. On structured belief bases [Internet]. In: Frontiers in belief revision. Dordrecht: Springer; 2001. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-94-015-9817-0_18
Vancouver
Wassermann R. On structured belief bases [Internet]. In: Frontiers in belief revision. Dordrecht: Springer; 2001. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-94-015-9817-0_18
Parte de monografia/livro
Two-dimensional executable temporal logic for bitemporal databases (2000)
Finger, Marcelo ; Reynolds, Mark
Fonte: Advances in temporal logic. 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 REYNOLDS, Mark. Two-dimensional executable temporal logic for bitemporal databases. Advances in temporal logic. Tradução . Dordrecht: Springer, 2000. . Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 28 nov. 2025.
APA
Finger, M., & Reynolds, M. (2000). Two-dimensional executable temporal logic for bitemporal databases. In Advances in temporal logic. Dordrecht: Springer. doi:10.1007/978-94-015-9586-5_20
NLM
Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
Vancouver
Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
Parte de monografia/livro
Imperative history: two-dimensional executable temporal logic (1999)
Finger, Marcelo ; Reynolds, Mark C.
Fonte: Logic, language and reasoning : essays in honour of Dov Gabbay. 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 REYNOLDS, Mark C. Imperative history: two-dimensional executable temporal logic. Logic, language and reasoning : essays in honour of Dov Gabbay. Tradução . Dordrecht: Springer, 1999. . Disponível em: https://doi.org/10.1007/978-94-011-4574-9_5. Acesso em: 28 nov. 2025.
APA
Finger, M., & Reynolds, M. C. (1999). Imperative history: two-dimensional executable temporal logic. In Logic, language and reasoning : essays in honour of Dov Gabbay. Dordrecht: Springer. doi:10.1007/978-94-011-4574-9_5
NLM
Finger M, Reynolds MC. Imperative history: two-dimensional executable temporal logic [Internet]. In: Logic, language and reasoning : essays in honour of Dov Gabbay. Dordrecht: Springer; 1999. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-94-011-4574-9_5
Vancouver
Finger M, Reynolds MC. Imperative history: two-dimensional executable temporal logic [Internet]. In: Logic, language and reasoning : essays in honour of Dov Gabbay. Dordrecht: Springer; 1999. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-94-011-4574-9_5

Unidades USP

ReP

Filtros

Autores

Ano de publicação

Assuntos

Título da fonte

Agência de fomento