Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory information.
Within the field of Logic Programming, most of the implementations of Prolog…

In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals.
They possess the singular properties of…

ABSTRACT: This paper presents an experience involving the use of a Bulletin Board System (BBS) for the Project Brazilian Rocks as Alternative Sources of Potassium. It's described the BBS specification, its implementation and the difficulties observed along this processes. The…

ABSTRACT: The Cerrado is one of the richest and most threatened biome in the world and its ecosystem Seasonally dry forest is the one that suffers most antropic pressure. It's important that conservation of The Paranã River Valley increases because…

RESUMO: Por reunirem constituições genéticas de diferentes origens e níveis de melhoramento, os bancos de germoplasma podem constituir-se em ótimas fontes de genes para programas de melhoramento. Para tanto, é fundamental que o melhorista conheça profundamente o germoplasma disponível em…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Notre recherche vise à décrire les connaissances grammaticales élaborées par des élèves de première secondaire au cours de l’enseignement/apprentissage de l’accord du verbe. Cette description se fonde sur l’observation des interactions didactiques entre les élèves, et leur enseignant autour de…

Purpose: The aim of this paper is to assess both the philosophical underpinnings and contributions to knowledge made by research in the field of strategy in the five years between 2002 and 2006.

Design/methodology/approach: The paper begins with…

Little has been written about the component provision problem (programming plans and domain concepts) for the repositories of knowledge in program understanding systems and reports that specifically address this issue are unknown. Model-driven and plan-driven approaches use repositories where construction…

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…