About: dbpedia-fr:Sémantique_des_modèles

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Sémantique_des_modèles_stables Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Sémantique des modèles stables (fr)
rdfs:comment	La sémantique des modèles stables est une sémantique déclarative en programmation logique utilisant la négation par l'échec. C'est l'une des nombreuses approches standard pour la signification de la négation dans la programmation logique, au côté de la terminaison de programme et de la sémantique bien fondée. La sémantique du modèle stable est à la base du langage de programmation déclarative Answer Set Programming (ASP). (fr)
sameAs	dbr:Stable_model_semantics wikidata:Q7595770 dbpedia-it:Semantica_del_modello_stabile dbpedia-pt:Semântica_de_modelo_estável dbpedia-uk:Семантика_стійких_моделей http://g.co/kg/m/0bqxfh http://ma-graph.org/entity/127001435
Wikipage page ID	14440734 (xsd:integer)
Wikipage revision ID	191440217 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_modèles Answer set programming dbpedia-fr:Antichaîne Antecedent (logic) Propositional calculus category-fr:Pages_avec_des_traductions_non_relues dbpedia-fr:Conséquent_(logique) dbpedia-fr:Drew_McDermott dbpedia-fr:Formule_propositionnelle Polynomial hierarchy dbpedia-fr:Hypothèse_du_monde_clos dbpedia-fr:Hypothèse_du_monde_ouvert dbpedia-fr:John_McCarthy Literal (mathematical logic) dbpedia-fr:Logique_non_monotone dbpedia-fr:Négation_logique dbpedia-fr:Négation_par_l'échec dbpedia-fr:Problème_NP-complet dbpedia-fr:Problème_des_huit_dames dbpedia-fr:Programmation_logique dbpedia-fr:Prolog dbpedia-fr:Représentation_des_connaissances dbpedia-fr:Règle_d'inférence SLD resolution dbpedia-fr:Sémantique_de_Kripke dbpedia-fr:Sémantique_des_langages_de_programmation Truth table Tautology (logic) dbpedia-fr:Théorie_des_modèles dbpedia-fr:Résolution_du_SLDNF
Link from a Wikipage to an external page	http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.129.5332&rep=rep1&type=pdf http://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf http://www.cs.ust.hk/faculty/flin/papers/assat-aij-revised.pdf https://www.aaai.org/Papers/AAAI/1987/AAAI87-037.pdf https://www.researchgate.net/profile/Francois_Fages/publication/220492237_Consistency_of_Clark's_completion_and_existence_of_stable_models/links/55d9a5e108aec156b9ac3f0e.pdf https://www.sciencedirect.com/science/article/pii/0004370287900439 http://www.cs.utexas.edu/users/vl/papers/clnegdd.ps http://www.cs.utexas.edu/users/vl/papers/mfasp.ps http://www.cs.utexas.edu/users/vl/papers/stable.ps http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ilps93.ps.gz http://www.umiacs.umd.edu/~horty/courses/readings/reiter-default-1980.pdf http://ai2-s2-pdfs.s3.amazonaws.com/37f3/19f2f8af842631ff9972e1bfd91b99f93511.pdf
page length (characters) of wiki page	31357 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_des_modèles category-fr:Pages_avec_des_traductions_non_relues
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:À_wikifier dbpedia-fr:Modèle:Mvar dbpedia-fr:Modèle:Texte_exact
prov:wasDerivedFrom	wikipedia-fr:Sémantique_des_modèles_stables?oldid=191440217&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Sémantique_des_modèles_stables
has abstract	La sémantique des modèles stables est une sémantique déclarative en programmation logique utilisant la négation par l'échec. C'est l'une des nombreuses approches standard pour la signification de la négation dans la programmation logique, au côté de la terminaison de programme et de la sémantique bien fondée. La sémantique du modèle stable est à la base du langage de programmation déclarative Answer Set Programming (ASP). (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Négation_par_l'échec
is oa:hasTarget of	Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Sémantique_des_modèles_stables

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 7 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software