Results 41 to 50 of about 1,092 (104)
Open biomedical pluralism: formalising knowledge about breast cancer phenotypes. [PDF]
J Biomed Semantics, 2012 Sojic A, Kutz O.
europepmc +1 more source
Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies. [PDF]
BMC Bioinformatics, 2007 Hoehndorf R, Loebe F, Kelso J, Herre H.
europepmc +1 more source
Towards efficient default reasoning [PDF]
A decision method for Reiter's default logic is developed. It can determine whether a default theory has an extension, whether a formula is in some extension of a default theory and whether a formula is in every extension of a default theory.
Ilkka Niemelä
core
Epistemic Foundation of Stable Model Semantics
, 2005 Stable model semantics has become a very popular approach for the management of negation in logic programming. This approach relies mainly on the closed world assumption to complete the available knowledge and its formulation has its basis in the so ...
Loyer, Y., Straccia, U.
core +2 more sources
Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees [PDF]
, 2011 Blondeel, Marjon +3 more
core +2 more sources
Fixpoint 3-valued semantics for autoepistemic logic
, 1999 Marc Denecker +2 more
openalex +2 more sources
Translating default logic into standard autoepistemic logic [PDF]
, 1995 Georg Gottlob
openalex +1 more source
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
, 2012 Marjon Blondeel +3 more
openalex +2 more sources
Autoepistemic equilibrium logic and epistemic specifications
, 2020 Ezgi Iraz Su +2 more
openalex +2 more sources
On the relationship between autoepistemic logic and parallel circumscription [PDF]
, 1986 Michael Gelfond, Halina Przymusinska
openalex +1 more source