[PDF] Top 20 Extending Answer Set Programming using Generalized Possibilistic Logic
Has 10000 "Extending Answer Set Programming using Generalized Possibilistic Logic" found on our website. Below are the top 20 most common "Extending Answer Set Programming using Generalized Possibilistic Logic".
Extending Answer Set Programming using Generalized Possibilistic Logic
... Abstract Answer set programming (ASP) is a form of logic programming in which negation-as-failure is de- fined in a purely declarative way, based on the no- tion of a stable ...of ... Voir le document complet
6
Extending Answer Set Programming using Generalized Possibilistic Logic
... Abstract Answer set programming (ASP) is a form of logic programming in which negation-as-failure is de- fined in a purely declarative way, based on the no- tion of a stable ...of ... Voir le document complet
7
A crash course on generalized possibilistic logic
... Basic possibilistic logic can also be used for repre- senting ...each logic formula (p, α) represents a goal p to be reached with some priority level α (rather than a statement that is more or less ... Voir le document complet
16
A crash course on generalized possibilistic logic
... Basic possibilistic logic can also be used for repre- senting ...each logic formula (p, α) represents a goal p to be reached with some priority level α (rather than a statement that is more or less ... Voir le document complet
17
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty
... a logic, which can be embedded in GPL, to reason about arbitrary propositional combinations of statements of the form “ α is (strictly) more certain than β ...non-monotonic logic programming ... Voir le document complet
37
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty
... introduces generalized possibilistic logic (GPL), a logic for epistemic reasoning based on possibility ...the logic generalizes possibilistic logic (PL), which at the ... Voir le document complet
38
Reasoning with Multiple-Agent Possibilistic Logic
... and possibilistic multiple-agent knowledge bases, have been generated by varying the number of ...is set to 30 and the number of groups of agents is set respectively to 5, 10 and 15 by considering ... Voir le document complet
16
Symbolic possibilistic logic: completeness and inference methods
... Symbolic Possibilistic Logic (SPL), with partially ordered symbolic ...this logic, that generalizes the completeness proof of standard possibilistic logic, based on maximal consistent ... Voir le document complet
27
Parallel logic programming systems
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
49
Symbolic Possibilistic Logic: Completeness and Inference Methods
... of possibilistic logic with partially ordered symbolic ...conditional logic frameworks [5] by the use of the minimal specificity principle which is not at work in such logical ... Voir le document complet
11
Conditional Preference Nets and Possibilistic Logic
... 6 Approaching CP-Net Preferences by Possibilistic Logic As seen in Ex. 2 of Section 5, the symmetric Pareto relation is not fine-grained enough to capture the CP-net partial order in general, while the ... Voir le document complet
14
Computational Protein Design: trying an Answer Set Programming approach to solve the problem
... Genetic algorithm based approaches have been tried on the CPD problem [27]. Each element of the population is a sequence of amino-acids with their rotamer conformations. A cross-over operator is defined by exchanging ... Voir le document complet
19
Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming
... Email: maxime.folschette@unice.fr § National Institute of Informatics, 2-1-2, Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan. Abstract—The combination of numerous simple influences between the components of a Biological ... Voir le document complet
6
Reasoning with Multiple-Agent Possibilistic Logic
... and possibilistic multiple-agent knowledge bases, have been generated by varying the number of ...is set to 30 and the number of groups of agents is set respectively to 5, 10 and 15 by considering ... Voir le document complet
15
Symbolic possibilistic logic: completeness and inference methods
... Symbolic Possibilistic Logic (SPL), with partially ordered symbolic ...this logic, that generalizes the completeness proof of standard possibilistic logic, based on maximal consistent ... Voir le document complet
28
Symbolic Possibilistic Logic: Completeness and Inference Methods
... of possibilistic logic with partially ordered symbolic ...conditional logic frameworks [5] by the use of the minimal specificity principle which is not at work in such logical ... Voir le document complet
12
Inconsistency Management from the Standpoint of Possibilistic Logic
... classical logic notion of consistency between two propositions, which requires the existence of at least one common model for the two ...fuzzy set of models. Such a situation is encountered in ... Voir le document complet
21
A Possibilistic Logic Approach to Conditional Preference Queries
... 4 Adding Constraints between Symbolic Weights In the previous subsection, the partial order between priority weights, underlying the use of the lexicographic comparison, was not requiring any information on the relative ... Voir le document complet
15
A Characterization of Displayable Logics Extending Update Logic
... tense logic, even if the basics of this theory will be recalled in this ...update logic, it seems relevant to develop a correspondence theory for logics extending update ...tense logic. Update ... Voir le document complet
58
A Possibilistic Logic Approach to Conditional Preference Queries
... a possibilistic logic approach to the handling of data base (conditional) preference queries, which remains as symbolic as possible, but preserves a capability for rank-ordering the ... Voir le document complet
14
Sujets connexes