Generality in artificial intelligence
Communications of the ACM
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Well-founded semantics for default logic
Fundamenta Informaticae
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Comparing formal theories of context in AI
Artificial Intelligence
Minimal and absent information in contexts
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Meta Level Reasoning and Default Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Local and Distributed Defeasible Reasoning in Multi-Context Systems
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Distributed Defeasible Contextual Reasoning in Ambient Computing
AmI '08 Proceedings of the European Conference on Ambient Intelligence
Contextual Argumentation in Ambient Intelligence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Distributed reasoning with conflicts in a multi-context framework
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Reasoning with imperfect context and preference information in multi-context systems
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Preference-based inconsistency assessment in multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
The MCS-IE system for explaining inconsistency in multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Logic programming, knowledge representation, and nonmonotonic reasoning
Communicating ASP and the polynomial hierarchy
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Approximations for explanations of inconsistency in partially known multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Relational information exchange and aggregation in multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Partial preferences and ambiguity resolution in contextual defeasible logic
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Possibilistic reasoning in multi-context systems: preliminary report
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Multi-context systems: specifying the interaction of knowledge bases declaratively
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
In this paper we introduce a multi-context variant of Reiter's default logic. The logic provides a syntactical counterpart of Roelofsen and Serafini's information chain approach (IJCAI-05), yet has several advantages: it is closer to standard ways of representing nonmonotonic inference and a number of results from that area come "for free"; it is closer to implementation, in particular the restriction to logic programming gives us a computationally attractive framework; and it allows us to handle a problem with the information chain approach related to skeptical reasoning.