Olá,
Para diversas Description Logics, existe o "complexity navigator" em http://www.cs.man.ac.uk/~ezolin/dl/ Um abraço, Fernando Náufel, D.Sc. [email protected] http://fnaufel.wordpress.com http://www.uff.br/llarc Professor Adjunto (~Professor Doctor -- see http://en.wikipedia.org/wiki/Professor#Brazil) LLaRC - Laboratório de Lógica e Representação do Conhecimento DCT - Depto. de Ciência e Tecnologia PURO - Pólo Universitário de Rio das Ostras UFF - Universidade Federal Fluminense Brazil -- 2010/4/6 Joao Marcos <[email protected]>: >> Alguém sabe se consigo encontrar em algum livro/artigo uma tabela parecida >> com o rascunho abaixo: >> >> http://spreadsheets.google.com/ccc?key=0Ah21LTU3quDQdEpqVU4xYTdDZUN0O >> Up5ZWV4MjVUS3c&hl=pt_BR >> >> incluindo as lógicas mais usadas (em computação, matemática e filosofia)? > > Não tenho uma resposta melhor para dar a esta pergunta, mas aproveito > para fazer notar que a ESSLLI deste ano tem diversos cursos > (http://esslli2010cph.info/?cat=11) ligados à complexidade > computacional, em particular um sobre "Proof Complexity of > Non-Classical Logics" > (http://www.informatik.uni-bremen.de/~okutz/esslli10/). > > Talvez você possa extrair daí uma contribuição para a sua tabela, Adolfo. > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > (in absentia, post-doc in "Noricum") > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
