ProfileOfResearchers

IN MY:

ORCID |

TITLE: A portrait of a scientist as a computational logician
AUTHORS: Bruynooghe, M; Pereira, LM ; Siekmann, JH; van Emden, M;
PUBLISHED: 2002, SOURCE: COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, VOLUME: 2407

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Belief Revision via Lamarckian Evolution
AUTHORS: Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira ;
PUBLISHED: 2002, SOURCE: Proceedings of the International Conference on Artificial Intelligence, IC-AI '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3

INDEXED IN:

DBLP

IN MY:

TITLE: Computing environment-aware agent behaviours with logic program updates Full Text
AUTHORS: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: 11th International Workshop on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, VOLUME: 2372

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Evolving logic programs
AUTHORS: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: 8th European Conference on Logics in Artificial Intelligence (JELIA 02) in LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, VOLUME: 2424

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Hybrid Probabilistic Logic Programs as Residuated Logic Programs Full Text
AUTHORS: Carlos Viegas Damásio ; Luís Moniz Pereira ;
PUBLISHED: 2002, SOURCE: Studia Logica, VOLUME: 72, ISSUE: 1

INDEXED IN:

Scopus

DBLP

CrossRef: 6

IN MY:

ORCID |

TITLE: Logic programming updating - A guided approach
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, VOLUME: 2408, ISSUE: PART2

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: LUPS - A language for updating logic programs Full Text
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLISHED: 2002, SOURCE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in ARTIFICIAL INTELLIGENCE, VOLUME: 138, ISSUE: 1-2

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: MINERVA - Dynamic Logic Programming agent architecture
AUTHORS: Leite, JA ; Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: 8th International Workshop on Agent Theories, Architectures, and Language (ATAL 2001) in INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, VOLUME: 2333

INDEXED IN:

Scopus

WOS

IN MY:

ResearcherID

100

TITLE: On Philosophical Incidences of Logic Programming
AUTHORS: Luís Moniz Pereira ;
PUBLISHED: 2002, SOURCE: Proceedings of the International Conference on Artificial Intelligence, IC-AI '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3

INDEXED IN:

DBLP

IN MY: