AAI AIPO Ambiente Anais Apesar Apoio Apresenta Apresentam Aquisi B BCS Bae Bejan Brasileira Brasileiro C CG CGE CGF CGT CGs CHAM CIM CIUNL CMP CS CSL CSM Cada Canonicity Caparica Carrapi Centro Choi Compreens Computa Computadores Conceptuais Conhecimento Consiste Cruces DI DPC Dados Delugach Departamento Desde E Eklund Embora Esch Esta Estas Este Estruturas Estudo FAX FCUL FPA FSA Ferramenta Fiadeiro Finalmente Folhas Fundamentos GET's GGE GGI GIC GSN Grafos Guerreiro ICSE IRDS IWSSD InProceedings Informa Intelig Intl Introdu Iremos Isobe JNICT Jos KIF LLN Laval Levinson Lisboa Lisboa's Lopes Lu Luiz MAV MST MSc MastersThesis Maximiza Misc Modeliza Muehlbacher NT Nota O P PDSE PEIRCE PEPP PMCT Pagnucco Peirce's Pfeiffer Portugu Posets Pr Programa Prolog Qu Queensland REU RT Rees Representa Robusta S SAE SEP SV Seabra Simp Sistema Sociedade Sowa Sowa's T TAA TBE TC TCM TR Tamb TechReport Techonology Teoria Tue UNL URL Um Uma Universidade Viagens Wermelinger X XWT abordagens acima acompanhada acordo actividade adoptados adr afica ajudar al algum algumas alguns altera alterados aluno alunos ambiente ambiguidades amos ampla analisar analyse anos antica anticas antico ao aos aplica apr aprofundar aproveit aquisi arias ario arte artigo asicas aspectos assumimos atica aticas atingir atrav aug aulas aumentada autores awocg b baseada baseado baseiam basicamente bastante bd bec behaviour bem bibdate bibmods bibnames bibnet bibsource booktitle c cada cadeira cadeiras calcula canonicity capacidade capacidades caracter chamados chegada cidades cient cim cios clarifica clarificar classifica com como compara compilador completa componentes compreens comprida comunidade concebido conceptuais conhecidos conhecimento conhecimentos conjunto consistente construir cont conta contido contribuir coreference correctos ctp curso d da dado dados das de dec dedicada dedutivas defini demora descreve desempenhadas desenvolvida desenvolvimento desta destas desvantagens detec devido dez di dias dicion dificuldade disserta disso docentes documento dois dos duas e ecnica edu elevado email encia encias enero ent entre enunciados ereas eria erica ertices es escolha escritas especialmente espero esquema essa est estado estender estruturas exceptuando exerc existe existente extens f fazer fct fcul feb feitas ferramenta fica foi folhas foram forma formalismo formalismos fp frases ftp funciona fundamentais g gen gr grafos gratuita grau guia gz h howpublished http i iccs icse ieee impl implementa inclui inconsist incorporar informa informais inicialmente inspirou integrado interac interactuar interpretador intr introduzidos ir iwssd jan jul jun l liga linguagem longa m maior mais mantiveram manuten melhorar mencionadas mesma metalevel michel minha modelo momento muitas mw n na nas ncia necessidades nele notas nseca num numa numas o objectivo observa ocasi oes ogica onicos ontologicamente ools ordem org oricos orio os ou outra outras outros padr para parte partes partida partir passa passo pdse peirce pelo pelos perguntas permite pode poder ponto por poset posets poss pr pragm praticar prepara pretende primeira primeiro primeiros principais problemas processador programa projecto propostas proposto ps pt qual qualquer quarta quase que quinta ref refinamento refinamentos refinar reformulations regras rela relacional relat representa resolu resumo revista s sbia se seguintes segunda seja sem sensivelmente ser showtags sica significado simplificada sintacticamente sio sistema sofreram solu sticas sua subgoup substancialmente suportar tal tamb tarefas te tem tenham teoria terceira teremos termina tese th tica tico tipados tipos tirados todos tr trabalho tratamento triviais ttp twocolumn ubiquidade ultima ultipla um uma umero unintuitive unl usado usando utah util utilizado utilizador v vantagens veis vem verdadeiros vers vez viagem viagens w wermelinger www