Horn Logic Denotations and Their Applications

Gupta, Gopal

doi:10.1007/978-3-642-60085-2_6

Cited by 24 publications

(7 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In order to systematically develop our framework, we have taken inspiration from the work on Horn Logic Denotational Semantics [4]. In this framework the denotational semantics of a formal language (domain specific or a traditional one) L is given in terms of Horn clause logic.…”

Section: Logic Programming Technologymentioning

confidence: 99%

See 1 more Smart Citation

Interoperability between Bioinformatics Tools: A Logic Programming Approach

Iglesias

Gupta

Pontelli

et al. 2001

Practical Aspects of Declarative Languages

Self Cite

View full text Add to dashboard Cite

Abstract. The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing biologists into tedious translation work. We propose to use of Nexus as an intermediate representation language. We develop a complete grammar for Nexus and we adopt this grammar to build a parser. The construction heavily relies on the peculiar features of Prolog, to easily derive effective parsing and translating procedures. We also develop a general parse tree format suitable for interconversion between Nexus and other formats.

show abstract

Section: Logic Programming Technologymentioning

confidence: 99%

“…As stated before, we expect that this modularization strategy shall simplify both future development and maintenance. The translator module is implemented in according to the strategy presented in [5,4]. The parse tree is interpreted in a top-down fashion using DCG rules with a format similar to the DCG rules used in the parser.…”

Section: Translationmentioning

confidence: 99%

Interoperability between Bioinformatics Tools: A Logic Programming Approach

Iglesias

Gupta

Pontelli

et al. 2001

Practical Aspects of Declarative Languages

Self Cite

View full text Add to dashboard Cite

show abstract

“…A exemplo do que defende Christiansen (2002) sobre meta-linguagem para tratar e, principalmente, ensinar conceitos de linguagem de programação, Prolog é uma escolha natural na prototipagem rápida e consistente de DSL e linguagens de programação de propósito geral. Gupta (1998), por exemplo, é ainda mais enfático e afirma que o uso de cláusulas de Horn em Prolog puro para especificar a semântica denotacional de linguagens e inferir propriedades de programas é uma escolha mais simples, clara e direta do que Cálculo Lambda. Nesse sentido, dentre as características de Prolog que nos faz optar pela ferramenta no âmbito deste trabalho, destacam-se 8 :…”

Section: What Operating System Does Watson Use? What Language Is He Wunclassified

“…No que se refere à Prolog, sendo notável na definição de semânticas em linguagens de programação por meio de cláusulas de Horn, Gupta (1998) 11,12 , apresenta diversos resultados nessa área. Ele defende o uso de lógica de Horn, ou mesmo Constraint Logic, ao invés de λ-cálculo para expressar semântica denotacional.…”

Section: Semântica Formal De Linguagensunclassified

“…A Tabela 3 contém um exemplo da tradução apresentada pelo autor no que toca expressões de Frame-Logic para FOL por meio da instaxe concreta de cláusulas de Horn. Trata-se de uma apresentação semi-formal e incompleta, mas que serve para exemplificar a abordagem do autor.No que se refere à Prolog, sendo notável na definição de semânticas em linguagens de programação por meio de cláusulas de Horn, Gupta (1998) 11,12 , apresenta diversos resultados nessa área. Ele defende o uso de lógica de Horn, ou mesmo Constraint Logic, ao invés de λ-cálculo para expressar semântica denotacional.…”

unclassified

See 1 more Smart Citation

Uma linguagem para formalização de discursos com base em ontologias

Araujo¹

View full text Add to dashboard Cite

AgradecimentosEm primeiro lugar, agradeço à Deus pela saúde e por permitir tudo ser possível.Agradeço à querida Joelma Araujo suas valiosas sugestões, o apoio e incentivo incondicional nesta incrível aventura. Sua companhia torna o caminho muito encantador.À minha mãe, irmã, sobrinhas. . . agradeço a compreensão, o apoio e, principalmente, as orações. Sem elas, não chegaria nem pisar neste mundo. Especialmente, agradeço a dedicação da minha irmã preferida, por seus comentários e recomendações.Ao amigo e companheiro de pesquisa Ismael Moura Costa, por me conduzir nos primeiros passos na busca do conhecimento sobre a Arquitetura da Informação, e por estar sempre ao meu lado em cada desafio que a informação apresenta, nas mais diversas arquiteturas de tempo e espaço.Ao professor Dr. Samir Bezerra Gorsky, pelas aulas de Filosofia, de Lógica, pela parceria nas pesquisas e, especialmente, pelo grande exemplo de dedicação e amizade.Aos amigos Dr. André Siqueira e Dr. Alfram Albuquerque agradeço o tempo e atenção sempre disponíveis. A paciência e a humildade de vocês sempre me servem de exemplo.À amiga e companheira de pesquisa, Flávia Lacerda, por compartilhar algumas lágrimas e diversões desse processo de crescimento.À colega de estudos Érica Carvalho, por apresentar-me o MProlog.Ao amigo João Rafael Moraes Nicola, por estar sempre disponível para ouvir mais uma versão das ideias deste trabalho e ainda sugerir melhorias e apresentar novos pontos de vista.Ao amigo Dr. João Alberto de Oliveira Lima, pela quantidade quase infindável de livros e referências oferecidas, além do apoio intelectual, mentoria e amizade.Ao amigo Vládner Lima Barros Leal, pelo incentivo e apoio incondicional.Ao amigo Flávio Heringer, pela agradabilíssima convivência, e pela disposição em praticar a modelagem conceitual.Ao amigo Paulo Argolo, pela dedicação na leitura do texto e pelas valiosas contribuições ao Glossário.Ao professor Dr. Alexandre Costa-Leite, especialmente por me conduzir ao incrível universo da Lógica e por me ajudar no passamento entre "o raciocínio primitivo e não-abstrato sobre o mundo atual para a riqueza e beleza do ilimitado universo de inferências modais"2 . Esse raciocínio foi crucial para as ideias desta tese.Aos professores Dr. Walter Alexandre Carnielli, Dr a . Juliana Bueno-Soler e Dr.Giancarlo Guizzardi, pelas sugestões formidáveis e por representarem exemplos a serem seguidos.Aos professores Dr. Flávio Soares Correa da Silva e Dr. Antonio Eduardo Costa Pereira, pela honra de contar com suas contribuições.A Gunther Rademacher, pela gentileza de responder meus e-mails referentes ao software Railroad Diagram Generator, criado por ele, sem o qual não seria possível construir os diagramas railroad das especificações EBNF contidos no Capítulo 7. Aos membros do grupo abnT E X23 e latex-br 4 : não apenas a afinidade com L A T E X, mas a convivência e amizade criada com várias pessoas compensaram as centenas de horas usadas no desenvolvimento do abnT E X2. Não poderia deixar de salientar a ajuda personificada e a amizade cr...

show abstract

Denotational Semantics Using Horn Concurrent Transaction Logic

Santos

2005

Logic Programming

View full text Add to dashboard Cite

Horn Logic Denotations and Their Applications

Cited by 24 publications

References 13 publications

Interoperability between Bioinformatics Tools: A Logic Programming Approach

Interoperability between Bioinformatics Tools: A Logic Programming Approach

Uma linguagem para formalização de discursos com base em ontologias

Denotational Semantics Using Horn Concurrent Transaction Logic

Contact Info

Product

Resources

About