المؤلفون: Aguado, Felicidad, Cabalar, Pedro, Fandiño, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

مصطلحات موضوعية: Answer set programming, Equilibrium logic, Forgetting, Forks, Strong equivalence, Strong persistence

Relation: info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2020-116201GB-I00/ES/RAZONAMIENTO AUTOMATICO Y APRENDIZAJE CON INDUCCION DE CONOCIMIENTO/; https://doi.org/10.1016/j.artint.2023.104033; F. Aguado, P. Cabalar, J. Fandiño, D. Pearce, G. Pérez, and C. Vidal, "Syntactic ASP forgetting with forks", Artificial Intelligence, Vol. 326, 104033, Jan. 2024, doi:10.1016/j.artint.2023.104033; http://hdl.handle.net/2183/36290

الاتاحة: http://hdl.handle.net/2183/36290
https://doi.org/10.1016/j.artint.2023.104033

المؤلفون: Voisin, Guillaume, Luth, G, Cognard, I, Freire, P, Wex, N, Guillemot, L, Desvignes, G, Kramer, M, Theureau, G, Saillenfest, M

المساهمون: Laboratoire Univers et Théories (LUTH (UMR_8102)), Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire de Paris, Centre National de la Recherche Scientifique (CNRS)-Université Paris Sciences et Lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Sciences et Lettres (PSL)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

المصدر: 2022 Gravitation session of the 56th Rencontres de Moriond
https://hal.science/hal-03609770
2022 Gravitation session of the 56th Rencontres de Moriond, Jan 2022, La Thuile, Italy

مصطلحات موضوعية: PSR J0337+1715, Strong equivalence principle, Pulsar timing, [PHYS.GRQC]Physics [physics]/General Relativity and Quantum Cosmology [gr-qc], [PHYS.ASTR.HE]Physics [physics]/Astrophysics [astro-ph]/High Energy Astrophysical Phenomena [astro-ph.HE]

جغرافية الموضوع: La Thuile, Italy

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2205.09345; ARXIV: 2205.09345

الاتاحة: https://hal.science/hal-03609770
https://hal.science/hal-03609770v1/document
https://hal.science/hal-03609770v1/file/voisin.pdf

المؤلفون: Ha-Huy, Thai, Le Van, Cuong

المساهمون: Centre d'Etudes des Politiques Economiques (EPEE), Université d'Évry-Val-d'Essonne (UEVE), IPAG Business School, Van Xuan Center of Research in Economics, Management and Environment (VCREME), Paris School of Economics (PSE), Université Paris 1 Panthéon-Sorbonne (UP1)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-École des hautes études en sciences sociales (EHESS)-École nationale des ponts et chaussées (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)

المصدر: https://hal.science/hal-04130993 ; 2023.

مصطلحات موضوعية: beliefs strong equivalence, asset market equilibrium, individually rational attainable allocations, individually rational utility set, no-arbitrage prices, no-arbitrage condition, JEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C62 - Existence and Stability Conditions of Equilibrium, JEL: D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D50 - General, JEL: D - Microeconomics/D.D8 - Information, Knowledge, and Uncertainty/D.D8.D81 - Criteria for Decision-Making under Risk and Uncertainty, and Uncertainty/D.D8.D84 - Expectations • Speculations, JEL: G - Financial Economics/G.G1 - General Financial Markets, [QFIN]Quantitative Finance [q-fin]

الاتاحة: https://hal.science/hal-04130993
https://hal.science/hal-04130993v1/document
https://hal.science/hal-04130993v1/file/Ha-Huy%20and%20Le%20Van%202017.pdf
https://doi.org/10.1016/j.jmateco.2017.07.001

المؤلفون: Aguado, Felicidad, Cabalar, Pedro, Fandiño, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

مصطلحات موضوعية: Answer set programming, Non-monotonic reasoning, Equilibrium logic, Denotational semantics, Forgetting, Strong equivalence

Relation: info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2020-116201GB-I00/ES/RAZONAMIENTO AUTOMATICO Y APRENDIZAJE CON INDUCCION DE CONOCIMIENTO/; https://doi.org/10.1016/j.artint.2022.103712; AGUADO, Felicidad, CABALAR, Pedro, FANDINNO, Jorge, PEARCE, David, PÉREZ, Gilberto and VIDAL, Concepción, 2022. A polynomial reduction of forks into logic programs. Artificial Intelligence. 2022. Vol. 308, p. 103712. DOI https://doi.org/10.1016/j.artint.2022.103712; http://hdl.handle.net/2183/31038

الاتاحة: http://hdl.handle.net/2183/31038
https://doi.org/10.1016/j.artint.2022.103712

المؤلفون: Bomanson, Jori, Janhunen, Tomi, Niemelä, Ilkka

المساهمون: Helsinki Institute for Information Technology (HIIT), Centre of Excellence in Computational Inference, COIN, Department of Computer Science, Aalto-yliopisto, Aalto University

مصطلحات موضوعية: stable models, strong equivalence, hidden atoms, auxiliary atoms, program transformations, normalizations

وصف الملف: application/pdf

Relation: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC; Volume 21, issue 4; Bomanson , J , Janhunen , T & Niemelä , I 2020 , ' Applying Visible Strong Equivalence in Answer-Set Program Transformations ' , ACM Transactions on Computational Logic , vol. 21 , no. 4 , 33 . https://doi.org/10.1145/3412854; PURE UUID: ac4eea89-064a-4557-b51b-4e3a225b7d6f; PURE ITEMURL: https://research.aalto.fi/en/publications/ac4eea89-064a-4557-b51b-4e3a225b7d6f; PURE FILEURL: https://research.aalto.fi/files/53425451/Bomanson_Applying.3412854.pdf; https://aaltodoc.aalto.fi/handle/123456789/61774; URN:NBN:fi:aalto-2020113020619

الاتاحة: https://aaltodoc.aalto.fi/handle/123456789/61774
https://doi.org/10.1145/3412854

المؤلفون: Aguado, Felicidad, Cabalar, Pedro, Fandiño, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

مصطلحات موضوعية: Answer Set Programming, Non-Monotonic Reasoning, Equilibrium Logic, Denotational Semantics, Forgetting, Strong Equivalence

Relation: info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/TIN2017-84453-P/ES/RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS; https://doi.org/10.1016/j.artint.2019.07.005; http://hdl.handle.net/2183/34642

الاتاحة: http://hdl.handle.net/2183/34642
https://doi.org/10.1016/j.artint.2019.07.005

المؤلفون: Aguado, Felicidad, Calabar, Pedro, Fandinno, Jorge, Pearce, David, Perez, Gilberto, Vidal, Concepcion

المساهمون: Universidade da Coruña, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Universidad Politécnica de Madrid (UPM), Xunta de Galicia, Spain (projects GPCED431B 2016/035 and 2016-2019 ED431G/01 for CITIC center), Bart Bogaerts, Amelia Harrison, KU Leuven, Belgium, University of Texas at Austin, U.S.A., ANR-11-IDEX-0002,UNITI,Université Fédérale de Toulouse(2011), European Project: ERDF

المصدر: Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) ; Tenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2017 @ 14th LPNMR) ; https://hal.science/hal-03131894 ; Tenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2017 @ 14th LPNMR), Bart Bogaerts; Amelia Harrison, Jul 2017, Espoo, Finland ; http://ceur-ws.org/Vol-1868/

مصطلحات موضوعية: Non-monotonic reasoning, Answer set programming, Equilibrium logic, Denotational semantics, Forgetting, Strong equivalence, [INFO]Computer Science [cs]

جغرافية الموضوع: Espoo, Finland

Relation: hal-03131894; https://hal.science/hal-03131894; https://hal.science/hal-03131894/document; https://hal.science/hal-03131894/file/Forgetting%20Auxiliary%20Atoms%20in%20Forks.pdf

الاتاحة: https://hal.science/hal-03131894
https://hal.science/hal-03131894/document
https://hal.science/hal-03131894/file/Forgetting%20Auxiliary%20Atoms%20in%20Forks.pdf

المؤلفون: Bochman, Alexander, Lifschitz, Vladimir

المساهمون: Alexander Bochman and Vladimir Lifschitz

مصطلحات موضوعية: Strong equivalence, logic program

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.11

الاتاحة: https://doi.org/10.4230/LIPIcs.ICLP.2011.11
https://nbn-resolving.org/urn:nbn:de:0030-drops-31674
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.11

المؤلفون: Eolo DI CASOLA, Stefano LIBERATI, SONEGO, Sebastiano

المساهمون: Eolo DI, Casola, Stefano, Liberati, Sonego, Sebastiano

مصطلحات موضوعية: equivalence principle, weak equivalence principle, Einstein’s equivalence principle, strong equivalence principle

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000346763700005; volume:83; issue:1; firstpage:39; lastpage:46; numberofpages:8; journal:AMERICAN JOURNAL OF PHYSICS; http://hdl.handle.net/11390/1031946; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84920104864; http://scitation.aip.org/content/aapt/journal/ajp/83/1/10.1119/1.4895342

الاتاحة: http://hdl.handle.net/11390/1031946
https://doi.org/10.1119/1.4895342
http://scitation.aip.org/content/aapt/journal/ajp/83/1/10.1119/1.4895342

المؤلفون: Gomez, Alfonso Leon Guillen

المصدر: JOURNAL OF ADVANCES IN PHYSICS; Vol. 11 No. 3; 3099-3110 ; 2347-3487

مصطلحات موضوعية: General Relativity, general principle of relativity, strong equivalence principle, Mach´s principle, Einstein-Grossmann equations, general covariance, Newton equations

وصف الملف: application/pdf

Relation: https://rajpub.com/index.php/jap/article/view/464/pdf_243; https://rajpub.com/index.php/jap/article/view/464

الاتاحة: https://rajpub.com/index.php/jap/article/view/464
https://doi.org/10.24297/jap.v11i3.464

المؤلفون: Kalliongis, John, Miller, Andy

المصدر: Transactions of the American Mathematical Society, 1988 Aug 01. 308(2), 721-745.

URL الوصول: https://www.jstor.org/stable/2001100

المؤلفون: Akiyama, Kazunori, Alberdi, Antxon, Alef, Walter, Algaba, Juan Carlos, Anantua, Richard, Asada, Keiichi, Azulay, Rebecca, Bach, Uwe, Baczko, Anne-Kathrin, Ball, David, Balokovic, Mislav, Barrett, John, Baubock, Michi, Benson, Bradford A., Bintley, Dan, Blackburn, Lindy, Blundell, Raymond, Bouman, Katherine L., Bower, Geoffrey C., Boyce, Hope, Bremer, Michael, Brinkerink, Christiaan D., Brissenden, Roger, Britzen, Silke, Broderick, Avery E., Broguiere, Dominique, Bronzwaer, Thomas, Bustamante, Sandra, Byun, Do-Young, Carlstrom, John E., Ceccobello, Chiara, Chael, Andrew, Chan, Chi-kwan, Chatterjee, Koushik, Chatterjee, Shami, Chen, Ming-Tang, Chen, Yongjun, Cheng, Xiaopeng, Cho, Ilje, Christian, Pierre, Conroy, Nicholas S., Conway, John E., Cordes, James M., Crawford, Thomas M., Crew, Geoffrey B., Cruz-Osorio, Alejandro, Cui, Yuzhu, Davelaar, Jordy, De Laurentis, Mariafelicia, Deane, Roger, Dempsey, Jessica, Desvignes, Gregory, Dexter, Jason, Dhruv, Vedant, Doeleman, Sheperd S., Dougal, Sean, Dzib, Sergio A., Eatough, Ralph P., Emami, Razieh, Falcke, Heino, Farah, Joseph, Fish, Vincent L., Fomalont, Ed, Ford, H. Alyson, Fraga-Encinas, Raquel, Freeman, William T., Friberg, Per, Fromm, Christian M., Fuentes, Antonio, Galison, Peter, Gammie, Charles F., Garcia, Roberto, Gentaz, Olivier, Georgiev, Boris, Goddi, Ciriaco, Gold, Roman, Gomez-Ruiz, Arturo, I, Gomez, Jose L., Gu, Minfeng, Gurwell, Mark, Hada, Kazuhiro, Haggard, Daryl, Haworth, Kari, Hecht, Michael H., Hesper, Ronald, Heumann, Dirk, Ho, Luis C., Ho, Paul, Honma, Mareki, Huang, Chih-Wei L., Huang, Lei, Hughes, David H., Ikeda, Shiro, Impellizzeri, C. M. Violette, Inoue, Makoto, Issaoun, Sara, James, David J., Jannuzi, Buell T., Janssen, Michael, Jeter, Britton, Jiang, Wu, Jimenez-Rosales, Alejandra, Johnson, Michael D., Jorstad, Svetlana, Joshi, Abhishek, V, Jung, Taehyun, Karami, Mansour, Karuppusamy, Ramesh, Kawashima, Tomohisa, Keating, Garrett K., Kettenis, Mark, Kim, Dong-Jin, Kim, Jae-Young, Kim, Jongsoo, Kim, Junhan, Kino, Motoki, Koay, Jun Yi, Kocherlakota, Prashant, Kofuji, Yutaro, Koch, Patrick M., Koyama, Shoko, Kramer, Carsten, Kramer, Michael, Krichbaum, Thomas P., Kuo, Cheng-Yu, La Bella, Noemi, Lauer, Tod R., Lee, Daeyoung, Lee, Sang-Sung, Leung, Po Kin, Levis, Aviad, Li, Zhiyuan, Lico, Rocco, Lindahl, Greg, Lindqvist, Michael, Lisakov, Mikhail, Liu, Jun, Liu, Kuo, Liuzzo, Elisabetta, Lo, Wen-Ping, Lobanov, Andrei P., Loinard, Laurent, Lonsdale, Colin J., Lu, Ru-Sen, Mao, Jirong, Marchili, Nicola, Markoff, Sera, Marrone, Daniel P., Marscher, Alan P., Marti-Vidal, Ivan, Matsushita, Satoki, Matthews, Lynn D., Medeiros, Lia, Menten, Karl M., Michalik, Daniel, Mizuno, Izumi, Mizuno, Yosuke, Moran, James M., Moriyama, Kotaro, Moscibrodzka, Monika, Muller, Cornelia, Mus, Alejandro, Musoke, Gibwa, Myserlis, Ioannis, Nadolski, Andrew, Nagai, Hiroshi, Nagar, Neil M., Nakamura, Masanori, Narayan, Ramesh, Narayanan, Gopal, Natarajan, Iniyan, Nathanail, Antonios, Fuentes, Santiago Navarro, Neilsen, Joey, Neri, Roberto, Ni, Chunchong, Noutsos, Aristeidis, Nowak, Michael A., Oh, Junghwan, Okino, Hiroki, Olivares, Hector, Ortiz-Leon, Gisela N., Oyama, Tomoaki, Ozel, Feryal, Palumbo, Daniel C. M., Paraschos, Georgios Filippos, Park, Jongho, Parsons, Harriet, Patel, Nimesh, Pen, Ue-Li, Pesce, Dominic W., Pietu, Vincent, Plambeck, Richard, PopStefanija, Aleksandar, Porth, Oliver, Potzl, Felix M., Prather, Ben, Preciado-Lopez, Jorge A., Psaltis, Dimitrios, Pu, Hung-Yi, Ramakrishnan, Venkatessh, Rao, Ramprasad, Rawlings, Mark G., Raymond, Alexander W., Rezzolla, Luciano, Ricarte, Angelo, Ripperda, Bart, Roelofs, Freek, Rogers, Alan, Ros, Eduardo, Romero-Canizales, Cristina, Roshanineshat, Arash, Rottmann, Helge, Roy, Alan L., Ruiz, Ignacio, Ruszczyk, Chet, Rygl, Kazi L. J., Sanchez, Salvador, Sanchez-Arguelles, David, Sanchez-Portal, Miguel, Sasada, Mahito, Satapathy, Kaushik, Savolainen, Tuomas, Schloerb, F. Peter, Schonfeld, Jonathan, Schuster, Karl-Friedrich, Shao, Lijing, Shen, Zhiqiang, Small, Des, Sohn, Bong Won, SooHoo, Jason, Souccar, Kamal, Sun, He, Tazaki, Fumie, Tetarenko, Alexandra J., Tiede, Paul, Tilanus, Remo P. J., Titus, Michael, Torne, Pablo, Traianou, Efthalia, Trent, Tyler, Trippe, Sascha, Turk, Matthew, van Bemmel, Ilse, van Langevelde, Huib Jan, van Rossum, Daniel R., Vos, Jesse, Wagner, Jan, Ward-Thompson, Derek, Wardle, John, Weintroub, Jonathan, Wex, Norbert, Wharton, Robert, Wielgus, Maciek, Wiik, Kaj, Witzel, Gunther, Wondrak, Michael F., Wong, George N., Wu, Qingwen, Yamaguchi, Paul, Yoon, Doosoo, Young, Andre, Young, Ken, Younsi, Ziri, Yuan, Feng, Yuan, Ye-Fei, Zensus, J. Anton, Zhang, Shuo, Zhao, Guang-Yao, Zhao, Shan-Shan

مصطلحات موضوعية: Astronomy & Astrophysics, ADVECTION-DOMINATED ACCRETION, NEAR-INFRARED FLARES, RELATIVISTIC RADIATIVE POSTPROCESSOR, STRONG EQUIVALENCE PRINCIPLE, MONITORING STELLAR ORBITS, SYNTHETIC DATA GENERATION, STAR-FORMING REGIONS, NO-HAIR THEOREM, X-RAY FLARE, GALACTIC-CENTER

Relation: ASTROPHYSICAL JOURNAL LETTERS; http://ir.ynao.ac.cn/handle/114a53/25264

الاتاحة: http://ir.ynao.ac.cn/handle/114a53/25264
https://doi.org/10.3847/2041-8213/ac6756

المؤلفون: Miroslaw Truszczyński, Stefan Woltran

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://arxiv.org/pdf/0907.4128v1.pdf.

مصطلحات موضوعية: answer-set programming, strong equivalence, uniform equivalence, relativized equivalence

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.6508; http://arxiv.org/pdf/0907.4128v1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.6508
http://arxiv.org/pdf/0907.4128v1.pdf

المؤلفون: Stefan Woltran

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.kr.tuwien.ac.at/research/projects/eq/tplp08.pdf.

مصطلحات موضوعية: Answer-set programming, Strong equivalence, Relativized equivalence

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.836; http://www.kr.tuwien.ac.at/research/projects/eq/tplp08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.836
http://www.kr.tuwien.ac.at/research/projects/eq/tplp08.pdf

المؤلفون: Alberto Roverato, Milan Studeny, David Madigan

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.jmlr.org/papers/volume7/roverato06a/roverato06a.pdf.

مصطلحات موضوعية: chain graph, AMP Markov equivalence, strong equivalence, largest deflagged graph, component merging procedure

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7546; http://www.jmlr.org/papers/volume7/roverato06a/roverato06a.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.7546
http://www.jmlr.org/papers/volume7/roverato06a/roverato06a.pdf

المؤلفون: Pedro Cabalar, Paolo Ferraris

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://arxiv.org/pdf/cs/0701095v1.pdf.

مصطلحات موضوعية: answer sets, equilibrium logic, logic of here-and-there, strong equivalence

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.9661; http://arxiv.org/pdf/cs/0701095v1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.9661
http://arxiv.org/pdf/cs/0701095v1.pdf

المؤلفون: T. Fiedler, V. Kurlin

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://arxiv.org/pdf/math/0606381v1.pdf.

مصطلحات موضوعية: Key words and phrases. Knot, braid, conjugacy problem, strong equivalence, quadrisecant, trace graph, diagram surface, canonical loop, trihedral move, tetrahedral move, degree 1 invariant

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.236.1220; http://arxiv.org/pdf/math/0606381v1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.236.1220
http://arxiv.org/pdf/math/0606381v1.pdf

المؤلفون: Thomas Eiter, Michael Fink, Stefan Woltran

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.kr.tuwien.ac.at/research/reports/rr0501.pdf.

مصطلحات موضوعية: answer set semantics, stable models, computational complexity, program optimization, uniform equivalence, strong equivalence

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4485; http://www.kr.tuwien.ac.at/research/reports/rr0501.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4485
http://www.kr.tuwien.ac.at/research/reports/rr0501.pdf

المؤلفون: Alberto Roverato, David Madigan

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ftp.utia.cas.cz/pub/staff/studeny/rov-stu06.pdf.

مصطلحات موضوعية: chain graph, AMP Markov equivalence, strong equivalence, largest deflagged graph

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.9336; http://ftp.utia.cas.cz/pub/staff/studeny/rov-stu06.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.9336
http://ftp.utia.cas.cz/pub/staff/studeny/rov-stu06.pdf

المؤلفون: Thomas Eiter, Michael Fink, Technische Universität Wien

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.kr.tuwien.ac.at/staff/eiter/et-archive/iclp03a.pdf.

مصطلحات موضوعية: uniform equivalence, strong equivalence, stable models, answer set semantics, computational complexity

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.2174; http://www.kr.tuwien.ac.at/staff/eiter/et-archive/iclp03a.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.2174
http://www.kr.tuwien.ac.at/staff/eiter/et-archive/iclp03a.pdf