Results 81 to 90 of about 1,765 (205)
Радіоелектронні і комп'ютерні системиThe Subject of this research is the development of an intelligent, integrated system for the early detection and causal analysis of fire hazards in large-scale solar power plants (SPPs).
Andrii Lysyi +6 more
doaj +1 more source
Comparing Disjunctive Well-founded Semantics
, 2007 While the stable model semantics, in the form of Answer Set Programming, has become a successful semantics for disjunctive logic programs, a corresponding satisfactory extension of the well-founded semantics to disjunctive programs remains to be found ...
Knorr, Matthias, Hitzler, Pascal
core
In defence of naïve realism [PDF]
, 2008 This thesis offers a defence of naive realism. As I understand it, naive realism involves a claim about the structure of perception, and about the nature of perceptual experience, that is, the sensory experience that one enjoys when perceiving something.
Conduct, Matthew
core
Perfect disjunctive normal forms in a class of algebras
Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2017 The methods of constructing normal forms in the class of algebras are considered. Formulas of algebra describe Boolean images.
openaire +3 more sources
An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure
, 1997 While it is well-known how normal logic programs may be viewed as a form of abduction and argumentation, the problem of how disjunctive programs may be used for abductive reasoning is rarely discussed.
Jia-Huai You, Randy Goebel, Li Yan Yuan
core
On the Practical Value of Different Definitional Translations to Normal Form
, 1996 . In this paper, we compare different normal form translations from a practical point of view. The usual translation of a closed firstorder formula to a disjunctive normal form has severe drawbacks, namely the disruption of the formula's structure ...
Uwe Egly, Thomas Rath
core +1 more source
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
, 2011 Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set and well-founded semantics for programs with monotone and antimonotone ...
Alviano, Mario +4 more
core
Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group [PDF]
, 2010 Huamao Gu, Xun Wang, Yun Ling, Ji Gao
openalex +1 more source
Dynamical methods for target control of biological networks. [PDF]
R Soc Open Sci, 2023 Parmer T, Radicchi F.
europepmc +1 more source
Disjunctive bases: normal forms and model theory for modal logics
, 2017 Sebastian Enqvist, Yde Venema
openalex +1 more source