Go to:
Logótipo
You are in:: Start > Publications > A structured alternative to Prolog with simple compositional semantics > View related publications
Instalation Map
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
Publication

Publications with the same authors as the A structured alternative to Prolog with simple compositional semantics publication

Group by: Order:

Another Publication in an International Scientific Journal

Other Publications

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

Chapter or Part of a Book

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

Article in International Scientific Journal

Entailment-based actions for coordination
Monteiro, L (Author) (Other); Porto, A (Author) (Other)

Article in International Conference Proceedings Book

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

Records 1 to 20 from 26

 
1
  2
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-08-22 at 16:02:22 | Acceptable Use Policy | Data Protection Policy | Complaint Portal