A logic for default reasoning

From MaRDI portal

Publication:1140434

Jump to:navigation, search

DOI10.1016/0004-3702(80)90014-4zbMath0435.68069OpenAlexW2155322595WikidataQ56048230 ScholiaQ56048230MaRDI QIDQ1140434

S. H. Smith

Publication date: 1980

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(80)90014-4

zbMATH Keywords

logic for default reasoning incompletely specified worlds top down resolution theorem prover

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Related Items

A context for belief revision: forward chaining-normal nonmonotonic rule systems, The complexity of propositional closed world reasoning and circumscription, Inheritance systems with exceptions, Justification and defeat, Minimal knowledge problem: A new approach, The epistemic structure of a theory of a game, Conditional logics of normality: A modal approach, Resolving contradictions: A plausible semantics for inconsistent systems, Operational concepts of nonmonotonic logics. I: Default logic, On the relationship between TMS and logic programs, Some results on default logic, Cumulative default logic: Finite characterization, algorithms, and complexity, Default theories that always have extensions, Two counterexamples related to Baker's approach to the frame problem, Motivated action theory: A formal theory of causal reasoning, Minimal belief and negation as failure, Formalizing nonmonotonic reasoning systems, A theory of diagnosis from first principles, A natural semantics for modal logic over databases, Default reasoning and possibility theory, Reasoning about action. I: A possible worlds approach, Reasoning about action. II: The qualification problem, An approach to default reasoning based on a first-order conditional logic: Revised report, On the relation between default and autoepistemic logic, A logical framework for default reasoning, The anomalous extension problem in default reasoning, Autocircumscription, A first-order conditional logic for prototypical properties, Nonmonotonic logic and temporal projection, Expert system models for inference with imperfect knowledge: A comparative study, Efficient reasoning about rich temporal domains, On the relationship between circumscription and negation as failure, An algorithm to compute circumscription, Results on translating defaults to circumscription, Minimalism, justification and non-monotonicity in deductive databases, On usual values in commonsense reasoning, Default reasoning in semantic networks: A formalization of recognition and inheritance, Reasoning with minimal models: efficient algorithms and applications, On the logic of causal explanation, A note on the stable model semantics for logic programs, Defaults and relevance in model-based reasoning, Preferential reasoning in the perspective of Poole default logic, Reasoning by cases in Default Logic, A logic for default reasoning, Addendum: Circumscription and other non-monotonic formalisms, Circumscription - a form of non-monotonic reasoning, Non-monotonic logic. I, General logical databases and programs: Default logic semantics and stratification, Nonmonotonic reasoning, preferential models and cumulative logics, Impediments to universal preference-based default theories, Hard problems for simple default logics, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, Three-valued nonmonotonic formalisms and semantics of logic programs, Default knowledge and measures of specificity, Cumulative default logic: In defense of nonmonotonic inference rules, A general framework for reason maintenance, The theory of nomic probability, Nonmonotonicity and the scope of reasoning, On the consistency of defeasible databases, How complicated is the set of stable models of a recursive logic program?, What does a conditional knowledge base entail?, Resolving ambiguity in nonmonotonic inheritance hierarchies, An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic, Stable and extension class theory for logic programs and default logics, The relationship between stable, supported, default and autoepistemic semantics for general logic programs, On the complexity of propositional knowledge base revision, updates, and counterfactuals, A logic of knowledge and justified assumption, How to reason defeasibly, A logic for reasoning with inconsistent knowledge, Saying more with frames: Slots as classes, Relating minimal models and pre-requisite-free normal defaults, Decomposition of linguistic-logical decision models in distributed computing environments, On the relation between default and modal nonmonotonic reasoning, On first-order conditional logics, Reaching agreements through argumentation: a logical model and implementation, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, From environments to representations -- a mathematical theory of artificial perceptions, Prolog technology for default reasoning: proof theory and compilation techniques, Lexicographic priorities in default logic, A framework for group decision support systems: Combining AI tools and OR techniques, Reasoning with vague default, Definable deduction relation, Characterizations and algorithms of extensions for CADL and QDL, A general scheme for formalizing defaults using the predicate \(ab(I,S)\), Non-monotonic fuzzy reasoning, An overview of fuzzy quantifiers. II. Reasoning and applications, Is default logic a reinvention of inductive-statistical reasoning?, Logic programs, well-orderings, and forward chaining, The open logic and its relation to circumscription, Succinctness as a source of complexity in logical formalisms, Some representational issues in default reasoning, Ordering conjunctive queries, Saturation, nonmonotonic reasoning and the closed-world assumption, Interpreting disjunctive logic programs based on a strong sense of disjunction, Dualities between alternative semantics for logic programming and nonmonotonic reasoning, Moral dilemmas and nonmonotonic logic, Automated inferencing, On cumulative default logics, Nonmonotonic inference based on expectations, A theory of measurement in diagnosis from first principles, Nonmonotonic reasoning with multiple belief sets, Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access, To Vladimir Lifschitz on His 65th Birthday, Privacy Preservation Using Multi-context Systems and Default Logic, From Turner’s Logic of Universal Causation to the Logic of GK, The Truth about Defaults, A Language for Default Reasoning about Actions, Connecting First-Order ASP and the Logic FO(ID) through Reducts, Well-Supported Semantics for Logic Programs with Generalized Rules, A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules, On the Complexity of Input/Output Logic, Modal logic based theory for non-monotonic reasoning, Graph decompositions and tree automata in reasoning with uncertainty, Ordered seminormal default theories and their extensions, Information and evidence in logic systems, Belief, provability, and logic programs, Temporal theories of reasoning, Answering atomic queries in indefinite deductive databases, Revision in ACMS, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985, Modelling phenomena and dynamic logic of phenomena, Adaptively applying modus ponens in conditional logics of normality, Model-based recasting in answer-set programming, Algebraic semantics for modal and superintuitionistic non-monotonic logics, Inductive learning and defeasible inference, From statistical knowledge bases to degrees of belief, Lattice-theoretic models of conjectures, hypotheses and consequences, On the impact of stratification on the complexity of nonmonotonic reasoning, Relating only knowing to minimal belief and negation as failure, Nonmonotonic consequence based on intuitionistic logic, On the relationship between annotated logic programs and nonmonotonic formalisms, Analytic tableaux for default logics, A sequent calculus for skeptical Default Logic, How Dirty Is Your Relational Database? An Axiomatic Approach, A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption, Weak Implication in Terms of Conditional Uncertainty Measures, Reasoning with an Incomplete Information Exchange Policy, DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION, Propositional Clausal Defeasible Logic, Rule Calculus: Semantics, Axioms and Applications, A three-valued approach to default logic, A FUZZY LOGIC AND DEFAULT REASONING MODEL OF SOCIAL NORMS AND EQUILIBRIUM SELECTION IN GAMES UNDER UNFORESEEN CONTINGENCIES, Some considerations on the logics P_FD A logic combining modality and probability, Specification of nonmonotonic reasoning, Logic, Reasoning, Argumentation: Insights from the Wild, A comparative survey of default logic variants, Talkin'bout consistency, or: When logically possible becomes possible, Skeptical query-answering in Constrained Default Logic, On the semantics of the unknown, Inconsistency Measurement, Plausible reasoning: a first-order approach, Provided You’re not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation, A fuzzy version of default logic, Default Rules in the Logic of First-Degree Entailments, Approximate reasoning with credible subsets, Overriding Subsuming Rules, Sequent calculi for default and autoepistemic logics, XRay: A prolog technology theorem prover for default reasoning: A system description, Nonmonotonic reasoning based on incomplete logic, Towards a classification of defaults logics, Default data generation in databases of net systems: a fuzzy set approach, Unnamed Item, A survey of non-monotonic reasoning, Thirteen Definitions of a Stable Model, Conservative extension concepts for nonmonotonic knowledge bases, KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS, THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT, Inductive Negotiation in Answer Set Programming, Towards Context Sensitive Defeasible Rules, A practical measure of the information in a logical theory, Embedding prioritized circumscription in disjunctive logic programs, A sound and complete proof theory for the generalized logic of only knowing, Studying properties of classes of default logics, A note on the cumulativity of justified default logic, Argumentation Theory and Decision Aiding, A GENERALIZED VIEW OF NONMONOTONIC KNOWLEDGE: A SET OF THEORETIC PERSPECTIVE, 2004 Summer Meeting of the Association for Symbolic Logic, Specification of nonmonotonic reasoning, Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics, Strong Backdoors for Default Logic, Reasoning credulously and skeptically within a single extension, Realistic desires, Unnamed Item, The Complexity of Reasoning for Fragments of Default Logic, A Default Logic Patch for Default Logic, Realizing Default Logic over Description Logic Knowledge Bases, Dealing Automatically with Exceptions by Introducing Specificity in ASP, Answer Set Programming: A Primer, OSCAR, Remedial interchange, contrary-to-duty obligation and commutation, Seminormalizing a default theory, Approximate databases: a support tool for approximate reasoning, Reasoning with Uncertainty in Deductive Databases and Logic Programs, Interdefinability of defeasible logic and logic programming under the well-founded semantics, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS, ON PROOFS IN SYSTEM P, Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches, REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗, Explaining by evidence, Dynamic Reasoning Systems, On Well-Founded Set-Inductions and Locally Monotone Operators, FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data, Expanding Belnap 2: the dual category in depth, The complexity class θp2: Recent results and applications in AI and modal logic, Default Negation as Explicit Negation plus Update, European Summer Meeting of the Association for Symbolic Logic, Update by means of inference rules, Logic Programming with Defaults and Argumentation Theories, Unnamed Item, On logical constraints in logic programming, A sphere world semantics for default reasoning, Default consequence relations as a logical framework for logic programs, Skeptical rational extensions, Reasoning with stratified default theories, Nonmonotonicity and answer set inference, Trans-epistemic semantics for logic programs, CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION, When is argumentation deductive?, A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness, Sequent-type rejection systems for finite-valued non-deterministic logics, Models for concurrent constraint programming, Connexivity in the logic of reasons, On the progression of belief, A postulate-driven study of logical argumentation, Dynamic epistemic logics for abstract argumentation, Knowledge graph embedding by logical-default attention graph convolution neural network for link prediction, Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs, Non-monotonic reasoning via dynamic consequence, The inverse satisfiability problem, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On-line algorithms for satisfiability problems with uncertainty, REWARD VERSUS RISK IN UNCERTAIN INFERENCE: THEOREMS AND SIMULATIONS, (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG, Guest editors' introduction, Relative expressiveness of defeasible logics, Additive Consolidation with Maximal Change, Counterfactuals, TCC, with History, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Cumulativity Tailored for Nonmonotonic Reasoning, A Non-monotonic Goal Specification Language for Planning with Preferences, Explaining Preferences and Preferring Explanations, Constraints for input/output logics, Temporal agent programs, Nonmonotonic reasoning by inhibition nets, Default logic and bounded treewidth, Displaying the modal logic of consistency, On decision-theoretic foundations for defaults, An argument-based approach to reasoning with specificity, Defeasible reasoning with variable degrees of justification, Skepticism and floating conclusions, Artificial nonmonotonic neural networks, Constraints on extensions of a default theory, Predicate Completion for non-Horn Clause Sets, Incremental reasoning on monadic second-order logics with logic programming, Extensions for open default theories via the domain closure assumption, Programming with Annotated Logics, Proof Complexity of Non-classical Logics, Gelfond-Zhang aggregates as propositional formulas, A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming, Strong and explicit negation in non-monotonic reasoning and logic programming, Only persistence makes nonmonotonicity monotonous, Semi-representability of default theories in rational default logic, A query answering algorithm for Lukaszewicz' general open default theory, Infinitary default logic for specification of nonmonotonic reasoning, A system for computing constrained default logic extensions, A simple signed system for paraconsistent reasoning, Twelve Definitions of a Stable Model, Logic and Complexity in Cognitive Science, Universal Logic as a Science of Patterns, Probabilistic Modeling of Default Reasoning, An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms, Only knowing with degrees of confidence, Drawing interactive Euler diagrams from region connection calculus specifications, Extending uncertainty formalisms to linear constraints and other complex formalisms, Representation results for non-cumulative logics, A rational reconstruction of nonmonotonic truth maintenance systems, A skeptical theory of inheritance in nonmonotonic semantic networks, Model-preference default theories, Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions, Defaults with priorities, Multi-modal nonmonotonic logics of minimal knowledge, Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach, Expressive probabilistic description logics, Active logic semantics for a single agent in a static world, Redundancy in logic. III: Non-monotonic reasoning, Combining answer set programming with description logics for the semantic web, Semantic forgetting in answer set programming, Outlier detection using default reasoning, FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data, Measures of uncertainty in expert systems, Qualitative probabilities for default reasoning, belief revision, and causal modeling, Default reasoning using classical logic, On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\), Two approaches to the formalisation of defeasible deontic reasoning, An argumentation system for defeasible reasoning, Well-founded and stationary models of logic programs, New proofs in default logic theory, Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning, On the computational cost of disjunctive logic programming: Propositional case, Complexity of computing with extended propositional logic programs, A framework for controlling model-based diagnosis systems with multiple actions, Propositional semantics for disjunctive logic programs, Logic programming and reasoning with incomplete information, Another perspective on default reasoning, Modal nonmonotonic logics demodalized, Plausible reasoning and plausibility monitoring in language comprehension, Inconsistency-tolerant reasoning over linear probabilistic knowledge bases, Support set selection for abductive and default reasoning, Human rationality challenges universal logic, The place of logic in reasoning, On embedding default logic into Moore's autoepistemic logic, Overriding subsuming rules, Handling and measuring inconsistency in non-monotonic logics, The new Tweety puzzle: arguments against monistic Bayesian approaches in epistemology and cognitive science, Connections between default reasoning and partial constraint satisfaction, A QBF-based formalization of abstract argumentation semantics, Dynamics of inductive inference in a unified framework, Free choice reasons, Consistency defaults, Dialectic proof procedures for assumption-based, admissible argumentation, An incremental algorithm for generating all minimal models, Weak nonmonotonic probabilistic logics, SCC-recursiveness: a general schema for argumentation semantics, Evaluating practical reasoning, Beliefs in conditionals vs. conditional beliefs, A modal logic for subjective default reasoning, On conjectures in orthocomplemented lattices, Rough set reasoning using answer set programs, Information graphs and their use for Bayesian network graph construction, Computational complexity of flat and generic assumption-based argumentation, with and without probabilities, Open-world probabilistic databases: semantics, algorithms, complexity, Intention as commitment toward time, t-DeLP: an argumentation-based temporal defeasible logic programming framework, Conditionals and consequences, A formal account of Socratic-style argumentation, Product representation for default bilattices: an application of natural duality theory., Nonmonotonicity in the framework of parametric logic, All I know: A study in autoepistemic logic, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, A general approach to reasoning with probabilities, Selection of search strategies for solving 3-SAT problems, Determining inference semantics for disjunctive logic programs, Automated non-monotonic reasoning in System \textbf{P}, Problems of constructing intelligent systems. Intelligent modeling, Counterpossibles and normal defaults in the filioque controversy, EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface, Confidences for commonsense reasoning, A tableaux calculus for default intuitionistic logic, Propositional and predicate logics of incomplete information, Strong inconsistency, Structured argumentation dynamics. Undermining attacks in default justification logic, Epistemology and artificial intelligence, Any-world assumptions in logic programming, Graph-based construction of minimal models, Belief liberation (and retraction), The case for psychologism in default and inheritance reasoning, Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations, An overview of possibilistic handling of default reasoning, with experimental studies, The dramatic true story of the frame default, Contrary-to-duty reasoning: a categorical approach, On the equivalence between logic programming semantics and argumentation semantics, Assumption-based argumentation for extended disjunctive logic programming, Properties of system W and its relationships to other inductive inference operators, GK: implementing full first order default logic for commonsense reasoning (system description), Sequent calculi for choice logics, Paraconsistent inference relations induced from inconsistency measures, Models and emerging trends of concurrent constraint programming, Policy-based inconsistency management in relational databases, Rich preference-based argumentation frameworks, The epistemic account of ceteris paribus conditions, Reasoning with power defaults, Alternative approaches to default logic, Universe of discourse and existence, Tableau-based characterization and theorem proving for default logic, Autoepistemic logic of first order and its expressive power, A decision method for nonmonotonic reasoning based on autoepistemic reasoning, Modality and interrupts, Querying disjunctive databases through nonmonotonic logics, Defaults as restrictions on classical Hilbert-style proofs, Default reasoning by deductive planning, Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic, A new methodology for query answering in default logics via structure-oriented theorem proving, Deontic logic as founded on nonmonotonic logic, An argumentation framework in default logic, Interpretations of open default theories in non-monotonic logics, Counterfactual reasoning by (means of) defaults, Describing symmetrical structures in logic., A theory of nonmonotonic rule systems. II, Modelling default and likelihood reasoning as probabilistic reasoning., Choosing reference classes and building provisional models, A theory of nonmonotonic rule systems I, Modal logic for default reasoning, Development of inductive inference algorithms using decision trees, Safe inductions and their applications in knowledge representation, Partial up an down logic, How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?, Minimal model semantics for sorted constraint representation, Operational characterization of extensions in some logics for default reasoning, Disjunctive logic and semantics of disjunctive logic programs, A logical framework for evolving software systems, A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic, Obligation as optimal goal satisfaction, Seminormal stratified default theories, Polynomial-time computable stable models, A modal contrastive logic: The logic of ``but, Prima facie and seeming duties, On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, A progression semantics for first-order logic programs, Revision programming, Abduction from logic programs: Semantics and complexity, On compact representations of propositional circumscription, Defaults in domain theory, Is intractability of nonmonotonic reasoning a real drawback?, Causality as a key to the frame problem, Multi-interpretation operators and approximate classification., On the logic of iterated belief revision, Fixed-parameter tractability of disjunction-free default reasoning, Fixpoint semantics for active integrity constraints, Non-prioritized ranked belief change, An abstract, argumentation-theoretic approach to default reasoning, Dynamic reasoning with qualified syllogisms, Definability and commonsense reasoning, Reducing belief revision to circumscription (and vice versa), Defeasible inheritance on cyclic networks, Semantics and complexity of abduction from default theories, Abstract argumentation systems, Compiling specificity into approaches to nonmonotonic reasoning, Deontic modals: why abandon the default approach, Characterization of an auto-compatible default theory, Parameterized complexity of theory of mind reasoning in dynamic epistemic logic, Classical logic, argument and dialectic, Limits of theory sequences over algebraically closed fields and applications., Explaining default intuitions using maximum entropy., Generalized metrics and uniquely determined logic programs., Assessing the accuracy of diagnostic probability estimation: evidence for defeasible modus ponens, Opinion diffusion and influence: a logical approach, Restricted semantics for default reasoning, On ultrafilter logic and special functions, Semantics for a theory of defeasible reasoning, Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics, Local logics, non-monotonicity and defeasible argumentation, Prioritised fuzzy constraint satisfaction problems: Axioms, instantiation and validation, Minimal temporal epistemic logic, Abductive reasoning through filtering, Specifying causality in action theories: A default logic approach, Input/output logics, Belief functions and default reasoning, Default reasoning and belief revision: A syntax-independent approach, Expressing preferences in default logic, Prioritized logic programming and its application to commonsense reasoning, Alternative foundations for Reiter's default logic, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Explanations, belief revision and defeasible reasoning., On the computational complexity of assumption-based argumentation for default reasoning., Propositional default logics made easier: computational complexity of model checking., Relating defeasible and normal logic programming through transformation properties., Uniform semantic treatment of default and autoepistemic logics, More on representation theory for default logic, Clausal logic and logic programming in algebraic domains, Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge, A comparative study of open default theories, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games, An information-based theory of conditionals, The complexity of predicate default logic over a countable domain, Logic programming and knowledge representation---The A-Prolog perspective, Answer set programming and plan generation, Extending and implementing the stable model semantics, Yet some more complexity results for default logic, The qualification problem: A solution to the problem of anomalous models, Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs, Hypothesizing about signaling networks, Making the right exceptions, On the complexity of extension checking in default logic, Preferences in artificial intelligence, On the decidability of open logic, Possibilistic uncertainty handling for answer set programming, Adaptive logic characterizations of input/output logic, A Bayesian approach to informal argument fallacies, Default theories over monadic languages, A preferential semantics for causal reasoning about action, Abductive inference methods in problems of job planning in complex objects, Inconsistency measures for probabilistic logics, Ultimate approximation and its application in nonmonotonic knowledge representation systems, Completing causal networks by meta-level abduction, When adjunction fails, Brain-like computing based on distributed representations and neurodynamics, A logical expression of reasoning, Permission to speak: a logic for access control and conformance, Semantical considerations on multiagent only knowing, Grounded fixpoints and their applications in knowledge representation, Outlier detection for simple default theories, Defeasible inheritance with doubt index and its axiomatic characterization, Well-founded semantics for defeasible logic, Semantic-based construction of arguments: an answer set programming approach, An axiomatic analysis of structured argumentation with priorities, Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks, Abnormality and randomness, On the associations between variables in expert systems including default relations, Pluralistic evaluation of belief plausibility and its application to nonmonotonic reasoning, The Gärdenfors impossibility theorem in non-monotonic contexts, An epistemic model of logic programming, Updating knowledge bases, A logic-based analysis of Dempster-Shafer theory, Proof complexity of propositional default logic, Sum-based weighted belief base merging: from commensurable to incommensurable framework, A logical calculus for controlled monotonicity, Applied logic without psychologism, Resource-origins of nonmonotonicity, Restricted default theories: expressive power and outlier detection tasks, Defeasible conditionalization, Approximating operators and semantics for abstract dialectical frameworks, On the tractability of minimal model computation for some CNF theories, On the parameterized complexity of non-monotonic logics, Graph theoretical structures in logic programs and default theories, On-line algorithms for satisfiability problems with uncertainty, Multi-valued logic programming semantics An algebraic approach, Annotated nonmonotonic rule systems, Graded hypothesis theories, From description-logic programs to multi-context systems, On the autoepistemic reconstruction of logic programming, On prediction in Theorist, A reasoning method for a paraconsistent logic, Monotonic and non-monotonic embeddings of Anselm's proof, A logic for reasoning with inconsistency, Assessing the epistemological relevance of Dung-style argumentation theories, Incorporating top-down information into bottom-up hypothetical reasoning, John McCarthy's legacy, Stable models and circumscription, From answer set logic programming to circumscription via logic of GK, Semantics and complexity of recursive aggregates in answer set programming, How does a box work? A study in the qualitative dynamics of solid objects, From systems to logic in the early development of nonmonotonic reasoning, A deontic logic framework allowing for factual detachment, Ordering default theories and nonmonotonic logic programs, General default logic, Using approximate reasoning to represent default knowledge, Querying logical databases, A mathematical treatment of defeasible reasoning and its implementation., Conditional entailment: bridging two approaches to default reasoning., A new default theories compilation for MSP-entailment, On the soundness of altering granular information, Indiscriminability as indiscernibility by default, Modeling generalized implicatures using non-monotonic logics, Compiling a default reasoning system into Prolog, Applause: An implementation of the Collins-Michalski theory of plausible reasoning, Negation in rule-based database languages: A survey, The semantics of incomplete databases as an expression of preferences, Negation by default and unstratifiable logic programs, Probabilities and reasoning about possibilities, Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning, My work with Victor Marek: a mathematician looks at answer set programming, Default logic generalized and simplified, Consistency properties and set based logic programming, Inductive situation calculus, Argumentation in artificial intelligence, On principle-based evaluation of extension-based argumentation semantics, The computational complexity of ideal semantics, A computational approach to fuzzy quantifiers in natural languages, Foundations of a functional approach to knowledge representation, Plausible inferences and plausible reasoning, Evaluating the effect of semi-normality on the expressiveness of defaults, Nonmonotonic inconsistency, A consistency-based approach for belief change, Introduction: Progress in formal commonsense reasoning, Nonmonotonic causal theories, Reasoning with infinite stable models, Qualitative choice logic, A nonmonotonic observation logic, A causal approach to nonmonotonic reasoning

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1140434&oldid=13193231"