SearchBrowse

close this section of the libraryftp://ftp.fct.unl.pt (52)
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Baptista-J/91a/91a.ps.gz, 19911219
Objects in Contextual Logic Programming Joaquim Baptista px@fct.unl.pt px@unl.uucp Faculdade de Ci ncias e Tecnologia, Universidade Nova de Lisboa 2825 Monte de Caparica, Portugal fax: +351-1- 295 44 61 March 1991 Contextual logic programming (abbreviated CxLP) proposed the concept of unit as an
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Baptista-J/91b/91b.ps.gz, 19911219
Embedding a Knowledge Composition Mechanism in Contextual Logic Programming Joaquim Baptista Faculdade de Ci ncias e Tecnologia, Universidade Nova de Lisboa 2825 Monte de Caparica, Portugal email: px@fct.unl.pt, px@unl.uucp fax: +351-1- 295 44 61 April 1991 The paper is based on KRIP, a frame-based
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Baptista-J/89/89.ps.gz, 19911219
Contextual Logic Programming Toy Joaquim Baptista RT 1/89 CRIA/UNINOVA, November 1989 Centro de Intelig ncia Artificial Uninova 2825 Monte de Caparica Portugal This work was supported through the program Forma o Avan ada de Recursos Humanos em Ci ncia e Tecnologia, grant FSE/JNICT Ac o A 73 88 TI.
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Baptista-J/91c/91c.ps.gz, 19911219
Object-Oriented Features in Contextual Logic Programming Joaquim Baptista px@fct.unl.pt px@unl.uucp Faculdade de Ci ncias e Tecnologia, Universidade Nova de Lisboa 2825 Monte de Caparica, Portugal fax: +351-1- 295 44 61 November 1991 Contextual logic programming adds to the traditional logic programming
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/ciunl/rt-3-91-ciunl.ps.Z, 19921110
GET Graph Editor and Tools Version 1.0 The Incomplete Reference Michel Wermelinger (mw@fct.unl.pt) CRIA/UNINOVA Quinta da Torre 2825 Monte da Caparica PORTUGAL January 1991 Contents List of Figures v Preface vi I The Conceptual Graph Editor 1 1 Overview 2 1.1 QXPCU : : : : : : : : : : : : : : : : : : :
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/ciunl/rt-4-91-ciunl.ps.Z, 19921110
GET Some Notes on the Implementation Michel Wermelinger (mw@fct.unl.pt) CRIA/UNINOVA Quinta da Torre 2825 Monte da Caparica PORTUGAL January 1991
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/ciunl/rt-5-91-ciunl.ps.Z, 19921110
GET: An Implementation of Conceptual Graphs Michel Wermelinger (mw@fct.unl.pt) Centro de Intelig^encia Artificial/UNINOVA Quinta da Torre, 2825 Monte da Caparica, PORTUGAL
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Uninova/ismis93.ps.Z, 19931011
MULTIVARIATE DISCRETIZATION OF CONTINUOUS ATTRIBUTES FOR MACHINE LEARNING Thomas W. Rauber, Dinu Coltuc* and Adolfo S. Steiger-Gar o Universidade Nova de Lisboa Faculdade de Ci ncias e Tecnologia Departamento de Inform tica Intelligent Robotics Group 2825 Monte de Caparica Portugal Tel.: +351-1-2953220
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/peirce93.ps.gz, 19931122
LINEAR | Linear Notation Interface John Esch1, Maurice Pagnucco2 and Michel Wermelinger3 1 Paramax Systems Inc. (A Unisys Company), P.O. Box 64525, MS U1N28, St. Paul, MN 55164, USA. email: esch@email.sp.paramax.com 2 Knowledge Systems Group, Basser Department of Computer Science, Madsen Building, F09,
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/cim.ps.gz, 19931122
A Reconstruction of EXPRESS using Conceptual Structures Michel Wermelinger Departamento de Inform atica Universidade Nova de Lisboa 2825 Monte da Caparica PORTUGAL
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/ttp.ps.gz, 19931122
Searching Efficiently in Posets Michel Wermelinger Departamento de Inform atica Universidade Nova de Lisboa 2825 Monte da Caparica PORTUGAL March 1993
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/peirce92-l.ps.gz, 19931122
1 LINEAR | Linear Notation Interface Subgroup Young Bae Choi 1 Maurice Pagnucco 2 and Michel Wermelinger 3 1.1 Introduction The linear form of a Conceptual Graph is an important form of input and output for many Conceptual Graph tools. It also serves as an important notation for presenting Conceptual
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/get-ref.ps.gz, 19931122
GET Graph Editor and Tools Version 1.0 The Incomplete Reference Michel Wermelinger (mw@fct.unl.pt) CRIA/UNINOVA Quinta da Torre 2825 Monte da Caparica PORTUGAL January 1991 Contents List of Figures v Preface vi I The Conceptual Graph Editor 1 1 Overview 2 1.1 QXPCU : : : : : : : : : : : : : : : : : : :
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/awocg92.ps.gz, 19931122
An X-Windows Toolkit for Knowledge Acquisition and Representation Based on Conceptual Structures Michel Wermelinger and Jos e Gabriel Lopes Centro de Intelig^encia Artificial/UNINOVA Quinta da Torre, 2825 Monte da Caparica, PORTUGAL fmw|gplg@fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/get-impl.ps.gz, 19931122
GET Some Notes on the Implementation Michel Wermelinger (mw@fct.unl.pt) CRIA/UNINOVA Quinta da Torre 2825 Monte da Caparica PORTUGAL January 1991
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/peirce92-g.ps.gz, 19931122
1 GRIP | PEIRCE Graphical Interface Subgroup Peter Eklund1 and Michel Wermelinger2 1.1 Objectives A major advantage of conceptual graphs is their ease of use particularly in the graphical form. The goals of the graphical interface subgroup is the creation of a document providing general guidelines for
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/get.ps.gz, 19931122
GET: An Implementation of Conceptual Graphs Michel Wermelinger (mw@fct.unl.pt) Centro de Intelig^encia Artificial/UNINOVA Quinta da Torre, 2825 Monte da Caparica, PORTUGAL
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Correia-L/auv94.ps.gz, 19940316
Hsu, L., R.R.Costa, and J.P.Cunha. Simula o e Desenvolvimento de Sistemas de Controle Avan ado de ROVs. in II Forum sobre ROV na Petrobr s. 1991. Rio de Janeiro - Brasil. Babb, R., AUV Navigation for Underwater Scientific Surveys. 1990. (December): p. 25-32. a single layer, for instance
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/tooldiag.ps.Z, 19940621
A TOOLBOX FOR ANALYSIS AND VISUALIZATION OF SENSOR DATA IN SUPERVISION T. W. Rauber, M. M. Barata and A. S. Steiger-Gar o Universidade Nova de Lisboa Faculdade de Ci ncias e Tecnologia Departamento de Inform tica Intelligent Robotics Group 2825 Monte de Caparica Portugal Tel. +351-1-2953220 Fax
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/packages/tooldiag.ps.Z, 19940621
A TOOLBOX FOR ANALYSIS AND VISUALIZATION OF SENSOR DATA IN SUPERVISION T. W. Rauber, M. M. Barata and A. S. Steiger-Gar o Universidade Nova de Lisboa Faculdade de Ci ncias e Tecnologia Departamento de Inform tica Intelligent Robotics Group 2825 Monte de Caparica Portugal Tel. +351-1-2953220 Fax
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/UFF.ps.gz, 19940621
UNL Transform and UNL Fourier Features 38 Trans. Systems, Man, and Cybernetics, vol. SMC-7, no. 3, pp. 170-179, 1977. Rauber, T. W., and Steiger-Gar o, A. S., Shape description by UNL Fourier features An application to handwritten character recognition, Proc. 11th IAPR Int. Conf. on
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/packages/UFF.ps.gz, 19940621
UNL Transform and UNL Fourier Features 38 Trans. Systems, Man, and Cybernetics, vol. SMC-7, no. 3, pp. 170-179, 1977. Rauber, T. W., and Steiger-Gar o, A. S., Shape description by UNL Fourier features An application to handwritten character recognition, Proc. 11th IAPR Int. Conf. on
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/PhD-thesis.ps.gz, 19941024
174 173 Winston, P. H., Artificial Intelligence (2nd ed.), Addison-Wesley, Reading, MA, 1984. Wolfram, S., Mathematica: A System for Doing Mathematics by Computer (2nd ed.), Addison-Wesley Publishing Company, 1991. Wong, A. K. C., and Chiu, D. K. Y.,
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/PhD-thesis-odd.ps.gz, 19941024
173 Winston, P. H., Artificial Intelligence (2nd ed.), Addison-Wesley, Reading, MA, 1984. Wolfram, S., Mathematica: A System for Doing Mathematics by Computer (2nd ed.), Addison-Wesley Publishing Company, 1991. Wong, A. K. C., and Chiu, D. K. Y., Synthesizing
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/PhD-thesis-even.ps.gz, 19941024
174 172 vol. C-18, no. 5, pp. 401-409, May 1969. Schwartz, E. L., Spatial mapping in the primate sensory projection: Analytic structure and relevance to perception, Biological Cybernetics, vol. 25, pp. 181-194, 1977. Schwartz, E. L., A quantitative model of the
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/courses/lp/TPrat-2/TP2.ps.gz, 19941121
Linguagens de Programa c~ao 94.95 Trabalho Pr atico 2 Este projecto visa a implementa c~ao em Caml-Light de um interpretador para uma linguagem miniatura de tipo Algol: a linguagem LP93. Eis a defini c~ao da sintaxe abstracta de LP93: N Numerais I Identificadores E Expressoes D Declaracoes C Comandos E
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/courses/lp/TPrat-1/TP1.ps.gz, 19941121
Linguagens de Programa c~ao 94.95 TP1 Pretende-se implementar, usando a linguagem C, uma calculadora de express~oes aritm eticas envolvendo as quatro opera c~oes b asicas (+,*,/,-) sobre constantes naturais e vari aveis. Os comandos aceites pela calculadora s~ao descritos pela seguinte gram atica em
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/courses/lp/exame2.ps, 19950126
Linguagens de Programa c~ao Departamento de Inform atica | Universidade Nova de Lisboa 18 de Janeiro de 1995 (Dura c~ao: 3 h) Aten c~ao: Apresente as respostas em folhas separadas. 1. (3.0 val) A linguagem ALGOL 60 disponibiliza(va) uma unica abstrac c~ao de controle capaz de exprimir itera c~ao. Tal
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/courses/lp/Sumarios.ps, 19950126
Linguagens de Programa c~ao 94.95 Sum arios / Aulas Te oricas 26.Set (T1) Motiva c~ao do estudo de conceitos de linguagens de programa c~ao. Crit erios de avalia c~ao de linguagens de programa c~ao. Objectivos das linguagens de programa c~ao. Perspectiva hist orica (I): Abordagens a concep c~ao de
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/courses/lp/exame1.ps, 19950126
Linguagens de Programa c~ao Departamento de Inform atica | Universidade Nova de Lisboa 11 de Janeiro de 1995 (Dura c~ao: 3 h) Aten c~ao: Apresente as respostas em folhas separadas. 1. (3.0 val) A linguagem Pascal admite duas formas de passagem de par^ametros: por valor e por refer^encia (var). Considere
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/1995/tese.old.ps.gz, 19950131
Universidade Nova de Lisboa Faculdade de Ci^encias e Tecnologia Departamento de Inform atica Teoria B asica das Estruturas Conceptuais Miguel Alexandre Wermelinger Disserta c~ao apresentada para a obten c~ao do Grau de Mestre em Engenharia Inform atica pela Universidade Nova de Lisboa, Faculdade de
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Correia-L/ecal95.ps.gz, 19950407
A Useful Autonomous Vehicle with a Hierarchical Behavior Control Lu s Correia*, A. Steiger-Gar o** Universidade Nova de Lisboa - Faculdade de Ci ncias e Tecnologia Quinta da Torre, 2825 Monte de Caparica, PORTUGAL Phone: +351-1-295 3220, Fax: +351-1-295 5641 E-Mail: {lc,asg}@fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/curitiba95.ps.gz, 19950727
Detection of Tool Failures in a Milling Process using Pattern Recognition Techniques Thomas W. Rauber*, Gilberto Herrera Ruiz**, Adolfo S. Steiger Gar o* *Universidade Nova de Lisboa Faculdade de Ci ncias e Tecnologia Departamento de Electrot cnica Intelligent Robotics Group 2825 Monte de Caparica
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/peirce95.ps.gz, 19950831
Conceptual Structures Linear Notation: A Proposal for Peirce Michel Wermelinger mw@fct.unl.pt Departamento de Inform atica, Universidade Nova de Lisboa 2825 Monte da Caparica, Portugal 1 Introduction This document describes a grammar for the linear notation of Conceptual Structures (CS). It has been
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/tese.ps.gz, 19950918
Universidade Nova de Lisboa Faculdade de Ci^encias e Tecnologia Departamento de Inform atica Teoria B asica das Estruturas Conceptuais Miguel Alexandre Wermelinger Disserta c~ao apresentada para a obten c~ao do Grau de Mestre em Engenharia Inform atica pela Universidade Nova de Lisboa, Faculdade de
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Wermelinger-M/iccs94.ps.gz, 19950918
Basic Conceptual Structures Theory Michel Wermelinger Jos e Gabriel Lopes Departamento de Inform atica, Universidade Nova de Lisboa 2825 Monte da Caparica, PORTUGAL E-mail: fmw,gplg@fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/ims95.ps.gz, 19950921
FAULT DETECTION IN MILLING BY PATTERN RECOGNITION T. W. RAUBER*, G. HERRERA RUIZ** and A. S. STEIGER GAR O* *Universidade Nova de Lisboa Faculdade de Ci ncias e Tecnologia Departamento de Electrot cnica 2825 Monte de Caparica Portugal {tr,asg}@unl.fct.pt *Uninova Center for Intelligent Robotics Quinta
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Rauber-T/diplomarbeit-dt.ps.gz, 19951002
DIPLOMARBEIT Klassifizierungsmodelle aus Statistik und Konnektionismus - Vergleich und Anwendung Student: Dirk Tilsner Universitaet Rostock Fachrichtung Nachrichtentechnik Betreuer: Dr. Thomas Rauber Universidade Nova de Lisboa Dept. of Electrical Eng. & UNINOVA Center for Intelligent Robotics PORTUGAL
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Pedro-V/UNL-DI-5-95.ps.gz, 19951127
An Approach to Verification in Contextual Logic Programming Vasco Pedro and Lu s Monteiro Departamento de Inform atica Universidade Nova de Lisboa 2825 Monte de Caparica, Portugal fvp,lmg@fct.unl.pt July 1995
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/FLAIRS95.ps.gz, 19960123
Application of Category Theory in Model-Based Diagnostic Reasoning Renwei Li and Lu s Moniz Pereira Centre for Artificial Intelligence, UNINOVA and Department of Computer Science, U. Nova de Lisboa 2825 Monte da Caparica, Portugal frenwei j lmpg@fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/ACO.ps.gz, 19960123
Representing and Reasoning about Concurrent Actions with Abductive Logic Programs Renwei Li and Lu s Moniz Pereira Centre for Artificial Intelligence, UNINOVA and Department of Computer Science, Universidade Nova de Lisboa 2825 Monte da Caparica, Portugal frenwei j lmpg@fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/tableaux.ps.gz, 19960123
Reasoning About Objects Using a Tableau Method Renwei Li and Am lcar Sernadas INESC, Rua Alves Redol 9 1000 Lisboa, Portugal
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/positional-logic.ps.gz, 19960123
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations RENWEI LI, Centre for Artificial Intelligence, UNINOVA, and Department of Computer Science, Universidade Nova de Lisboa, 2825 Monte da Caparica, Portugal. E-mail: renwei@fct.unl.pt JOS E CARMO, INESC, Rua
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/for-consistency.ps.gz, 19960123
Maintenance of Consistency in Well-Founded Models of Extended Logic Programs with Explicit Negation Renwei Li and Lu s Moniz Pereira Centre for Artificial Intelligence, UNINOVA and Department of Computer Science, Universidade Nova de Lisboa 2825 Monte da Caparica, Portugal frenwei j lmpg@fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/pca.ps.gz, 19960221
Knowledge Assimilation in Domains of Actions: A Possible Causes Approach Renwei Li and Lu s Moniz Pereira Department of Computer Science, Universidade Nova de Lisboa 2825 Monte da Caparica, Portugal frenwei j lmpg@fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/sics.ps, 19960305
Knowledge{Based Situated Agents among Us A Preliminary Report Renwei Li and Lu s Moniz Pereira Department of Computer Science, Universidade Nova de Lisboa 2825 Monte da Caparica, Portugal frenwei j lmpg@di.fct.unl.pt
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/EPIA95.ps.gz, 19960305
Non-Atomic Actions in the Situation Calculus Jos e J ulio Alferes, Renwei Li, and Lu s Moniz Pereira Centre for Artificial Intelligence, UNINOVA and Department of Computer Science, U. Nova de Lisboa 2825 Monte da Caparica, Portugal
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/IBERAMIA94.ps.gz, 19960305
Concurrent Actions and Changes in the Situation Calculus Jos e J ulio Alferes Renwei Li Lu s Moniz Pereira AI Centre, Uninova and DCS, U. Nova de Lisboa 2825 Monte da Caparica, Portugal
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/AAAI96.ps.gz, 19960315
Incorporate(N; I) be the set of all the minimal elements of mod(N ^ IC) with respect to I , that is, Incorporate(N; I) = fJ 2 mod(N ^ IC) : There is no J 2 mod(N ^ IC) such thatJ I Jg where IC is the set of protected formulas as integrity constraints, which are supposed to be satisfied in every possible
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/ECAI96.ps.gz, 19960426
With respect to the action language A and its extensions, there are four major approaches to the translation of A-like action languages into logic programs . In what follows we will briefly compare our work with . In Gelfond and Lifschitz proposed the action language A, presented a
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/AIMSA96.ps, 19960611
Proposition 4.5 Assume N = holds(Fn; Tn) is new knowledge. Let ffi be any abductive answer to N in KBoccurs(D; H). Then, for any occurs(A; T ) 2 ffi we have T OE Tn. Thus it is not necessary to consider predicate instances occurs(A; T ) for T 6OE Tn. In general, when concurrent actions are taken into
open this document and view contentsftp://ftp.fct.unl.pt/pub/di/papers/Renwei-Li/gulpro96-lp.ps, 19960611
Acknowledgements This work was partially supported by a post-doctoral fellowship from JNICT under PRAXIS XXI/BPD/4165/94 to the first author, and JNICT PROLOPPE project under PRAXIS/3/31/TIT/24/94. References Apt, K.R. and Bezem, M., Acyclic programs, Proc. of ICLP 90, 57997 Baral, C. and