Informática - Lógica na Informática

Um novo método melhora a eficiência da classificação NPN usando influência booleana.

Um olhar sobre como usar a causalidade pra entender melhor as falhas de sistema.

Analisando modelos de controle de acesso e o papel da lógica formal em melhorar a segurança.

Uma nova perspectiva sobre funções usando equações diferenciais ordinárias discretas.

Explorando uma abordagem em camadas da lógica modal e suas aplicações.

Uma nova DSL melhora o design e a verificação de hardware, aumentando a produtividade e a precisão.

Uma nova abordagem melhora a compreensão das decisões da IA em aprendizado federado.

Aprenda como os protocolos criptográficos protegem informações digitais sensíveis.

Um novo método melhora a precisão na classificação de padrões de movimento.

Um olhar sobre como a realizabilidade conecta matemática, lógica e computação.

Um olhar sobre como nossos cérebros preveem e agem no mundo.

Este artigo explora sistemas auto-adaptativos em veículos robóticos subaquáticos.

Explorando o impacto da semântica monus em sistemas de adição de vetores com estados.

Um novo método para compartilhar provas formais entre diferentes assistentes de prova.

Um olhar sobre como o VeriFast melhora a verificação de programas em C usando sistemas formais.

Uma olhada na síntese de melhor esforço para agentes lidando com incerteza.

Um sistema pra gerenciar o comportamento das máquinas inteligentes através de regras e punições.

Esse artigo apresenta uma abordagem inovadora pra melhorar o reconhecimento de sinais de trânsito.

Uma visão clara sobre processos, concorrência e a importância deles na computação.

Combinando aprendizado de máquina com raciocínio pra melhorar as habilidades de decisão em ambientes dinâmicos.

Entender a explicabilidade na IA através da Programação de Resposta ajuda a melhorar os processos de tomada de decisão.

Um estudo sobre a fusão de aprendizado profundo e raciocínio simbólico para melhores modelos de IA.

Aumentando a compreensão dos motoristas para uma condução semi-autônoma mais segura.

Esse sistema integra Python e Prolog pra funcionar de boa.

Otimizando a produção de aeronaves com co-design e métodos de modelagem avançados.

Estratégias para manter a consistência em programas de conjuntos de respostas por meio de resolução de conflitos.

Novos métodos melhoram a eficiência na resolução de problemas de Programação de Conjuntos de Resposta.

Este artigo avalia as capacidades de raciocínio lógico do modelo CLIP da OpenAI.

A IA consegue aprender de forma eficiente com um único exemplo, melhorando a classificação de texto.

Explorando como a IA pode raciocinar sobre diferentes escolhas e resultados.

Um método pra melhorar a programação analisando predicados e seus argumentos.

Esse artigo faz uma revisão dos benchmarks pra avaliar linguagens que integram regras lógicas.

Um olhar sobre como o aprendizado ABA molda a formação de argumentos na inteligência artificial.

Um guia simples sobre aproximações difusas e ásperas e suas aplicações.

Um olhar sobre a verificação de programas usando model checking em meio a comportamentos complexos.

Um olhar sobre a importância e aplicações das inversas de Moore-Penrose.

Uma visão geral dos suprarrede quânticas e sua relevância na mecânica quântica e na matemática.

Investigando a satisfatibilidade na Lógica Temporal Proposicional com Múltiplas Variáveis.

Este artigo explora o impacto da lógica multirole nas operações lógicas e sistemas de comunicação.

Aprenda métodos para criar cenários de pior caso para programas concorrentes.