Results 91 to 100 of about 1,765 (205)

A Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and Transformation to Disjunctive Normal Forms

, 2004
Sumitaka Akiba, Taisuke Sato
openalex   +2 more sources

Minimization metods of normal forms of P2 systems functions [PDF]

, 2006
Fen Bilimleri Enstitüsü, Matematik Ana Bilim DalıP2 SİSTEMİ FONKSİYONLARININ NORMAL FORMLARININMİNİMALLEŞTİRME YÖNTEMLERİÖZETP2 sistemi fonksiyonları mükemmel dizyunktif normal form ve mükemmelkonyunktif normal form gibi standart şekillerde ...
Şengül, Ebru
core  

Computing only minimal answers in disjunctive deductive databases

, 2003
. A method is presented for computing minimal answers of the form A in disjunctive deductive databases under the disjunctive stable model semantics. Such answers are constructed by repeatedly extending partial answers.
C A Johnson
core  

The shortest disjunctive normal forms of Boolean functions by reducing the number of arguments

, 2002
Denoting the length of a shortest disjunctive normal form of a Boolean function / by l(f), this thesis provides a way to express l(f) in terms of l(g) for some Boolean function g with no more arguments than f and with the same number of zeros as f ...
Yung, Ho Sen
core  

On the minimization k-valued logic functions in the class of disjunctive normal forms [PDF]

Anvar Kabulov, Abdussattar Baizhumanov, Mansur Berdimurodov   +2 more
openalex   +1 more source

Abstract Feature Logic with Disjunctive Unification

, 2008
We introduce feature terms containing sorts, variables, negation and named disjunction for the specification of feature structures. We show that the possibility to label disjunctions with names has major advantages both for the use of feature logic in ...

core  

What is the expressive power of disjunctive preconditions?

, 1999
While there seems to be a general consensus about the expressive power of a number of language features in planning formalisms, once can find many different statements about the expressive power of disjunctive preconditions.
Nebel, B., Freiburg Univ. (Germany). Inst. fuer Informatik   +1 more
core  

Teamwork Cognitive Diagnostic Modeling. [PDF]

Psychometrika
Zhan P, Wang Z, Chu G, Qiao H.
europepmc   +1 more source

Covariate Adjustment in Basket Trials Borrowing Information Across Subgroups. [PDF]

Stat Med
Ren J, Robertson DS, Zheng H.
europepmc   +1 more source

Neural Disjunctive Normal Form: Vertically Integrating Logic With Deep Learning For Classification

, 2021
Jialin Lu, Martin Ester
openalex   +1 more source