Probabilistic answer set programming (2013)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; MORAIS, EDUARDO MENEZES DE - IME
- Unidade: IME
- DOI: 10.1109/BRACIS.2013.33
- Subjects: PROGRAMAÇÃO LÓGICA; RACIOCÍNIO PROBABILÍSTICO
- Keywords: probabilistic logic; probabilistic satisfiability (PSAT); answer set programming (ASP)
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2013
- Source:
- Título: Proceeding
- Conference titles: Brazilian Conference on Intelligent Systems - BRACIS
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 09 jan. 2026. -
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 2026 jan. 09 ] Available from: https://doi.org/10.1109/BRACIS.2013.33 -
Vancouver
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2026 jan. 09 ] Available from: https://doi.org/10.1109/BRACIS.2013.33 - Non-Markovian logic-probabilistic modeling and inference
- Independência parcial no problema da satisfazibilidade probabilística
- Answer Set Programming probabilístico
- Automated classification of pathology reports
- On the predictability of classical propositional logic
- Advances in weighted logics for artificial intelligence. [Editorial]
- Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação
- The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio]
- Completeness for cut-based abduction
- Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
Informações sobre o DOI: 10.1109/BRACIS.2013.33 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
