Results 271 to 280 of about 653,229 (328)
SyBValS: a validation and error resolution service for biological pathway maps. [PDF]
BMC GenomicsOzgul YZ, Dogrusoz U, Balci H.
europepmc +1 more source
The bio-intelligence circuit: a hypothesis-generating systems framework linking mitochondrial stress, innate immune signaling, and autonomic regulation in chronic inflammation. [PDF]
Front ImmunolSubramaniyan P, Parthiban V.
europepmc +1 more source
Digital OTAs: Conventional Designs Versus Emerging Concept
Akbari M, Covi E, Gibertini P.
europepmc +1 more source
A Matrix Representation for Resolution in Propositional Logic
, 2008 Yuuichi Kawaguchi
openalex +1 more source
Fuzzy Logic and the Resolution Principle [PDF]
Journal of the ACM, 1972 ABSTRACT The relationship between fuzzy logic and two-valued logic in the context of the first order predicate calculus is discussed. It is proved that if every clause in a set of clauses is something more than a “half-truth” and the most reliable clause has truth-value a and the most unreliable clause has truth-value b , then we are guaranteed ...
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Ordered Resolution for Coalition Logic
2015In this paper we introduce a calculus based on ordered resolution for Coalition Logic (CL), improving our previous approach based on unrefined resolution, and discuss the problems associated with imposing an ordering refinement in the context of CL. The calculus operates on ‘coalition problems’, a normal form for CL where we use coalition vectors that ...
Ullrich Hustadt +4 more
openaire +1 more source
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94), 2002
We study classes of logical calculi which have the same inconsistent sets of formulas. We investigate the algebraic structure of these classes as well as general properties of logical calculi in these classes in the context of the search for efficient resolution based automated reasoning methods. >
openaire +1 more source
We study classes of logical calculi which have the same inconsistent sets of formulas. We investigate the algebraic structure of these classes as well as general properties of logical calculi in these classes in the context of the search for efficient resolution based automated reasoning methods. >
openaire +1 more source
Studia Logica, 1993
In two papers of the author [Inf. Comput. 96, No. 2, 225-244 (1992; Zbl 0755.03006), J. Exp. Theor. Artif. Intell. 3, 17-32 (1991; Zbl 0723.03004)] the term `resolution logic' is introduced to denote a logical system for which a refutationally complete resolution proof system can be comstructed or, putting it differently, to denote a logical calculus ...
openaire +2 more sources
In two papers of the author [Inf. Comput. 96, No. 2, 225-244 (1992; Zbl 0755.03006), J. Exp. Theor. Artif. Intell. 3, 17-32 (1991; Zbl 0723.03004)] the term `resolution logic' is introduced to denote a logical system for which a refutationally complete resolution proof system can be comstructed or, putting it differently, to denote a logical calculus ...
openaire +2 more sources
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning, 2010In the paper the labeled resolution calculus for hybrid logics is presented. The authors show that the general framework of saturation-based reasoning for first-order logic with equality can be adapted to calculi for other logics. They show then that the calculus presented is complete for any admissible order and selection function. It gives a decision
Carlos Areces, Daniel Gorín
openaire +1 more source
Extending resolution to resolution logics
Journal of Experimental & Theoretical Artificial Intelligence, 1991Abstract In previous papers (O'Hearn & Stachniak 1989b, Stachniak & O'Hearn 1990, Stachniak 1989,1990a) we proposed an algebraic methodological framework for the introduction and analysis of resolution proof systems for finitely-valued logical calculi. In the present paper we extend this approach to a wider class of the so-called resolution logics.
openaire +1 more source