Results 151 to 160 of about 58,088 (162)

Operational semantics of resolution and productivity in Horn clause logic

Formal Aspects of Computing, 2017
Peng Fu, Ekaterina Komendantskaya, Komendantskaya Ekaterina   +2 more
exaly  

A resolution calculus for the branching-time temporal logic CTL

ACM Transactions on Computational Logic, 2014
Ullrich Hustadt, Clare Dixon
exaly  

( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic

Information Sciences, 2017
Li Zou
exaly  

Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs

Electronic Notes in Theoretical Computer Science, 2009
Ekaterina Komendantskaya, Anthony Karel Seda   +1 more
exaly  

Clausal logic and resolution

2009
openaire   +2 more sources

(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic

2015
Li Zou
exaly  

α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra

International Journal of Applied Management Science, 2012
exaly  

Fuzzy temporal constraint logic: a valid resolution principle

Fuzzy Sets and Systems, 2001
exaly  

α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system

2017
exaly  

HyLoRes: Direct Resolution for Hybrid Logics

Lecture Notes in Computer Science, 2001
Areces, C.E., Heguiabehere, J.M.
openaire   +3 more sources