ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
Some contributions to nonmonotonic consequence
Journal of Computer Science and Technology
Skepticism and floating conclusions
Artificial Intelligence
On decision-theoretic foundations for defaults
Artificial Intelligence
Nonmonotonic reasoning for adaptive information filtering
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Nonmonotonic consequences in default domain theory
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
Graded Similarity-Based Semantics for Nonmonotonic Inferences
Annals of Mathematics and Artificial Intelligence
An Empirical Test of Patterns for Nonmonotonic Inference
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
Logic and choice: a perspective on belief revision and nonmonotonic reasoning
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Pragmatic Reasoning: Inferring Contexts
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Distance Functions for Defaults in Reactive Systems
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Analysis of multi-interpretable ecological monitoring information
Applications of Uncertainty Formalisms
Modeling Paraconsistent Reasoning by Classical Logic
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Possible Worlds Semantics for Credulous and Contraction Inference
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
New Generation Computing
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Brave Nonmonotonic Inference and Its Kinds
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
Normal conditions for inference relations and injective models
Theoretical Computer Science
Nonmonotonic reasoning by inhibition nets II
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
A tutorial on default reasoning
The Knowledge Engineering Review
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
Nonmonotonic proof systems: algebraic foundations
Fundamenta Informaticae
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Belief models: An order-theoretic investigation
Annals of Mathematics and Artificial Intelligence
Additive consolidation for dialogue game
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Additive Consolidation with Maximal Change
Electronic Notes in Theoretical Computer Science (ENTCS)
Aspects and modular reasoning in nonmonotonic logic
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
ACM Transactions on Computational Logic (TOCL)
Annals of Mathematics and Artificial Intelligence
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Reasoning with Uncertainty by Nmatrix---Metric Semantics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
On Warranted Inference in Possibilistic Defeasible Logic Programming
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
Distance-Based Non-Deterministic Semantics
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
A Note on Cumulative Stereotypical Reasoning
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
On the semantics of supernormal defaults
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic reasoning and multiple belief revision
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Credulous nonmonotonic inference
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Dialogue game tree with nondeterministic additive consolidation
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Two puzzles concerning measures of uncertainty and the positive Boolean connectives
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Logic-based knowledge representation
Artificial intelligence today
Connectives in cumulative logics
Pillars of computer science
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Argumentation and rules with exceptions
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A framework for reasoning under uncertainty based on non-deterministic distance semantics
International Journal of Approximate Reasoning
Probabilistic approach to nonmonotonic consequence relations
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Defaults and infinitesimals defeasible inference by nonarchimedean entropy maximization
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Approaches to measuring inconsistent information
Inconsistency Tolerance
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A logic of inductive implication or artificial intelligence meets philosophy of science II
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Semantically characterizing collaborative behavior in an abstract dialogue framework
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Moral particularism in the light of deontic logic
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
A Two-Stage Approach to First Order Default Reasoning
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Jumping to conclusions: a logico-probabilistic foundation for defeasible rule-based arguments
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A preferential framework for trivialization-resistant reasoning with inconsistent information
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A reasoning platform based on the MI shapley inconsistency value
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the plausibility of abstract arguments
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |