Results 1 to 10 of about 2,396,703 (177)
Programming in logic without logic programming [PDF]
, 2015 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core +3 more sources
Complementary Symmetry Nanowire Logic Circuits: Experimental Demonstrations and in Silico Optimizations [PDF]
, 2008 Complementary symmetry (CS) Boolean logic utilizes both p- and n-type field-effect transistors (FETs) so that an input logic voltage signal will turn one or more p- or n-type FETs on, while turning an equal number of n- or p-type FETs off.
Heath, James R. +3 more
core +1 more source
Local logics, non-monotonicity and defeasible argumentation [PDF]
, 2004 In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M.
Bodanza, Gustavo Adrian +1 more
core +1 more source
Transition Semantics - The Dynamics of Dependence Logic [PDF]
, 2013 We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and ...
Galliani, Pietro
core +1 more source
On the Concept of a Notational Variant [PDF]
, 2017 In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic.
C Caleiro +14 more
core +1 more source
The use of manuka honey to promote wound healing [PDF]
, 2013 When wounds are not healing, or the healing is slow, this is usually because the wound is inflamed. Inflammation in a wound is also responsible for unsightly scars after a wound has eventually healed.
Molan, Peter C.
core +1 more source
On noncommutative extensions of linear logic
, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Slavnov, Sergey
core +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
Complexity of validity for propositional dependence logics
, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core +2 more sources
Boolean Dependence Logic and Partially-Ordered Connectives [PDF]
, 2014 We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable.
Ebbing, Johannes +3 more
core