Informática - Lógica na Informática

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.

Uma olhada nas classificações e seu papel em gerenciar efeitos computacionais em monads.

Uma nova abordagem simplifica a verificação de programas concorrentes em diferentes modelos de memória.

Uma nova maneira de entender as interações e o conhecimento de agentes em sistemas.

Esse artigo analisa como medir eventos em processos estocásticos usando Lógica Temporal Métrica.

Explora a relação entre lógicas modais mínimas e construtivas no raciocínio.

Um olhar sobre como as relações simplificam a organização de dados e melhoram a análise.

Uma nova abordagem para selecionar resolvers em Otimização Pseudo-Boolean.

Grove oferece um jeito de garantir a confiabilidade em sistemas distribuídos.

Um olhar sobre como os poderes simétricos conectam várias áreas científicas.

Um estudo sobre como complementos variáveis melhoram os padrões da álgebra de Kleene.

Um framework criado pra simulação eficiente de circuitos com memristor e estimativa de energia.

Uma nova abordagem pra simplificar a gestão de recursos em aplicações multi-threaded.

Uma nova técnica melhora as checagens de segurança em sistemas aleatórios como robôs e veículos.

Uma abordagem estruturada pra checar propriedades do sistema usando Lógica de Árvore de Cálculo.