Cláudia Nalon http://lattes.cnpq.br/7793795625581127

Última atualização do Lattes: 23.10.2023

Nomes de citação: NALON, C. / NALON, CLÁUDIA / Nalon, Cláudia / Cláudia Nalon
Mestrado: 4
Doutorado: 0
Pos-Doutorado: 0
Outras: 38
  • Software (4)+
    • Ano
      2018
      Título
      ltl2snf
    • Ano
      2015
      Título
      KSP
    • Ano
      2013
      Título
      CLProver: A Theorem-Prover for Coalition Logic
    • Ano
      2003
      Título
      Synchronous Systems with No Learning
Nome da especialidade (número de vezes que aparece no Lattes)
RESOLUTION METHOD automated reasoning Normal Modal Logics TEMPORAL LOGICS THEOREM PROVING COMBINED LOGICS Modal Logics EPISTEMIC LOGICS INTERACTING LOGICS lógicas modais normais lógica e semântica de programas Normal Forms Verificação Formal COALITION LOGIC raciocínio automático TABLEAUX METHODS NON NORMAL MODAL LOGICS artificial intelligence RESOLUÇÃO KNOWLEDGE REPRESENTATION Prova Automática de Teoremas preprocessing reasoning TABLEAUX METHOD lógica proposicional Propositional Logic Linguagens de programação NON-MONOTONIC LOGICS E-connections ciência da computação hardware verification Petri Nets CONDITIONAL LOGICS Protocolos de comunicação prova interativa de teoremas logics of confluence Logic, language and information teoria da computação formalização da matemática lógicas epistêmico-temporais non-classical logics MODAL LOGICS OF KNOWLEDGE AND BELIEF Strategies SAT Satisfiablity métodos polinomiais Lógicas Nao-Monotônicas MULTI-AGENT AND DISTRIBUTED SYSTEMS Satisfatibilidade Booleana SAT SOLVER métodos formais proof complexity formas normais simplificação Combined Proof Methods Lógicas Dinâmicas Prenexing LOGIC IN MULTI-AGENT SYSTEMS reduções polinominais Dynamic Logics Bridge Principles sistemas de comando e controle verificação de modelos Coq Anti-Prenexing Sistemas Tutores Inteligentes Multiple-valued Logics SYNCHRONY Complexity biologia computacional Lógicas Clássicas Asymmetric Unification first-order unification lógicas paracompletas First-order system Paraconsistent Logics protocol formalisation No Learning related methods REO VHDL DFT Fixed-point equations Spin Preferential Logics QBF iALC Formalisation Decidability raciocínio estratégias Legibilidade de Provas Natural deduction Deductive Systems Nominal unification algoritmos de aproximação crosstalk Equational Theory Paracomplete Logics Clause Learning direito penal e civil FOP fibra multinúcleo Java INTERACTION BETWEEN LOGICS inductive method REPRESENTACAO DE CONHECIMENTO Unification modulo equational theories deep inference Legislação Inteligência Artificial código correto por construção combinações de lógicas radiofrequência Identificação problema da ordenação por transversões Substituições Explícitas Inclusão digital Análise de Algoritmos language design Bancos de Dados Análise Combinatória Pensamento Computacional Lógica História da Computação Benchmarks Ferramentas de Ensino à Distância Redes ópticas elásticas Ontologias intuitionistic logic logical and semantic frameworks LOGIC IN GAMES Nominal Logic Teoria de Reescrita de Termos lógicas fuzzy INTERNET BANKING Convergence Modal Logic Explicit Substitutions Unification Privacidade lógicas descritivas de Brujin indices Disunification multiplexação por divisão espacial rearranjo de genomas Cálculo Lambda language semantics Avaliação do ensino superior Satisfação de Restrições Ensino Básico Automata Theory Lógicas Condicionais Fuzzy Logics security protocols FPGA semântica modal MAX-SAT especificação formal description logic Proof Method Bivalent Semantics alpha-equivalence Teoria de Categorias Lógicas Paraconsistentes axiomatisation aplicações de AR
CTIT UFMG