Results 61 to 70 of about 418,606 (284)
Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
Studia Universitatis Babes-Bolyai: Series Informatica, 2010 This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system.
Mihaiela Lupea
doaj
Representing Default Logic in Modal Logic [PDF]
, 2003 The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the
Brown, Frank
core
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
, 2014 To appear in Theory and Practice of Logic Programming (TPLP). Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based ...
Hoos, Holger +2 more
core +1 more source
Advanced Science, EarlyView.This study identifies a conserved CsdA‐LaeB hub in Aspergillus fumigatus that regulates secondary metabolite fumiquinazoline C (FqC). Disrupting this hub enhances FqC production and virulence, shedding new light on the post‐transcriptional regulatory logic linking secondary metabolism to pathogenicity and offering alternative strategies for diagnostic ...
Zili Song +14 more
wiley +1 more source
Exploring Logical Intuition in Base-Rate Problems Using the Instructional Manipulation Paradigm
Behavioral SciencesThe default–interventionist model of dual-process theories proposes that stereotype descriptions in base-rate problems are processed using Type 1 processing, while the evaluation of base rates depends on Type 2 processing.
Debiao Zhu +4 more
doaj +1 more source
Conceptual thinking in Hegel’s [PDF]
Argument, 2013 Analytical philosophy after Frege’s logicism and Russell’s logical atomism presupposes sortal domains of individual “entities” for which we already have defined their identities and elementary predicates. Such “things” exist only in ideal “possible world”
Pirmin STEKELER-WEITHOFER
doaj
Enablers and Inhibitors in Causal Justifications of Logic Programs
, 2016 To appear in Theory and Practice of Logic Programming (TPLP). In this paper we propose an extension of logic programming (LP) where each default literal derived from the well-founded model is associated to a justification represented as an algebraic ...
Cabalar, Pedro, Fandinno, Jorge
core +1 more source
Traceless Regulation of Genetic Circuitry
Advanced Science, EarlyView.Energy‐based, as opposed to molecular, control offers unprecedented improvements in key circuit parameters. This review summarizes the fundamentals of such traceless switches, categorizes them by trigger modalities, and compares and contrasts distinct advantages as well as shortcomings of each kind.
Gokberk Unal, Martin Fussenegger
wiley +1 more source
Angewandte Chemie, EarlyView.Nanoparticle‐based tolerogenic vaccines harness controlled antigen delivery and immunomodulation to establish tolerance in autoimmunity and allergy. This review outlines how nanoparticle design (size, shape, composition, administration route) influences biodistribution and immune‐cell targeting.
Benjamin E. Nachod +3 more
wiley +2 more sources
TCP BBR-n: Increased throughput for wireless-AC networks.
PLoS ONE, 2023 Google proposed a new TCP congestion control algorithm (CCA), Bottleneck Bandwidth and Round-trip propagation time (BBR) which has opened up new dimensions in congestion control.
Muhammad Ahsan, Sajid S Muhammad
doaj +1 more source