Professor

RESOLUTION METHOD automated reasoning Normal Modal Logics TEMPORAL LOGICS THEOREM PROVING COMBINED LOGICS EPISTEMIC LOGICS Modal Logics INTERACTING LOGICS lógica e semântica de programas Normal Forms Verificação Formal lógicas modais normais TABLEAUX METHODS artificial intelligence COALITION LOGIC KNOWLEDGE REPRESENTATION NON NORMAL MODAL LOGICS TABLEAUX METHOD reasoning Propositional Logic ciência da computação E-connections lógica proposicional NON-MONOTONIC LOGICS Linguagens de programação raciocínio automático logics of confluence Petri Nets RESOLUÇÃO Protocolos de comunicação CONDITIONAL LOGICS hardware verification Logic, language and information MODAL LOGICS OF KNOWLEDGE AND BELIEF lógicas epistêmico-temporais Prova Automática de Teoremas teoria da computação prova interativa de teoremas Strategies preprocessing SAT formalização da matemática Satisfatibilidade Booleana métodos polinomiais Combined Proof Methods Lógicas Clássicas Multiple-valued Logics Satisfiablity proof complexity complexity formas normais simplificação reduções polinominais Prenexing LOGIC IN MULTI-AGENT SYSTEMS Lógicas Dinâmicas métodos formais SAT SOLVER Lógicas Nao-Monotônicas Anti-Prenexing MULTI-AGENT AND DISTRIBUTED SYSTEMS biologia computacional Bridge Principles non-classical logics SYNCHRONY Coq Dynamic Logics verificação de modelos Sistemas Tutores Inteligentes QBF related methods first-order unification lógicas paracompletas Unification modulo equational theories INTERACTION BETWEEN LOGICS Preferential Logics protocol formalisation radiofrequência VHDL DFT REO Fixed-point equations No Learning Spin Deductive Systems raciocínio Paraconsistent Logics First-order system direito penal e civil Estratégias algoritmos de aproximação Nominal unification crosstalk combinações de lógicas Equational Theory Clause Learning Paracomplete Logics FOP inductive method deep inference REPRESENTACAO DE CONHECIMENTO Asymmetric Unification fibra multinúcleo Java Decidability Legislação Inteligência Artificial código correto por construção Formalisation logical and semantic frameworks Análise de Algoritmos language design Bancos de Dados Análise Combinatória Pensamento Computacional sistemas de comando e controle Lógica História da Computação Benchmarks Privacidade Inclusão digital Substituições Explícitas problema da ordenação por transversões LOGIC IN GAMES Nominal Logic Teoria de Reescrita de Termos lógicas fuzzy Internet banking Convergence Modal Logic Explicit Substitutions Unification Redes ópticas elásticas Ferramentas de Ensino à Distância lógicas descritivas FPGA semântica modal 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 de Brujin indices Fuzzy Logics security protocols Ontologias identificação MAX-SAT especificação formal Proof Method Bivalent Semantics alpha-equivalence Teoria de Categorias Lógicas Paraconsistentes axiomatisation aplicações de AR