نتایج جستجو برای: checking φ

تعداد نتایج: 54733  

Journal: :Proceedings of the Royal Society B: Biological Sciences 2005

Journal: :Qualitative Health Research 2016

Journal: :Journal of Copyright in Education & Librarianship 2019

Journal: :Clinical Pediatrics 2015

2017
Labinot Bajraktari Magdalena Ortiz Mantas Simkus

Answer Set Programming (ASP) and ontology languages like Description Logics (DLs) play leading roles in Knowledge Representation and Reasoning (KR&R). ASP and DLs have largely orthogonal features because they make very different assumptions regarding the completeness of information, and thus reasoning techniques and algorithms that are deployed in ASP are significantly different from the ones u...

Journal: :Information and Computation 2001

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید