A three-valued approach to default logic
From MaRDI portal
Publication:4881435
DOI10.1080/11663081.1996.10510876zbMATH Open0849.03017OpenAlexW2017977375MaRDI QIDQ4881435FDOQ4881435
Authors: Anna Maria Radzikowska 
Publication date: 22 September 1996
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1996.10510876
Recommendations
- Default consequence relations as a logical framework for logic programs
- Relationships between Connectives in Three-Valued Logics
- A map of dependencies among three-valued logics
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
- Logic programming with default, weak and strict negations
- scientific article; zbMATH DE number 1269576
- scientific article; zbMATH DE number 4049622
- scientific article; zbMATH DE number 487143
Other nonclassical logic (03B60) Knowledge representation (68T30) Many-valued logic (03B50) Logic in artificial intelligence (68T27)
Cites Work
Cited In (7)
- Default consequence relations as a logical framework for logic programs
- Default rules in the logic of first-degree entailments
- Title not available (Why is that?)
- A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur
- Consistency defaults
- Counterpossibles and normal defaults in the filioque controversy
- Towards a classification of defaults logics
This page was built for publication: A three-valued approach to default logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4881435)
