Results 71 to 80 of about 405,638 (322)
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
Logical considerations on default semantics [PDF]
Annals of Mathematics and Artificial Intelligence, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rounds, William C., Zhang, Guo‐qiang
openaire +4 more sources
Advanced Electronic Materials, EarlyView.The optimization of silicon enrichment via 28Si focused ion beam, demonstrating the variations in enrichment level with respect to ion beam energy, ionization state, and ion beam density. This has led to adjustments in Monte Carlo simulations (TRYDIN) to account for the difference in observed surface accumulation and recession, with a balance being ...
Maddison Coke +6 more
wiley +1 more source
Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic
Princípios, 2011 This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj
Fuzzy Logic Control of Adaptive ARQ for Video Distribution over a Bluetooth Wireless Link
Advances in Multimedia, 2007 Bluetooth's default automatic repeat request (ARQ) scheme is not suited to video distribution resulting in missed display and decoded deadlines. Adaptive ARQ with active discard of expired packets from the send buffer is an alternative approach. However,
R. Razavi, M. Fleury, M. Ghanbari
doaj +1 more source
Named Models in Coalgebraic Hybrid Logic [PDF]
, 2010 Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given ...
Dirk Pattinson +3 more
core +4 more sources
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
Impact of Trap Depth on the Steady‐State and Transient Photoluminescence in Halide Perovskite Films
Advanced Energy Materials, EarlyView.The presence of shallow traps in halide perovskites is frequently postulated by density functional theory calculations. This review studies the implications of recombination‐active shallow traps on steady‐state and transient recombination kinetics. How to identify shallow traps and how the depth of the traps and their density are reflected in different
Jürgen Hüpkes +2 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari +6 more
wiley +1 more source
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