@TECHREPORT{fnaufelFaperj96,
author = {Fernando N\'aufel do Amaral},
title = {Uma Nova Proposta para o C\'alculo do Fecho Transitivo de Rela\c{c}ões Bin\'arias},
institution = {FAPERJ},
year = {1996},
type = {Technical report (Inicia\c{c}ão Cient\'{\i}fica)},
number = {E-26/151.163/95-BOLSA}
}
@TECHREPORT{fnaufelUff97,
author = {Fernando N\'aufel do Amaral and P.G. Rabelo},
title = {Tradu\c{c}ão de Estruturas de Controle para Sistemas de Tempo Real em Linguagens Orientadas a Objetos},
institution = {DCC, UFF},
year = {1997}
}
@INPROCEEDINGS{fnaufelJaiio99,
author = {Fernando N\'aufel do Amaral and P.G. Rabelo and S.E.R. Carvalho},
title = {C$^{++}$ Idioms for Concurrent Operations},
booktitle = {28 JAIIO -- Jornadas Argentinas de Inform\'atica e Investigaci\'on Operativa},
year = {1999},
pdf = {publications/idioms.pdf},
abstract = {\textbf{Abstract:} Well-integrated development tools, allowing automatic code generation from visual representations of analysis and design decisions, are important assets in handling the complexities of today's software. This paper describes several message passing semantics for the expression of concurrency in a new object-oriented visual development system, along with the C$^{++}$ idioms generated for asynchronous messages.}
}
@INPROCEEDINGS{fnaufelWmf00,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {A Logic-Based Approach for Real-Time Object-Oriented Software Development},
booktitle = {WMF -- Workshop de M\'etodos Formais},
series = {SBES 2000 -- Workshops},
year = {2000},
pages = {45--55},
publisher = {SBC},
pdf = {publications/retoolwmf.pdf},
abstract = {\textbf{Abstract:} This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a linear-time temporal logic with time-bounded operators, to reason about general properties of timed transition systems, an abstract model for the behavior of objects in a real-time, object-oriented software system.}
}
@INPROCEEDINGS{fnaufelWollic00,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {Completeness of an Action Logic Featuring a Delta-Operator for Timed Transition Systems},
booktitle = {Workshop on Logic, Language, Information and Computation -- WoLLIC},
year = {2000},
pages = {123--132},
pdf = {publications/retoolwollic.pdf},
abstract = {\textbf{Abstract:} This paper defines an action logic featuring an operator that denotes necessary conditions and postconditions of actions in a timed computational transition system. Three different semantics of the operator are discussed, and weak completeness is proved for one of them. It is also briefly shown how the action logic can be combined with a temporal logic to derive temporal properties of actions from the logical description of a real-time computational system.}
}
@INPROCEEDINGS{fnaufelLc00,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {{RETOOL}: an Action Logic for Timed Transition Systems},
booktitle = {European Summer Meeting of the Association for Symbolic Logic -- Logic Colloquium},
year = {2000}
}
@ARTICLE{fnaufelBsl00,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {Completeness of an Action Logic for Timed Transition Systems},
journal = {Bulletin of the Section of Logic (Lodz, Poland)},
year = {2000},
volume = {29},
number = {4},
pages = {151--160},
abstract = {\textbf{Abstract:} This paper defines an action logic featuring an operator that denotes necessary conditions, postconditions, and time bounds of actions in a timed computational transition system. Weak completeness of an axiomatization for the logic is proved.},
pdf = {publications/retoolbsl.pdf}
}
@ARTICLE{fnaufelRita00,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {A Logic-Based Approach for Real-Time Object-Oriented Software Development},
journal = {Revista de Inform\'atica Te\'orica e Aplicada (UFRGS)},
year = {2000},
volume = {VII},
number = {1},
pages = {69--88},
http = {http://www.inf.ufrgs.br/~revista},
abstract = {\textbf{Abstract:} This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a linear-time temporal logic with time-bounded operators, to reason about general properties of timed transition systems, an abstract model for the behavior of objects in a real-time, object-oriented software system. The parallel composition of such objects, which can be modeled as a colimit in the category of RETOOL theories, is also discussed.}
}
@MASTERSTHESIS{fnaufelDissert00,
author = {Fernando N\'aufel do Amaral},
title = {{RETOOL}: uma L\'ogica de A\c{c}ões para Sistemas de Transi\c{c}ão Temporizados},
school = {Depto. de Inform\'atica, PUC-Rio},
year = {2000},
pdf = {publications/fnaufeldissertation.pdf},
abstract = {\textbf{Abstract:} This dissertation defines RETOOL, an action logic featuring an operator to denote necessary conditions and postconditions of actions in a timed transition system (an extension of the formalism of transition systems meant to model real-time reactive/concurrent computational systems). A semantics for RETOOL is presented and compared to previous proposals. An adequate axiomatization is given, along with detailed correctness and weak completeness proofs.},
note = {In Portuguese.}
}
@INPROCEEDINGS{fnaufelLaptec02,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler and M. Endler},
title = {A Real-Time Specification Language},
booktitle = {Advances in Logic, Artificial Intelligence and Robotics -- LAPTEC 2002},
year = {2002},
editor = {J.M. Abe and J.I. da Silva Filho},
volume = {85},
series = {Frontiers in Artificial Intelligence and Applications},
pages = {194--201},
publisher = {IOS Press},
pdf = {publications/rtlaptec.pdf},
abstract = {\textbf{Abstract:} A specification language for real-time software systems is presented. Notions from Category Theory are used to specify how the components of a system should interact. The potential role of the proposed language in the search for interoperability of specification formalisms is briefly discussed.}
}
@TECHREPORT{fnaufelPuc02,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler and M. Endler},
title = {A Real-Time Specification Language},
type = {Monografias em Ci\^encia da Computa\c{c}ão},
number = {22/02},
institution = {Depto. de Inform\'atica, PUC-Rio},
year = {2002},
pdf = {ftp://ftp.inf.puc-rio.br/pub/docs/techreports/02_22_amaral.pdf},
abstract = {\textbf{Abstract:} A specification language for real-time software systems is presented, along with a model-theoretic semantics. Notions from Category Theory are used to specify how the components of a system should interact. The potential role of the proposed language in the search for interoperability of specification formalisms is briefly discussed.}
}
@PHDTHESIS{fnaufelThesis04,
author = {Fernando N\'aufel do Amaral},
title = {Teoria de Modelos para Heur\'{\i}sticas Baseada em {\em Topoi}},
school = {Depto. de Inform\'atica, PUC-Rio},
year = {2004},
pdf = {http://www2.dbd.puc-rio.br/pergamum/biblioteca/php/mostrateses.php?open=1&arqtese=0016027_04_Indice.html},
abstract = {\textbf{Abstract:} This work employs concepts and tools from Category Theory and Topos Theory to construct a mathematical model for problems, reductions between problems, heuristic search spaces and strategies. More precisely, a search space construction strategy is represented by a functor from a certain category of problems to a certain category of forests. The collection of all such functors forms a topos, a specific model equipped with its own internal logic. This internal logic is then used to define search strategies and heuristics in Local Set Theory. Possible applications of this work include (1) the logical specification and classification of heuristics and metaheuristics used in practice and (2) a more abstract and general rendering of specific results relating the structure of problems to adequate problem-solving methods.},
note = {In Portuguese.}
}
@TECHREPORT{fnaufelPuc05,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {A Logic-Based Formal Model for (Meta)Heuristics},
type = {Monografias em Ci\^encia da Computa\c{c}ão},
number = {06/05},
institution = {Depto. de Inform\'atica, PUC-Rio},
year = {2005},
pdf = {ftp://ftp.inf.puc-rio.br/pub/docs/techreports/05_06_amaral.pdf},
abstract = {\textbf{Abstract:} We present a structural model for (meta)heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques which provide an appropriate internal logic (with the language of Local Set Theory) where objects of interest can be represented.}
}
@INPROCEEDINGS{fnaufelEbl06,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {Using the Internal Logic of a Topos Related to the Topos of Forests to Model Search Spaces for Problems},
booktitle = {XIV EBL -- Encontro Brasileiro de L\'ogica, Itatiaia, RJ},
year = {2006},
pdf = {publications/toposebl.pdf}
}
@INPROCEEDINGS{fnaufelLsfa06,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search},
booktitle = {LSFA -- Brazilian Workshop on Logical and Semantic Frameworks, with Applications, Natal, RN},
year = {2006},
pdf = {publications/toposLSFA.pdf},
abstract = {\textbf{Abstract:} We define some topoi related to the topos of forests and illustrate how the internal language of such topoi can be used (via local set theory) to define logics where we can represent (meta)heuristic search strategies for solving computational problems.}
}
@INPROCEEDINGS{fnaufelVorte06,
author = {Fernando N\'aufel do Amaral and Carlos Baz\'{\i}lio and Geiza Maria Hamazaki da Silva and Alexandre Rademaker and Edward Hermann Haeusler},
title = {An Ontology-based Approach to the Formalization of Information Security Policies},
booktitle = {Workshop on Vocabularies, Ontologies, and Rules for the Enterprise (VORTE), Hong Kong},
year = {2006},
doi = {doi:10.1109/EDOCW.2006.21},
publisher = {IEEE Computer Society},
series = {10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06). Los Alamitos, CA, USA},
abstract = {\textbf{Abstract:} We present the structure of an ontology for Information Security (IS) and discuss a paradigm whereby it can be used to extract knowledge from natural language texts such as IS standards, security policies and security control descriptions. Besides providing a vocabulary for the IS domain, the proposed ontology stores logical forms corresponding to statements in the text, as well as a set of axioms used for inference in description logic (DL). We also describe a tool to provide automatic support for the formalization process.}
}
@ARTICLE{fnaufelIgpl07,
author = {Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {Using the Internal Logic of a Topos to Model Search Spaces for Problems},
journal = {Logic Journal of the IGPL},
volume = {15},
number = {5--6},
pages = {457--474},
year = {2007},
doi = {doi:10.1093/jigpal/jzm035},
abstract = {\textbf{Abstract:} We present a structural model for (meta)heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques which provide an appropriate internal logic (with the language of local set theory) where objects of interest can be represented.}
}
@TECHREPORT{fnaufelPuc07,
author = {Alexandre Rademaker and Fernando N\'aufel do Amaral and E.H. Haeusler},
title = {A Sequent Calculus for {ALC}},
type = {Monografias em Ci\^encia da Computa\c{c}ão},
number = {25/07},
institution = {Depto. de Inform\'atica, PUC-Rio},
year = {2007},
ftp = {ftp://ftp.inf.puc-rio.br/pub/docs/techreports/07_25_rademaker.pdf},
abstract = {\textbf{Abstract:} Description Logics is a family of formalisms used to represent knowledge of a domain. In contrast with others knowledge representation systems, Description Logics are equipped with a formal, logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge. We present a sequent calculus for ALC, a basic Description Logic. The first motivation for developing such a system is the extraction of computational content of ALC proofs. The present calculus is an intermediate step towards a Natural Deduction System for ALC.}
}
@INPROCEEDINGS{fnaufelAow07,
author = {G.M.H. da Silva and A. Rademaker and D.R. Vasconcelos and Fernando N\'aufel do Amaral and C. Baz\'{\i}lio and V. Gon\c{c}alves and E.H. Haeusler},
title = {Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study},
booktitle = {AOW -- The Third Australasian Ontology Workshop, Gold Coast, Queensland, Australia},
year = {2007},
pdf = {publications/aow.pdf},
abstract = {\textbf{Abstract:} We present the structure of an ontology for Information Security (IS), applied to the extraction of knowledge from Natural Language texts (IS standards, security policies and security control descriptions). This ontology is composed of the vocabulary for the IS Domain, and a particular kind of ontology description, logical forms to determine the structure of the DL formulas associated with the texts. We also discuss the relationship between the structure of the formulas and the efficiency of the reasoner.}
}
@INPROCEEDINGS{fnaufelDl2008,
author = {Fernando N\'aufel do Amaral and C. Baz\'{\i}lio},
title = {Visualization of Description Logic Models},
booktitle = {The 21st International Workshop on Description Logics (DL2008), Dresden, Germany},
year = {2008},
abstract = {\textbf{Abstract:} Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represented (e.g., RDF, OWL, DL). \emph{Model outlines} depart from this tradition in that they consist of diagrams characterizing the class of \emph{models} of a given concept expression. We hope this semantically-oriented visualization strategy will allow users to obtain deeper insights about the meaning of such expressions, thereby preventing errors of design or of interpretation.},
pdf = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-353/NaufelMartins.pdf}
}
@INPROCEEDINGS{fnaufelSemOnto2008,
author = {Fernando N\'aufel do Amaral},
title = {Visualiza\c{c}ão de Descri\c{c}ões de Conceitos em {OWL}},
booktitle = {{I} Semin\'ario de Pesquisa em Ontologia no Brasil, Niterói, RJ},
abstract = {\textbf{Abstract:} Este trabalho apresenta \emph{esbo\c{c}os de modelos}, uma abordagem baseada em sem\^antica para visualiza\c{c}ão de descri\c{c}ões de conceitos em OWL.},
pdf = {http://www.uff.br/ontologia/artigos/29.pdf},
year = {2008}
}
@INPROCEEDINGS{fnaufelTIL2008,
author = {Fernando N\'aufel do Amaral},
title = {Visualizing the Semantics (Not the Syntax) of Concept Descriptions},
booktitle = {VI Workshop em Tecnologia da Informa\c{c}ão e da Linguagem Humana (TIL 2008), Vila Velha, ES},
abstract = {\textbf{Abstract:} The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions (e.g., in the form of necessary conditions in class definitions). To aid such users, alternative representations of concept descriptions have been proposed, such as natural language paraphrases and visualization frameworks. We examine examples of those representations and propose a novel visual framework, where more emphasis is placed on the semantics of concept descriptions than on their syntax.},
pdf = {publications/fnaufelTIL2008.pdf},
year = {2008}
}
This file has been generated by bibtex2html 1.85.
Thu Sep 18 15:19:51 BRT 2008