Saltar para:
Logótipo
Você está em: Início > Publicações > A structured alternative to Prolog with simple compositional semantics > Visualizar Publicações Relacionadas
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Publicações com os mesmos autores da publicação A structured alternative to Prolog with simple compositional semantics

Agrupar Por: Ordenação:

Outra Publicação em Revista Científica Internacional

Outras Publicações

PPDP
António Porto (Autor) (FCUP); Francisco Javier López Fraguas (Autor) (Outra)
2009
COORDINATION
António Porto (Autor) (Outra); Gruia Catalin Roman (Autor) (Outra)
2000

Capítulo ou Parte de Livro

Epilog: A Language for Extended Programming in Logic
António Porto (Autor) (Outra)
1984

Artigo em Revista Científica Internacional

Entailment-based actions for coordination
Monteiro, L (Autor) (Outra); Porto, A (Autor) (Outra)
An integrated information system powered by Prolog
Porto, A (Autor) (Outra)

Artigo em Livro de Atas de Conferência Internacional

TWO-LEVEL PROLOG.
Antonio Porto (Autor) (Outra)
The AbstrAct Scheme for Concurrent Programming
António Porto (Autor) (Outra); Paulo Rosado (Autor) (Outra)
1992
Temporal Inference with a Point Based Interval Algebra
António Porto (Autor) (Outra); Cristina Ribeiro (Autor) (FEUP)
1992
Syntactic and Semantic Inheritance in Logic Programming
Luís Monteiro (Autor) (Outra); António Porto (Autor) (Outra)
1991
Structural Abstraction and Application in Logic Programming
António Porto (Autor) (Outra)
2002
Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
Selective Backtracking for Logic Programs
Luís Moniz Pereira (Autor) (Outra); António Porto (Autor) (Outra)
1980
Representation and Inference with Consistent Temporal Propositions
Cristina Ribeiro (Autor) (FEUP); António Porto (Autor) (Outra)
1993
NATURAL LANGUAGE SEMANTICS: A LOCIC PROGRAMMING APPROACH.
Antonio Porto (Autor) (Outra); Miguel Filgueiras (Autor) (Outra)
Logic Programming Environments
António Porto (Autor) (Outra)
1991
Inheritance in a Hierarchy of Theories
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
High-Level Interaction with Relational Databases in Logic Programming
Antonio Porto (Autor) (FCUP)
Generic Browsing: A Case for Contextual Logic Programming
Gabriel David (Autor) (FEUP); António Porto (Autor) (Outra)
1990

Registos 1 a 20 de 26

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-08-22 às 17:17:00 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias