Search Results for author: Luís Moniz Pereira

Found 3 papers, 0 papers with code

Properties of Stable Model Semantics Extensions

no code implementations15 May 2014 Mário Abrantes, Luís Moniz Pereira

The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity.

Contextual Abductive Reasoning with Side-Effects

no code implementations14 May 2014 Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler

A weaker notion indicates the support of some relevant consequences by a prior abductive context.

Joint Tabling of Logic Program Abductions and Updates

no code implementations8 May 2014 Ari Saptawijaya, Luís Moniz Pereira

Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc.

Decision Making

Cannot find the paper you are looking for? You can Submit a new open access paper.