Professor

RESOLUTION METHOD Automated Reasoning Normal Modal Logics TEMPORAL LOGICS THEOREM PROVING Modal Logics COMBINED LOGICS EPISTEMIC LOGICS INTERACTING LOGICS lógicas modais normais lógica e semântica de programas Normal Forms Verificação Formal NON NORMAL MODAL LOGICS raciocínio automático TABLEAUX METHODS COALITION LOGIC Knowledge representation Resolução preprocessing prova automática de teoremas Artificial Intelligence TABLEAUX METHOD reasoning E-connections Ciência da Computação NON-MONOTONIC LOGICS Linguagens de Programação Propositional Logic lógica proposicional Petri Nets logics of confluence Logic, language and information logica hardware verification prova interativa de teoremas Protocolos de comunicação CONDITIONAL LOGICS Teoria da Computação non-classical logics formalização da matemática lógicas epistêmico-temporais MODAL LOGICS OF KNOWLEDGE AND BELIEF description logic sat strategies Satisfiablity métodos polinomiais Lógicas Nao-Monotônicas proof complexity reduções polinominais MULTI-AGENT AND DISTRIBUTED SYSTEMS Lógicas Clássicas Deductive Systems Métodos Formais SAT SOLVER formas normais simplificação Lógicas Dinâmicas Prenexing LOGIC IN MULTI-AGENT SYSTEMS Combined Proof Methods logical and semantic frameworks SYNCHRONY Anti-Prenexing Coq sistemas de comando e controle Dynamic Logics verificação de modelos Bridge Principles Sistemas Tutores Inteligentes Multiple-valued Logics Satisfatibilidade Booleana Complexity biologia computacional First-order system Java lógicas paracompletas fibra multinúcleo Asymmetric Unification protocol formalisation Paraconsistent Logics first-order unification related methods REO Fixed-point equations spin Preferential Logics Paracomplete Logics QBF iALC No Learning DFT Decidability Natural deduction Model Construction Nominal unification combinações de lógicas Clause Learning código correto por construção FOP algoritmos de aproximação crosstalk Equational Theory Legibilidade de Provas Inteligência Artificial digital mathematical libraries REPRESENTACAO DE CONHECIMENTO raciocínio INTERACTION BETWEEN LOGICS inductive method mathematical knowledge management direito penal e civil Estratégias Unification modulo equational theories deep inference Legislação Formalisation Identificação Substituições Explícitas inclusão digital Análise de Algoritmos language design Bancos de Dados Análise Combinatória Pensamento Computacional História da Computação Benchmarks Privacidade lógicas descritivas problema da ordenação por transversões Ferramentas de Ensino à Distância Ontologias intuitionistic logic 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 FPGA semântica modal MAX-SAT Cálculo Lambda language semantics avaliação do ensino superior Satisfação de Restrições ENSINO BÁSICO Automata Theory Lógicas Condicionais aplicações de AR computer algebra Geometry radiofrequência Rearranjo de Genomas multiplexação por divisão espacial especificação formal Proof Method Bivalent Semantics alpha-equivalence Teoria de Categorias Lógicas Paraconsistentes axiomatisation security protocols Fuzzy Logics de Brujin indices Disunification VHDL