Results 11 to 20 of about 421,883 (287)
Translating default logic into standard autoepistemic logic
Journal of the ACM, 1995 Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore's original autoepistemic logic that embody default logic have been studied. All these logics differ significantly from Moore's autoepistemic logic (standard AEL) in that expansions are subject to additional groundedness-
Georg Gottlob
openaire +4 more sources
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cholewiński, Pawel̵ +3 more
openaire +4 more sources
Micro-simulation insights into the safety and operational benefits of autonomous vehicles
Journal of Intelligent and Connected Vehicles, 2023 Several past studies showed that Autonomous Vehicles (AVs) can reduce crash risk, stop-and-go traffic, and travel time. To analyze the safety benefits of AVs, most of the researchers proposed algorithms and simulation-based techniques.
Nalin Kumar Sekar +2 more
doaj +1 more source
A Unified Algebraic Framework for Non-Monotonicity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called for ...
Nourhan Ehab, Haythem O. Ismail
doaj +1 more source
Dual logic and cerebral coordinates for reciprocal interaction in eye contact. [PDF]
PLoS ONE, 2015 In order to scientifically study the human brain's response to face-to-face social interaction, the scientific method itself needs to be reconsidered so that both quantitative observation and symbolic reasoning can be adapted to the situation where the ...
Ray F Lee
doaj +1 more source
Applied Sciences, 2022 Currently, artificial intelligence and intelligent algorithms for the control of dynamic systems are the main focus for building Industry 4.0 services and developing novel, innovative industrial solutions.
Miroslav Milovanović +4 more
doaj +1 more source
Normal default rules as epistemic actions
Acta Universitatis Carolinae Philosophica et Historica, 2016 The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action ...
Michal Dančák, Michal Peliš
doaj +1 more source
The Complexity of Reasoning for Fragments of Default Logic [PDF]
, 2009 Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as $\SigmaPtwo$-complete, and the complexity of the credulous and skeptical reasoning problem as
A.L. Selman +15 more
core +4 more sources
Uncontroversial Default Logic [PDF]
Journal of Logic and Computation, 2004 Summary: Many variants of default logics exist. Two of the main differences among them arise from the choice between local and global consistency, and the choice of whether or not to accept maximally successful sets of defaults. In this paper, we characterize theories that do not depend at all on what makes the semantics different, that is, theories ...
openaire +2 more sources
Does air pollution matter in a supplier's trade credit strategy? Evidence from an emerging market
Borsa Istanbul Review, 2021 This study analyzes the impact of air pollution on the city in which customers are located on the trade credit strategy of their suppliers. Following the framework of environmental stress theory, we hypothesize that suppliers change their trade credit ...
Jianhua Tan +3 more
doaj +1 more source