Results 51 to 60 of about 697,506 (186)
Executable Temporal Logic for Nonmonotonic Reasoning [PDF]
, 1996 this paper we view nonmonotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning ...
Joeri Engelfriet +4 more
core +1 more source
Слово.ру: балтийский акцентWe advocate an idea that a necessary condition for a dispute about truth amounts not to the carriers of non-ideal logical thought, but to a variety of approaches to reconstructing the logical form of conditional reasoning, which implies diversification ...
Elena N. Lisanyuk
doaj +1 more source
Decision Sciences, EarlyView.Abstract Using detailed timestamp data for patient visits and laboratory test orders from the emergency department (ED) of a large, urban, teaching hospital in the United States, we examine the operational effectiveness of the full capacity protocol (FCP), a set of temporary hospital‐wide guidelines that seek to alleviate crowding at the ED.
Lu Wang, Mazhar Arikan, Suman Mallik
wiley +1 more source
Well-Founded Semantics for Extended Datalog and Ontological Reasoning [PDF]
, 2013 The Datalog± family of expressive extensions of Datalog has recently been introduced as a new paradigm for query answering over ontologies, which captures and extends several common description logics.
Lukasiewicz, Thomas +7 more
core +4 more sources
Price and Non‐price Terms of Syndicated Loans to Technology Firms
Financial Management, EarlyView.ABSTRACT This paper examines whether US technology firms receive different price and nonprice terms in the syndicated loan market compared to nontechnology firms. The analysis reveals that technology borrowers face significantly less favorable terms, including 12 basis points higher loan spreads, approximately 5%$\%$ shorter maturities, and loan sizes ...
Weiting Hu +2 more
wiley +1 more source
Nonmonotonic Logics and Their Algebraic Foundations [PDF]
, 2006 The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics.
openaire +1 more source
Ordering default theories and nonmonotonic logic programs [PDF]
, 2005 First-order theories are ordered under logical entailment based on the amount of information derived from theories. In default logic, on the other hand, a theory contains default information as well as definite information.
Sakama, Chiaki
core +1 more source
How Does Progressivity Affect the Tax Cut Multiplier?
International Economic Review, EarlyView.ABSTRACT How does the targeting of personal income tax cuts affect the output multiplier? This paper provides quantitative evidence using a heterogeneous‐agent New‐Keynesian model calibrated to match US distributions of income, wealth, marginal tax rates, and marginal propensities to consume.
Christian Gillitzer
wiley +1 more source
International Economic Review, EarlyView.ABSTRACTLarger firms feature (i) longer hours worked, (ii) higher wages, and (iii) smaller (larger) wage penalties for working long (short) hours. We reconcile these patterns in a general equilibrium model, which features the endogenous interaction of hours, wages, and firm size. In the model, workers willing to work longer hours sort into larger firms
Lin Shao +2 more
wiley +1 more source
Two-Valued Logic Programs [PDF]
, 2012 We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning—default logic, logic programming with strong negation, and nonmonotonic causal logic—and study its possibilities as a language for describing ...
Lifschitz, Vladimir
core +1 more source