Results 51 to 60 of about 4,404 (137)
Conflict-driven ASP Solving with External Sources
, 2012 Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external atoms, which allow for a bidirectional ...
Eiter, Thomas +3 more
core +2 more sources
A nonmonotonic observation logic
Artificial Intelligence, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Unveiling the Potential of Reduced Graphene Oxide in Self‐Powered Photodetectors
ChemPhysChem, Volume 27, Issue 7, 14 April 2026.Self‐powered photodetectors have emerged as advanced devices, gathering significant attention in the field of optoelectronics, particularly for their potential in power‐scarce environments. These devices can detect light and generate an electrical current with minimal or no external power supply.
Bitap Raj Thakuria +3 more
wiley +1 more source
Logical Omnipotence and Two notions of Implicit Belief [PDF]
, 2019 The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience.
Fraga Dantas, Danilo
core
A strengthening of rational closure in DLs: reasoning about multiple aspects
, 2016 We propose a logical analysis of the concept of typicality, central in human cognition (Rosch,1978). We start from a previously proposed extension of the basic Description Logic ALC (a computationally tractable fragment of First Order Logic, used to ...
Gliozzi, Valentina
core
A structured argumentation framework for detaching conditional obligations
, 2016 We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by ...
Beirlaen, Mathieu, Straßer, Christian
core
Inducing supplier backup via manufacturer information sharing under supply disruption risk. [PDF]
Comput Ind Eng, 2023 Li G, Li X, Liu M.
europepmc +1 more source
Modular Nonmonotonic Logic Programming Revisited [PDF]
, 2009 Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, we focus on modular nonmonotonic logic programs (MLP) under the answer set semantics, whose modules may have contextually dependent input provided by other modules. Moreover,
Minh Dao-Tran +3 more
openaire +1 more source
Design principles of improving the dose-response alignment in coupled GTPase switches. [PDF]
NPJ Syst Biol Appl, 2023 Qiao L, Ghosh P, Rangamani P.
europepmc +1 more source
Special Issue on Ontologies and Data Management: Part II. [PDF]
Kunstliche Intell (Oldenbourg), 2020 Schneider T, Šimkus M.
europepmc +1 more source