CITI - Member - Luis Monteiro

Home \ Members \ Member Page

Luis Monteiro
Software Systems Country: Portugal Position: Full Professor Email: Luis.Monteiro(at)di.fct.unl.pt Phone: +351 21 294 83 41 Personal Web Page	Research Projects (4) Publications (48) Seminars (1) Graduation Activities (24) Visits (4)

{ Publications }

Luis Monteiro publications in BibTeX format

( articles )

A noninterleaving model of concurrency based on transition systems with spatial structure
@ Electronic Notes in Theoretical Computer Science - 2004
Observation systems
@ Electronic Notes in Theoretical Computer Science - 2000
Semantic domains based on sets with families of equivalences
@ Electronic Notes in Theoretical Computer Science - 1998
Entailment-Based Actions for Coordination
@ Theoretical Computer Science - 1998
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics
@ Computer Languages, Systems and Structures - 1996

( book chapters )

A language for contextual logic programming
@ Logic Programming Languages: Constraints, Functions, and Objects - 1993
Syntactic and semantic inheritance in logic programming
@ Declarative Programming, Sasbachwalden 1991 - 1992
A proposal for distributed programming in logic
@ Implementations of Prolog - 1984

( dissertations )

Modelos da Negação na Programação em Lógica
Agg Thesis @ Universidade Nova de Lisboa - 1995
Uma Lógica para Processos Distribuídos
Phd Thesis @ Universidade Nova de Lisboa - 1983

( editorial activities )

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Springer-Verlag - July, 2005

( in proceedings )

Towards Bi-Algebraic Semantics for the Linear Time – Branching Time Spectrum
@ Recent Trends in Algebraic Development Techniques - 2012
Symbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logic
@ Computational Intelligence, Revised and Selected Papers of IJCCI 2009 - 2011
Defining Behaviours by Quasi-finality
@ Brazilian Symposium on Formal Mewthods (SBMF 2009) - 2009
A coalgebraic characterization of behaviours in the linear time - branching time spectrum
@ Recent Trends in Algebraic Development Techniques (WADT 2008) - 2009
The Actias system: Supervised multi-strategy learning paradigm using Categorical Logic
@ Proceedings ICKEDS’2004 - First International Conference on Knowledge Engineering and Decision - 2004
Verifiable and Executable Logic Specifications of Concurrent Objects in LPi
@ European Symposium on Programming Languages and Systems ESOP'98 - 1998
Proof Net Semantics of Proof Search Computation
@ Algebraic and Logic Programming - 1997
Modules and Specifications
@ Logics in Artificial Intelligence (JELIA'96) - 1996
The Retrieval Problem in a Concept Language with Number Restrictions
@ Progress in Artificial Intelligence: Proceedings of the 7th Portuguese Conference on Artificial Intelligence - October, 1995
Towards More Informative Answers in Terminological Logics
@ Proceedings of the International KRUSE Symposium: Knowledge Retrieval, Use, and Storage for Efficiency - August, 1995
An approach to verification in contextual logic programming (poster)
@ International Logic Programming Symposium - 1995
PP-clauses: a means for handling resources (poster)
@ Logic Programming: Proceedings of the Eleventh International Conference - 1994
Aplicações da linguagem reactiva síncrona RS
@ XX Conferência Latinoamericana de Informatica (Memorias) - 1994
Polymorphic higher-order unification for logic programming
@ Proceedings of the Eleventh International Conference on Logic Programming ICLP'94 - 1994
Towards resource handling in logic programming: The PPL framework and its semantics
@ Logics in Artificial Intelligence (JELIA'94) - 1994
ALCrn: A Decidable Terminological Language with Role Negation
@ Proceedings of the 6th Australian Joint Conference on Artificial Intelligence - November, 1993
Towards Complete Answers in Concept Languages
@ Progress in Artificial Intelligence: Proceedings of the 6th Portuguese Conference on Artificial Intelligence - October, 1993
A Constraint Logic Programming Scheme for Taxonomic Reasoning
@ Proceedings of the Joint International Conference and Symposium on Logic Programming - November, 1992
Communicating clauses: Towards synchronous communication in contextual logic programming
@ Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming - 1992
A Constraint-Based Language for Querying Taxonomic Systems
@ Proceedings of the 5th Portuguese Conference on Artificial Intelligence - October, 1991
Answers as Type Constraints
@ Proceedings of the Workshop on Nonstandard Queries and Answers - July, 1991
Extended Horn Clauses: The Framework and its Semantics
@ Proceedings of the Second International Conference on Concurrency Theory (Concur'91) - 1991
Comparative Semantics of Generalized Horn Clauses
@ Proceedings of the Logic Programming Conference `91 - 1991
Comparative semantics for a parallel contextual logic programming language
@ Logic Programming: Proceedings of the 1990 North-American Conference - 1990
A transformational view of inheritance in logic programming
@ Logic Programming: Proceedings of the Seventh International Conference - 1990
Contextual logic programming
@ Logic Programming: Proceedings of the Sixth International Conference - 1989
Delta prolog: A distributed backtracking extension with events
@ Proceedings of the Third International Conference on Logic - 1986
A sheaf-theoretic model of concurrency
@ Symposium on Logic in Computer Science - 1986
An extension to Horn clause logic allowing the definition of concurrent processes
@ Formalization of Programming Concepts - 1981
The semantics of parallelism and co-routining in logic programming
@ Mathematical Logic in Computer Science - 1978

( technical reports )

A Coalgebraic Characterization of Behaviours in the Linear Time -- Branching Time Spectrum
Departamento de Informática FCT/UNL - September, 2008
Models of Name-Passing Systems Based on Coalgebras over Nominal Sets
Departamento de Informática FCT/UNL - February, 2007
Verifying the Arrow Distributed Protocol in a Spatial Logic
Departamento de Informática FCT/UNL - December, 2004
A note on relating two notions of spatial system
Departamento de Informática FCT/UNL - 2004
A note on models for spatial logic based on transition systems with spatial structure
Departamento de Informática FCT/UNL - 2003
All nontrivial set functors give rise to final coalgebras
Departamento de Informática FCT/UNL - 1999

( other publications )

A Lógica como Linguagem de Programação
1997