#### Filter Results:

- Full text PDF available (126)

#### Publication Year

1991

2017

- This year (1)
- Last 5 years (17)
- Last 10 years (54)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- José Júlio Alferes, Luís Moniz Pereira
- Lecture Notes in Computer Science
- 1996

- José Júlio Alferes, João Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
- J. Log. Program.
- 2000

In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads. We start by introducing the notion of an update P U of one logic program P by another logic program U. Subsequently,… (More)

- Luís Moniz Pereira, José Júlio Alferes
- ECAI
- 1992

The aim of this paper is to provide a semantics for general logic programs (with negation by default) extended with explicit negation, subsuming well founded semantics 22]. The Well Founded semantics for extended logic programs (WFSX) is expressible by a default theory semantics we have devised 11]. This relationship improves the cross{fertilization between… (More)

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e. knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic… (More)

- José Júlio Alferes, João Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
- APPIA-GULP-PRODE
- 1998

In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads.We start by introducing the notion of an update P U of a logic program P by another logic program U . Subsequently,… (More)

Abductive logic programming offers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled logic programming offers a computational mechanism that provides a level of declarativity superior to that of Prolog, and which has supported successful applications in fields… (More)

- José Júlio Alferes, Antonio Brogi, João Leite, Luís Moniz Pereira
- JELIA
- 2002

Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe a simple though quite powerful approach to modelling the updates of knowledge bases expressed by generalized logic programs, by means of a new language, hereby christened EVOLP (after EVO lving Logic Programs).… (More)

- José Júlio Alferes, Federico Banti, Antonio Brogi, João Leite
- Studia Logica
- 2005

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In… (More)

- Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
- LPNMR
- 2005

Multidimensional dynamic logic programs are a paradigm which allows to express (partially) hierarchically ordered evolving knowledge bases through (partially) ordered multi sets of logic programs. They solve contradictions among rules in different programs by allowing rules in more important programs to reject rules in less important ones. This class of… (More)

- José Júlio Alferes, Luís Moniz Pereira
- JICSLP
- 1992

Recently several authors have stressed and showed the importance of having a second kind of negation in logic programs for use in deductive databases, contrary to what happens with semantics for normal logic programs, there is no general comparison among them, specially in what concerns the use and meaning of the newly introduced :-negation. The goal of… (More)