Results 11 to 20 of about 572,128 (190)
Nonmonotonic conditionals that behave like conditional probabilities above a threshold
Journal of Applied Logic, 2007 James Hawthorne
semanticscholar +3 more sources
A valuation-based language for expert systems
International Journal of Approximate Reasoning, 1989 Prakash P. Shenoy
semanticscholar +3 more sources
Large-scale Parallel Stratified Defeasible Reasoning [PDF]
, 2012 We are recently experiencing an unprecedented explosion of available data from the Web, sensors readings, scientific databases, government authorities and more.
Antoniou, Grigoris +4 more
core +1 more source
Loop Formulas for Description Logic Programs
, 2010 Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web.
Brewka +13 more
core +1 more source
A System for Nonmonotonic Rules on the Web
, 2004 Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used.
Antoniou, G., Bikakis, A., Wagner, G.R.
openaire +2 more sources
On Properties of Update Sequences Based on Causal Rejection
, 2001 We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in ...
Eiter, T. +3 more
core +2 more sources
Random Logic Programs: Linear Model [PDF]
, 2014 This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs. It is mathematically shown that the average number of answer sets for a
Mu, Kedian, Wang, Kewen, Wen, Lian
core +2 more sources
Embedding Defeasible Logic into Logic Programming
, 2005 Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning
Antoniou, Grigoris +3 more
core +2 more sources
Advanced Engineering Materials, EarlyView.Do not let thermal drift and instrument artifacts deceive high‐temperature nanoindentation results. We compare classical Oliver–Pharr and automatic image recognition analyses across steels and a Ni alloy to quantify these effects. Accounting for artifacts reveals systematic softening with temperature, while Cr and Ni additions boost resistance ...
Velislava Yonkova +2 more
wiley +1 more source
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source