Results 11 to 20 of about 10,099,837 (194)
Integrity and Rule Checking in Nonmonotonic Knowledge Bases
Knowledge-Based Systems, 1996 Anomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed and applied in the past years, but they usually deal with rule ...
Grigoris Antoniou
exaly +2 more sources
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +3 more
core +4 more sources
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 +5 more sources
Belief Change in Nonmonotonic Multi-Context Systems [PDF]
, 2013 Brewka and Eiter's nonmonotonic multi-context system is an elegant knowledge representation framework to model heterogeneous and nonmonotonic multiple contexts. Belief change is a central problem in knowledge representation and reasoning.
Yisong Wang +5 more
core +1 more source
Categorization and construction of rule based systems [PDF]
, 2014 Expert systems have been increasingly popular for commercial importance. A rule based system is a special type of an expert system, which consists of a set of ‘if-then‘ rules and can be applied as a decision support system in many areas such as ...
Frederic Stahl +5 more
core +1 more source
Nonmonotonic commitment machines
, 2004 Protocols for multiagent interaction need to be flexible because of the open and dynamic nature of multiagent systems. Such protocols cannot be modeled adequately via finite state machines (FSMs) as FSM representations lead to rigid protocols. We propose
Amit Chopra +3 more
core +5 more sources
StreamRule: A nonmonotonic stream reasoning system for the semantic web
, 2022 S.247-252Stream reasoning is an emerging research field focused on dynamic processing and continuous reasoning over huge volumes of streaming data. Finding the right trade-off between scalability and expressivity is a key challenge in this area.
Mileo, Alessandra +3 more
core +1 more source
Tolerant reasoning: nontransitive or nonmonotonic? [PDF]
, 2017 The principle of tolerance characteristic of vague predicates is sometimes presented as a soft rule, namely as a default which we can use in ordinary reasoning, but which requires care in order to avoid paradoxes.
Egré, Paul +11 more
core +1 more source
Verification and correctness issues for nonmonotonic knowledge bases
, 1997 Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule ...
Antoniou, G, Antoniou, Grigorios
core +2 more sources
Advanced Engineering Materials, EarlyView.Postbuild annealing systematically modifies the phase fractions and morphology of EB‐PBF processed Mo–9Si–8B. Quantitative microstructure–property correlations reveal how controlled phase evolution enhances high‐temperature compressive strength and creep resistance.
Christopher Schmidt +5 more
wiley +1 more source