ProteinFunctionPrediction:ApplicationofaPropositionalRulesLearning SystemtoasetofHumanProteinSequences ManuelJ.Gómez(1),FranciscoJavierGuijarro(1),RamónP.Otero(2),LarsJ.Jensen(3), SørenBrunak(3),andAlfonsoValencia(1) (1)CentroNacionaldeBiotecnología,CSIC,Madrid,Spain. mjgommo,gijaro,valencia@cnb....
Caferra, R., Zabel, N.: An application of many-valued logic to decide propositional S5 formulae: A strategy designed for a parametric tableaux-based theorem prover. In: Artificial Intelligence IV: Methodology, Systems, Applications, pp. 23-32. Elsevier, Amsterdam, The Netherlands (1990)...
Bob Carpenter - The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution 被引量: 201发表: 1992年 Making computational sense of Montague's intensional logic Montague's difficult notation and complex model theory have tended to obscure pot...
In this paper, we survey several many-valued propositional logics in which the truth-functions (in the real unit interval [0,1]) of their connectives are definable only from the natural ordering of the scale, without using any richer algebraic structure. In particular we describe a complete ...
Using a characterization of stable models of logic programs P as sat- isfying valuations of a suitably chosen propositional theory, called the set of re- duced defining equationsrEq P , we show that the finitary character of that theory rEq P is equivalent to a certain continuity property of...
On an interpretation of second-order quantification in first-order intuitionistic propositional logic J. Symbolic Logic, 57 (1) (1992), pp. 33-52 CrossrefGoogle Scholar [23] A. Visser Uniform interpolation and layered bisimulation P. Hájek (Ed.), Gödel'96, Lecture Notes in Logic, vol. ...
Quantifying the related concepts of propositional logic is a new method of propositional logic research. It is differe.nt from the syntax and semantics method and is a powerful tool for studying the structure of propositional sets. By us...
We focus on its semantical theory from the viewpoint of Pavelka's graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of L-semantical consequence operation, its some basic properties are obtained. Finally, this ...
Here, a mathematical formulation of a real-world situation. “Valid”: In propositional logic, a formula that always evaluates to True . Here, a formulation that correctly represents a part of the real world of interest. De?nitions 3 Levels of Thinking, Informal De?nition First Level (= ...
However,propositional logic alone has a limited range of application to practice problems,and so here we examine the description of practice problems using predicatelogic by extending propositional logic to f i rst-order predicate logic, and considerthe effectiveness of this approach.Keywords: Problem-...