Results 21 to 30 of about 772 (194)
Relevance-driven evaluation of modular nonmonotonic logic programs [PDF]
, 2009 . Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input from other modules, while allowing (mutually) recursive module calls.
Krennwallner, Thomas +7 more
core +1 more source
A logical semantics for nonmonotonic sorts [PDF]
Proceedings of the 31st annual meeting on Association for Computational Linguistics -, 1993 Suppose we have a feature system, and we wish to add default values in a well-defined way. We might start with Kasper-Rounds logic, and use Reiter's example to form it into a default logic. Giving a node a default value would be equivalent to saying "if it is consistent for this node to have that value, then it does." Then we could use default theories
Mark A. Young, William C. Rounds
openaire +1 more source
Modular nonmonotonic logic programs [PDF]
, 2018 Modular programming is common practice in software development, and the vast majority of general-purpose programming languages use modularity concepts to aid software engineers in designing and building complex systems based on reusable software ...
Krennwallner, Thomas
core +1 more source
Ideal reasoners don’t believe in zombies
Principia: An International Journal of Epistemology, 2017 The negative zombie argument states that p&~q is ideally negatively conceivable and, therefore, possible, what would entail that physicalism is false (Chalmers, 2002, 2010}.
Danilo Fraga Dantas
doaj +1 more source
Nonmonotonic Logics and Semantics
Journal of Logic and Computation, 2001 Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may be deduced from a set A of formulas iff a holds in all of the "preferred" models in which all the elements of A ...
openaire +3 more sources
The SP Theory of Intelligence: An Overview
Information, 2013 This article is an overview of the SP theory of intelligence, which aims to simplify and integrate concepts across artificial intelligence, mainstream computing and human perception and cognition, with information compression as a unifying theme.
J Gerard Wolff
doaj +1 more source
Advanced Science, EarlyView.Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
A nonmonotonic observation logic
Artificial Intelligence, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Ordering default theories and nonmonotonic logic programs
, 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
Advanced Energy Materials, EarlyView.This work presents lightweight, lignin‐derived carbon fiber current collectors that enable controlled lithium deposition. Structural defects and intermediate‐sized pores stabilize pre‐nucleation quasi‐metallic lithium clusters, promoting uniform lithium plating and stripping.
Samantha L. S. Southern +13 more
wiley +1 more source