Non-monotonic logic. I
From MaRDI portal
Cites work
- A Human Oriented Logic for Automatic Theorem-Proving
- A logic for default reasoning
- A Machine-Oriented Logic Based on the Resolution Principle
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- scientific article; zbMATH DE number 3138241 (Why is no real title available?)
- scientific article; zbMATH DE number 3821130 (Why is no real title available?)
- scientific article; zbMATH DE number 3564933 (Why is no real title available?)
- scientific article; zbMATH DE number 3600002 (Why is no real title available?)
- scientific article; zbMATH DE number 3635994 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3266584 (Why is no real title available?)
- scientific article; zbMATH DE number 3290303 (Why is no real title available?)
- scientific article; zbMATH DE number 3304881 (Why is no real title available?)
- scientific article; zbMATH DE number 3316860 (Why is no real title available?)
- scientific article; zbMATH DE number 3349337 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 3395365 (Why is no real title available?)
- scientific article; zbMATH DE number 3423582 (Why is no real title available?)
- scientific article; zbMATH DE number 3078474 (Why is no real title available?)
- Intuitionism. An introduction
- On a Question of Frege's about Right-Ordered Groups
- Outline of a Theory of Truth
- STRIPS: A new approach to the application of theorem proving to problem solving
Cited in
(only showing first 100 items - show all)- Default logic generalized and simplified
- A non-preferential semantics of non-monotonic modal logic
- A computational approach to fuzzy quantifiers in natural languages
- Some representational issues in default reasoning
- Semantical considerations on nonmonotonic logic
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- A logic to reason about likelihood
- Variable precision logic
- Dispositional logic
- Formalizing nonmonotonic reasoning systems
- A natural semantics for modal logic over databases
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A logical framework for 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
- Fixed points in propositional nonmonotonic logic
- Results on translating defaults to circumscription
- Addendum: Circumscription and other non-monotonic formalisms
- General logical databases and programs: Default logic semantics and stratification
- Nonmonotonic reasoning, preferential models and cumulative logics
- Programming in temporal-nonmonotonic reasoning
- Impediments to universal preference-based default theories
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
- Default knowledge and measures of specificity
- A general framework for reason maintenance
- The theory of nomic probability
- What does a conditional knowledge base entail?
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- A logic of knowledge and justified assumption
- How to reason defeasibly
- On the relation between default and modal nonmonotonic reasoning
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry
- From environments to representations -- a mathematical theory of artificial perceptions
- Reasoning with vague default
- Non-monotonic fuzzy reasoning
- An overview of fuzzy quantifiers. II. Reasoning and applications
- Logic programs, well-orderings, and forward chaining
- Automated theorem proving in temporal logic: T-resolution
- A context for belief revision: forward chaining-normal nonmonotonic rule systems
- Minimal knowledge problem: A new approach
- Two counterexamples related to Baker's approach to the frame problem
- Motivated action theory: A formal theory of causal reasoning
- Possible world semantics and autoepistemic reasoning
- Interpretations of open default theories in non-monotonic logics
- Counterfactual reasoning by (means of) defaults
- Modal logic for default reasoning
- Abduction from logic programs: Semantics and complexity
- Defaults in domain theory
- Definability and commonsense reasoning
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Logic programming and knowledge representation---The A-Prolog perspective
- 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
- Uniform semantic treatment of default and autoepistemic logics
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- In search of a ``true logic of knowledge: The nonmonotonic perspective
- The complexity of predicate default logic over a countable domain
- Development of inductive inference algorithms using decision trees
- Semantics-based nonmonotonic inference
- A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
- Logic programming and reasoning with incomplete information
- Modal nonmonotonic logics demodalized
- Autoepistemic answer set programming
- All I know: A study in autoepistemic logic
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
- Revisiting \(\mathbb Z\)
- Dynamics of inductive inference in a unified framework
- Any-world assumptions in logic programming
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Multi-modal nonmonotonic logics of minimal knowledge
- In search of a ``true logic of knowledge: the nonmonotonic perspective
- Autoepistemic logic revisited
- On embedding default logic into Moore's autoepistemic logic
- Strong Backdoors for Default Logic
- Revisiting da Costa logic
- Argumentation theory and decision aiding
- A generalized view of nonmonotonic knowledge: a set of theoretic perspective
- Reasoning with uncertainty in deductive databases and logic programs
- Preferences in artificial intelligence
- Ideal theory in BCK/BCI-algebras in the frame of hesitant fuzzy set theory
- Default rules in the logic of first-degree entailments
- Information tradeoffs in model building: A network routing application
- ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
- Thirteen Definitions of a Stable Model
- Brief study of G'3 logic
- A survey of non-monotonic reasoning
- Nonmonotonic reasoning based on incomplete logic
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
- Talkin'bout consistency, or: When logically possible becomes possible
- On the semantics of the unknown
This page was built for publication: Non-monotonic logic. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1140441)
