Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Prime implicates"'
Autor:
Tourret, Sophie
Ce mémoire présente le résultat de mon travail de thèse sur la génération d'impliqués premiers en logique équationnelle fermée, i.e., la génération des conséquences les plus générales de formules logiques contenants des équations et de
Externí odkaz:
http://www.theses.fr/2016GREAM006/document
Autor:
Raut, M.K., Singh, A.
Publikováno v:
IndraStra Global.
In this paper we survey different methods of computation of prime implicants and implicates in prepositional, first order and modal logic and their applications in electrical engineering, truth maintenance systems and Diagnosis. � 2014 CRL Publishi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::8fa6e0e41dca43d0700d9cb5c2b3951e
http://hdl.handle.net/11717/15320
http://hdl.handle.net/11717/15320
Publikováno v:
Artificial Intelligence. 92(1-2):317-329
Schrag and Crawford (1996) present strong experimental evidence that the occurrence of prime implicates of varying lengths in random instances of 3-SAT exhibits behaviour similar to the well-known phase transition phenomenon associated with satisfiab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e14ee02f7a3cf7e19af183a53fbefc88
Autor:
Robert Schrag, James M. Crawford
Publikováno v:
Artificial Intelligence. 81:199-222
It has been observed previously that Random 3-SAT exhibits a phase transition at a critical ratio of constraints to variables, where the average frequency of satisfiability falls abruptly from near 1 to near 0. In this paper we look beyond satisfiabi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::322a70e117648de8602e1c0c637d33e1
https://doi.org/10.1016/0004-3702(95)00053-4
https://doi.org/10.1016/0004-3702(95)00053-4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence ; ISBN: 978-1-58603-891-5
18th European Conference on Artificial Intelligence (ECAI 2008)
18th European Conference on Artificial Intelligence (ECAI 2008), Jul 2008, Patras, Greece. pp.741-742
18th European Conference on Artificial Intelligence (ECAI 2008)
18th European Conference on Artificial Intelligence (ECAI 2008), Jul 2008, Patras, Greece. pp.741-742
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::31a59454ad5c6178d3381a4ea5d309ec
https://hal.science/hal-03526743
https://hal.science/hal-03526743
Publikováno v:
Discrete Applied Mathematics
Discrete Applied Mathematics, 2006, 154 (7), pp 1037-1156
Proceedings of SDM'03
Third SIAM Conference on Data Mining / Workshop DM&DM'03 (Discrete Math and Data Mining)
Third SIAM Conference on Data Mining / Workshop DM&DM'03 (Discrete Math and Data Mining), May 2003, San Francisco (CA), United States
Discrete Applied Mathematics, Elsevier, 2006, 154 (7), pp 1037-1156
Discrete Applied Mathematics, 2006, 154 (7), pp 1037-1156
Proceedings of SDM'03
Third SIAM Conference on Data Mining / Workshop DM&DM'03 (Discrete Math and Data Mining)
Third SIAM Conference on Data Mining / Workshop DM&DM'03 (Discrete Math and Data Mining), May 2003, San Francisco (CA), United States
Discrete Applied Mathematics, Elsevier, 2006, 154 (7), pp 1037-1156
see also the journal version; International audience; In the context of extracting concepts (which are maximal item sets) and association rules from a binary data base, the graph-theoretic notion of domination was recently used to characterize the ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d3e506541860f96c1b6c118b892217b
https://hal.science/hal-00521931
https://hal.science/hal-00521931
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.