Dynamic Logic Programming (1997)
Cached
Download Links
by
Jose Julio Alferes
,
João A. Leite
,
Luís Moniz Pereira
,
Halina Przymusinska
,
Teodor C. Przymusinski
| Venue: | LINKÖPING ELECTRONIC ARTICLES IN COMPUTER AND INFORMATION SCIENCE |
| Citations: | 62 - 19 self |
BibTeX
@MISC{Alferes97dynamiclogic,
author = {Jose Julio Alferes and João A. Leite and Luís Moniz Pereira and Halina Przymusinska and Teodor C. Przymusinski},
title = {Dynamic Logic Programming},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 1263 | The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 |
| 345 | A.: On the difference between updating a knowledge base and revising it - Katsuno, Mendelzon - 1991 |
| 310 | Logic programs with classical negation - Gelfond, Lifschitz - 1990 |
| 239 | Reasoning about actions using a possible models approach - Winslett - 1988 |
| 98 | Answer sets in general nonmonotonic reasoning (preliminary report - Lifschitz, Woo - 1992 |
| 53 | Update by means of inference rules - PRZYMUSINSKI, TURNER - 1997 |
| 47 | Generalizing updates: from models to programs - Leite, Pereira - 1998 |
| 23 | Update-programs can update programs - Alferes, Pereira - 1997 |
| 20 | Strong and explicit negation in non-monotonic reasoning and logic programming - Alferes, Pereira, et al. - 1996 |
| 12 | Logic Program Updates. M.Sc. Dissertation, Universidade Nova de - Leite - 1997 |
| 5 | Revision speci��cations by means of programs - Marek, Truszczynski - 1994 |
