IN PROCEEDINGS

InProceeding
Modelling Causal and Temporal Knowledge to Support Drug Therapy Planning
1 Jan 1994
Authors: Francisco Azevedo, Pedro Barahona, Joaquim Ferreira da Silva
InProceeding
Timetabling in Constraint Logic Programming
1 Jan 1994
Authors: Francisco Azevedo, Pedro Barahona
InProceeding
ALCrn: A Decidable Terminological Language with Role Negation
1 Nov 1993
Authors: Margarida Mamede, Luís Monteiro
InProceeding
Towards Complete Answers in Concept Languages
1 Oct 1993
Authors: Margarida Mamede, Luís Monteiro
InProceeding
A Constraint Logic Programming Scheme for Taxonomic Reasoning
1 Nov 1992
Authors: Margarida Mamede, Luís Monteiro
InProceeding
Communicating clauses: Towards synchronous communication in contextual logic programming
1 Jan 1992
Authors: Jean-Marie Jacquet, Luís Monteiro
InProceeding
A Constraint-Based Language for Querying Taxonomic Systems
1 Oct 1991
Authors: Margarida Mamede, Luís Monteiro
InProceeding
Answers as Type Constraints
1 Jul 1991
Authors: Margarida Mamede, Luís Monteiro
InProceeding
Extended Horn Clauses: The Framework and its Semantics
1 Jan 1991
Authors: Jean-Marie Jacquet, Luís Monteiro
InProceeding
Comparative Semantics of Generalized Horn Clauses
1 Jan 1991
Authors: Jean-Marie Jacquet, Luís Monteiro
InProceeding
A transformational view of inheritance in logic programming
1 Jan 1990
Authors: Luís Monteiro, António Porto
InProceeding
Comparative semantics for a parallel contextual logic programming language
1 Jan 1990
Authors: Jean-Marie Jacquet, Luís Monteiro