Informática - Lógica na Informática

Analisando as conexões entre raciocínio e processos biológicos pra descobertas inovadoras.

Um novo modelo para comunicação entre agentes focando em privacidade e consistência.

Explorando a semântica coalgebraica pra lógica modal intuicionista usando posets com imagem finita.

Uma olhada nas categorias superiores e no papel delas em relacionamentos complexos.

Um olhar sobre MDPs e o papel deles na tomada de decisão sob incerteza.

Esse artigo explora a comunicação por mailbox e seu papel em máquinas de estado finito.

Explore como verificadores de término ajudam programas a completar suas tarefas sem laços infinitos.

Explore como Processos de Decisão de Markov ajudam a gerenciar resultados incertos com considerações de risco.

Avançando a transferência de provas entre diferentes sistemas matemáticos de forma eficiente.

Um método conecta lógica clássica e lógica intuicionista através de transformações de ordem superior.

Um guia sobre como gerenciar contextos de ligação e a importância deles no raciocínio lógico.

Uma visão geral de como definir processos e provas usando o Beluga.

Descubra como novos sistemas de prova melhoram a eficiência e a capacidade de resolver SAT.

Aprenda como fórmulas contextuais se adaptam a situações que mudam no raciocínio lógico.

Aprenda como a bisimulação pode facilitar a verificação de sistemas complexos.

Esse artigo fala sobre dedutibilidade no cálculo de Lambek e suas complexidades.

Este artigo unifica abordagens de iteração não determinística em programação com a teoria das categorias.

E-graphs simplificam a otimização de programas gerenciando várias representações equivalentes.

Novos métodos melhoram a contagem de modelos mínimos em tarefas de raciocínio.

Explorando métodos pra criar controladores confiáveis em vários ambientes.

Apresentando um método que melhora a busca por bugs no desenvolvimento de software em C.

Combinar Classes Estocásticas de Estado e simulação oferece uma análise melhor de sistemas complexos.

ACoNE oferece um modelo eficiente para gerar embeddings de consulta explicáveis.

Explorando conexões entre programas lógicos e redes booleanas pra melhorar a compreensão de modelos estáveis.

A lógica é uma base firme pra aprender de boa em ciências e engenharia.

Este artigo apresenta uma nova abordagem para análise de alcances eficiente em sistemas de controle complexos.

Um olhar sobre potenciais modelos infinitos na teoria dos tipos e sua importância.

Um jeito de garantir a correção do software por meio de análise estruturada.

Explore o papel dos sistemas de prova nas lógicas temporais e sua inter-relação.

Uma olhada na dominância estratégica e seu impacto em modelos computacionais.

Uma nova forma de entender como os grupos compartilham e desenvolvem conhecimento.

Descubra como comonads de jogos conectam propriedades lógicas com estruturas matemáticas.

Explorando as implicações do princípio dos buracos infinitos em várias áreas.

Estratégias para um bom posicionamento de imagens de contêiner em redes de nuvem e borda.

Este artigo fala sobre o desenvolvimento de políticas vencedoras em famílias de MDPs.

Esse artigo fala sobre segurança de tipos em Sistemas de Subtipo Puro e as novidades recentes.

Uma nova abordagem para lógica temporal que suporta valores infinitos e melhora as capacidades de raciocínio.

Explorar o papel da álgebra nominal na gestão de nomes e ligações na programação.

Uma nova abordagem pra garantir a confiabilidade de programas probabilísticos de ordens superiores.

Uma olhada em conjuntos simpliciais, gráficos bicolores e conjuntos fuzzy.