Semantical considerations on nonmonotonic logic
Artificial Intelligence
Generality in artificial intelligence
Communications of the ACM
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Well-founded semantics for default logic
Fundamenta Informaticae
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Minimal and absent information in contexts
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An Approach To Context-Based Default Reasoning
Fundamenta Informaticae
Meta Level Reasoning and Default Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
A Logic Language with Stable Model Semantics for Social Reasoning
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Argumentation Context Systems: A Framework for Abstract Group Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
From Data Integration towards Knowledge Mediation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Loop formulas for description logic programs
Theory and Practice of Logic Programming
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Multi-context systems with activation rules
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Decomposition of distributed nonmonotonic multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Preference-based inconsistency assessment in multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
The DMCS solver for distributed nonmonotonic 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
Combining answer set programming and prolog: the ASP-PROLOG system
Logic programming, knowledge representation, and nonmonotonic reasoning
Symmetry breaking for distributed multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Communicating ASP and the polynomial hierarchy
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Pushing efficient evaluation of HEX programs by modular decomposition
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
A semantic account for modularity in multi-language modelling of search problems
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
The loop formula based semantics of description logic programs
Theoretical Computer Science
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Privacy preservation using multi-context systems and default logic
Correct Reasoning
Comparing inconsistency resolutions in multi-context systems
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Possibilistic reasoning in multi-context systems: preliminary report
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Exploiting unfounded sets for HEX-Program evaluation
JELIA'12 Proceedings of the 13th European conference on Logics 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
Meta programming with answer sets for smart spaces
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
On integrating description logics and rules under minimal hypotheses
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Conflict-driven asp solving with external sources
Theory and Practice of Logic Programming
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Relating constraint answer set programming languages and algorithms
Artificial Intelligence
| Hi-index | 0.00 |
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify the information flow among contexts. We investigate several notions of equilibrium representing acceptable belief states for our multi-context systems. The approach generalizes the heterogeneous monotonic multi-context systems developed by F. Giunchiglia and colleagues as well as the homogeneous nonmonotonic multi-context systems of Brewka, Serafini and Roelofsen.