Professor

RESOLUTION METHOD automated reasoning Normal Modal Logics TEMPORAL LOGICS THEOREM PROVING EPISTEMIC LOGICS COMBINED LOGICS Modal Logics INTERACTING LOGICS lógica e semântica de programas Normal Forms Verificação Formal lógicas modais normais COALITION LOGIC TABLEAUX METHODS NON NORMAL MODAL LOGICS KNOWLEDGE REPRESENTATION artificial intelligence TABLEAUX METHOD reasoning Propositional Logic E-connections ciência da computação NON-MONOTONIC LOGICS lógica proposicional Linguagens de programação Petri Nets hardware verification logics of confluence RESOLUÇÃO raciocínio automático CONDITIONAL LOGICS Protocolos de comunicação preprocessing MODAL LOGICS OF KNOWLEDGE AND BELIEF prova interativa de teoremas Prova Automática de Teoremas formalização da matemática Strategies lógicas epistêmico-temporais teoria da computação SAT Logic, language and information métodos formais MULTI-AGENT AND DISTRIBUTED SYSTEMS Satisfiablity SAT SOLVER Lógicas Dinâmicas proof complexity LOGIC IN MULTI-AGENT SYSTEMS simplificação Prenexing formas normais Lógicas Nao-Monotônicas métodos polinomiais Coq Dynamic Logics Bridge Principles SYNCHRONY reduções polinominais verificação de modelos Satisfatibilidade Booleana Anti-Prenexing sistemas tutores inteligentes Lógicas Clássicas non-classical logics biologia computacional complexity Multiple-valued Logics Combined Proof Methods VHDL Java First-order system radiofrequência DFT iALC first-order unification lógicas paracompletas QBF Preferential Logics Spin protocol formalisation related methods Paraconsistent Logics Asymmetric Unification fibra multinúcleo FOP código correto por construção Inteligência Artificial Legislação deep inference Unification modulo equational theories inductive method INTERACTION BETWEEN LOGICS raciocínio No Learning Fixed-point equations algoritmos de aproximação crosstalk Equational Theory Decidability representação de conhecimento direito penal e civil estratégias Natural deduction Deductive Systems Nominal unification combinações de lógicas Clause Learning Formalisation Paracomplete Logics REO identificação Ferramentas de Ensino à Distância 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 Redes ópticas elásticas Unification Ontologias sistemas de comando e controle 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 Benchmarks 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