| Shelfclass |
Sortkey |
Title |
| 4.B.2 |
ANTONELLI, G. ALDO |
Grounded Consequence for Defeasible Logic |
| 4.B.2 |
ANTONIOU, GRIGORIS |
Nonmonotonic Reasoning |
| 4.B.2 |
BAADER, FRANZ |
The Description Logic Handbook: Theory, Implementation, and Applications |
| 4.B.2 |
BATENS, DIDERIK |
Frontiers of Paraconsistent Logic |
| 4.B.2 |
BERTOSSI, LEOPOLDO |
Inconsistency Tolerance |
| 4.B.2 |
BESNARD, PHILIPPE |
An Introduction to Default Logic |
| 4.B.2 |
BLACKBURN, PATRICK ROWAN |
Nominal Tense Logic and Other Sorted Intensional Frameworks |
| 4.B.2 |
BOCHMAN, ALEXANDER |
A Logical Theory of Nonmonotonic Inference and Belief Change |
| 4.B.2 |
BONZON, PIERRE |
Formal Aspects of Context |
| 4.B.2 |
BREMER, MANUEL |
An Introduction to Paraconsistent Logics |
| 4.B.2 |
BREWKA, GERHARD |
Nonmonotonic Reasoning: An Overview |
| 4.B.2 |
BREWKA, GERHARD |
Nonmonotonic Reasoning: Logical Foundations of Commonsense |
| 4.B.2 |
BRODA, KRYSIA |
Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics |
| 4.B.2 |
CHOMICKI, JAN |
Logics for Emerging Applications of Databases |
| 4.B.2 |
CROCCO, G |
Conditionals: From Philosophy to Computer Science |
| 4.B.2 |
DE RAEDT, LUC |
Interactive Theory Revision: An Inductive Logic Programming Approach |
| 4.B.2 |
DE RIJKE, MAARTEN |
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic |
| 4.B.2 |
DOHERTY, PATRICK |
Partiality, Modality, and Nonmonotonicity |
| 4.B.2 |
ETHERINGTON, DAVID W |
Reasoning with Incomplete Information |
| 4.B.2 |
FAGIN, RONALD |
Reasoning about Knowledge |
| 4.B.2 |
FINE, KIT |
Reasoning with Arbitrary Objects |
| 4.B.2 |
FORREST, PETER |
The Dynamics of Belief: A Normative Logic |
| 4.B.2 |
GABBAY, DOV M |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 1: Quantified Representation of Uncertainty and Imprecision |
| 4.B.2 |
GABBAY, DOV M |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 2: Reasoning with Actual and Potential Contradictions |
| 4.B.2 |
GABBAY, DOV M |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 3: Belief Change |
| 4.B.2 |
GABBAY, DOV M |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 4: Abductive Reasoning and Uncertainty Management Systems |
| 4.B.2 |
GABBAY, DOV M |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 5: Algorithms for Uncertainty and Defeasible Reasoning |
| 4.B.2 |
GABBAY, DOV M |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 6: Dynamics and Management of Reasoning Processes |
| 4.B.2 |
GABBAY, DOV M |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 7: Agent-Based Defeasible Control in Dynamic Environments |
| 4.B.2 |
GABBAY, DOV M |
Labelled Seductive Systems: Volume 1 |
| 4.B.2 |
GABBAY, DOV M |
What is Negation? |
| 4.B.2 |
GÄRDENFORS, PETER |
Belief Revision |
| 4.B.2 |
GÄRDENFORS, PETER |
Knowledge in Flux: Modeling the Dynamics of Epistemic States |
| 4.B.2 |
GHILARDI, SILVIO |
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics |
| 4.B.2 |
GINSBERG, MATTHEW L |
Readings in Nonmonotonic Reasoning |
| 4.B.2 |
HANSSON, SVEN OVE |
A Textbook of Belief Dynamics: Solutions to Exercises |
| 4.B.2 |
HANSSON, SVEN OVE |
A Textbook of Belief Dynamics: Theory Change and Database Updating |
| 4.B.2 |
HAREL, DAVID |
First-Order Dynamic Logic |
| 4.B.2 |
HARMAN, GILBERT |
Change in View: Principles of Reasoning |
| 4.B.2 |
JØSANG, AUDUN |
Subjective Logic: A Formalism for Reasoning Under Uncertainty |
| 4.B.2 |
KERN-ISBERNER, GABRIELE |
Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents |
| 4.B.2 |
KUIPERS, BENJAMIN |
Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge |
| 4.B.2 |
KÜSTERS, RALF |
Non-Standard Inferences in Description Logics |
| 4.B.2 |
KYBURG, HENRY ELY |
Knowledge Representation and Defeasible Reasoning |
| 4.B.2 |
LENSKI, WOLFGANG |
Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday |
| 4.B.2 |
LINKE, THOMAS |
New Foundations for Automation of Default Reasoning |
| 4.B.2 |
LUKASZEWICZ, WITOLD |
Non-Monotonic Reasoning: Formalization of Commonsense Reasoning |
| 4.B.2 |
MAKINSON, DAVID |
Bridges from Classical to Nonmonotonic Logic |
| 4.B.2 |
MAREK, V. W |
Nonmonotonic Logic: Context-Dependent Reasoning |
| 4.B.2 |
MARTINS, J. P |
Truth Maintenance Systems: ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990: Proceedings |
| 4.B.2 |
MEHEUS, JOKE |
Inconsistency in Science |
| 4.B.2 |
MORTENSEN, CHRIS |
Inconsistent Mathematics |
| 4.B.2 |
MUELLER, ERIK T |
Commonsense Reasoning |
| 4.B.2 |
NAIT ABDALLAH, ARESKI |
The Logic of Partial Information |
| 4.B.2 |
NEBEL, BERNHARD |
Reasoning and Revision in Hybrid Representation Systems |
| 4.B.2 |
NMR |
NMR 1988: Non-Monotonic Reasoning: 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings |
| 4.B.2 |
PEARCE, DAVID |
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990: Proceedings |
| 4.B.2 |
PRAKKEN, HENRY |
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law |
| 4.B.2 |
PRIEST, GRAHAM |
An Introduction to Non-Classical Logic |
| 4.B.2 |
PRIEST, GRAHAM |
Paraconsistent Logic: Essays on the Inconsistent |
| 4.B.2 |
RASIOWA, HELENA |
An Algebraic Approach to Non-Classical Logics |
| 4.B.2 |
REITER, RAYMOND |
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems |
| 4.B.2 |
ROTT, HANS |
Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning |
| 4.B.2 |
SCHICK, FREDERIC |
Ambiguity and Logic |
| 4.B.2 |
SCHLECHTA, KARL |
Nonmonotonic Logics: Basic Concepts, Results, and Techniques |
| 4.B.2 |
SEDDON, FRED |
Aristotle and Lukasiewicz on the Principle of Contradiction |
| 4.B.2 |
SHOHAM, YOAV |
Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence |
| 4.B.2 |
SOMBÉ, LÉA |
Reasoning under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example |
| 4.B.2 |
SOMBÉ, LÉA |
Revision and Updating in Knowledge Bases |
| 4.B.2 |
THEORY CHANGE |
Theory Change 1989: The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings |
| 4.B.2 |
TOURETZKY, DAVID S |
The Mathematics of Inheritance Systems |
| 4.B.2 |
VAN DER HOEK, W |
Non-Monotonic Reasoning and Partial Semantics |
| 4.B.2 |
VIGANÒ, LUCA |
Labelled Non-Classical Logics |
| 4.B.2 |
WAGNER, GERD |
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation |
| 4.B.2 |
WCP |
WCP 2000: Paraconsistency: The Logical Way to the Inconsistent: Proceedings of the World Congress Held in São Paulo |
| 4.B.2 |
WILLIAMS, MARY-ANNE |
Frontiers in Belief Revision |
| 4.B.2 |
WOODS, JOHN |
Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences |
| 4.B.2 |
WROBEL, STEFAN |
Concept Formation and Knowledge Revision |