The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Learning to reason with a restricted view
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Nonmonotonic reasoning: from complexity to algorithms
Annals of Mathematics and Artificial Intelligence
Yet some more complexity results for default logic
Artificial Intelligence
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Propositional default logics made easier: computational complexity of model checking
Theoretical Computer Science
Relating Defeasible Logic to Extended Logic Programs
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Relating Defeasible and Default Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Revising Nonmonotonic Theories: The Case of Defeasible Logic
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Fixed-parameter tractability of disjunction-free default reasoning
Journal of Computer Science and Technology
Approximate reasoning and non-omniscient agents
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Complexity results for restricted credulous default reasoning
AI Communications
Complexity of the Unique Extension Problem in Default Logic
Fundamenta Informaticae
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Outlier detection using default reasoning
Artificial Intelligence
Consistency property of finite FC-normal logic programs
Journal of Computer Science and Technology
The Complexity of Reasoning for Fragments of Default Logic
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
A hierarchy of tractable subsets for computing stable models
Journal of Artificial Intelligence Research
Complexity of prioritized default logics
Journal of Artificial Intelligence Research
A computational model of tractable reasoning: taking inspiration from cognition
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The complexity of nested counterfactuals and iterated knowledge base revisions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A default interpretation of defeasible network
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Semantics and complexity of abduction from default theories
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Outlier detection using default logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Complexity of default logic on generalized conjunctive queries
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Outlier detection for simple default theories
Artificial Intelligence
Structure-based algorithms for computing preferred arguments of defeasible knowledge bases
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
The relationship between reasoning about privacy and default logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Privacy preservation using multi-context systems and default logic
Correct Reasoning
Complexity of the Unique Extension Problem in Default Logic
Fundamenta Informaticae
Complexity Results for 2CNF Default Theories
Fundamenta Informaticae
Some Algorithms for Extension Computation of Nonmonotonic Rule Systems
Fundamenta Informaticae
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
A Critical Examination Of Model Preference Defaults
Fundamenta Informaticae
Hi-index | 0.00 |