STABLE MODEL in Portuguese translation

• modelo estável
• modelos estáveis
• modelo estavel

Examples of using Stable model in English and their translations into Portuguese

For exampleis a shorthand for==Generating stable models==To find a stable model of the Lparse program stored in file codice_3 we use the commandOption 0 instructs smodels to find"all" stable models of the program.
Por exemplo, o programa Lparse: tem o mesmo significado de: O programaé um atalho para==Generalizando modelos estáveis==Para achar um modleo estável de um programa Lparse armazenado na pasta codice_3 nós usamos o comando: Opção 0 instrui smodels a achar"todos" os modelos do programa.

traditional rules, the definition of a stable model according to Ferraris is equivalent to the original definition.
a definição de modelos estáveis de acordo com Ferrari é equivalente a definição original.

To extend the stable model semantics to disjunctive programs,
Para estender a semântica de modelo estável para programas disjuntos,

To find a stable model of the Lparse program stored in file${filename} we use the command% lparse${filename}|
Para achar um modleo estável de um programa Lparse armazenado na pasta nós usamos o comando:% lparse|

If we think of the stable model semantics as a description of the behavior of Prolog in the presence of negation then programs without a unique stable model can be judged unsatisfactory: they do not provide an unambiguous specification for Prolog-style query answering.
Se pensarmos nas semânticas de modelo estável como uma descrição do comportamento de Prolog na presença de negação, então programas sem um modelo estável único podem ser julgados como insatisfatíveis.

the only stable model of P{\displaystyle P}
por definição, o único modelo estável de P{\displaystyle P}

what is the ECB's position on a stable model for constructing a true system of solidarity between the Member States with regard to sovereign debt?
qual é a posição do Banco Central relativamente a um figurino estável para a construção de um sistema verdadeiro de solidariedade e entre os Estados-Membros no que diz respeito à dívida soberana?

A program with negation may have many stable models or no stable models.
Um programa com negação pode ter vários modelos estáveis ou nenhum modelo estável.

Their approach is based on the relationship between plans and stable models.
A abordagem deles é baseada no relacionamento entre planos e modelos estáveis.

then we say that it has no stable models.
não existem modelos estáveis.

the set of stable models of a program is an antichain.
o conjunto de modelos estáveis é uma anticorrente.

As in the traditional case, the stable models of a disjunctive program are minimal
Como no caso tradicional, o modelo estável de um programa disjuntivo são minimais

the antichain property of stable models of a traditional program do not hold in the general case.
a propriedade anticadeia dos modelos estáveis de um programa tradicional não é válido para o caso geral.

Furthermore, if an atom is false in the well-founded model of a program then it does not belong to any of its stable models.
Além disso, se um átomo é falso no modelo bem fundado então não pertence à nenhum modelo estável.

But the use of stable models in answer set programming provides a different perspective on such programs.
Mas o uso de modelos estáveis na programação de conjuntos-resposta fornece uma perspectiva diferente sobre tais programas.

The cross-classification presented stable models, with the estimated risk by this method very close to the final model,
A classificação cruzada apresentou modelos estáveis, com risco estimado por esse método muito próximo ao do modelo final,

Instead of stable models, this generalization uses answer sets, which may include both atoms
Ao invés de modelos estáveis, sua generalização usa conjuntos de respostas,

has no stable models.
não tem modelos estáveis.

a given search problem is represented by a logic program so that the stable models of the program correspond to solutions.
um determinado problema de pesquisa é representado por um programa lógico, de modo que os modelos estáveis do programa correspondem à soluções.

Then programs with many stable models correspond to problems with many solutions, and programs without stable models correspond to unsolvable problems.
Em seguida, os programas com muitos modelos estáveis correspondem a problemas com muitas soluções e programas sem modelos estáveis correspondem a problemas insolúveis.