A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
nonmonotonic MCS in a distributed way i.e., a belief set S k for each context C k which is compliant with applicable bridge rules
MCS Overview
The Diamond Example M = (C 1 , C 2 , C 3 , C 4 ), where ...
System Architecture
dmcsm
dmcsd
at C k
dmcsd
dmcsd
dmcsd
dmcsc
models
registration
query
Distributed system with:
Server program for each context
Client program for querying contexts ...
doi:10.1007/978-3-642-15675-5_30
fatcat:naishvyptrez7dy4oaynal2mna
Decomposition of Distributed Nonmonotonic Multi-Context Systems
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. ...
Recently, a fully distributed algorithm for evaluating heterogeneous, nonmonotonic MCS was described in [7] . ...
Preliminaries We recall some basic notions of heterogeneous nonmonotonic multi-context systems [5] . ...
doi:10.1007/978-3-642-15675-5_5
fatcat:dbd3uglu5na5dd5qv35xsyqns4
Distributed Evaluation of Nonmonotonic Multi-context Systems
2015
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Multi-context Systems (MCSs) are a formalism for systems consisting of knowledge bases (possibly heterogeneous and non-monotonic) that are interlinked via bridge rules, where the global system semantics ...
While MCSs and related formalisms are inherently targeted for distributed set- tings, no truly distributed algorithms for their evaluation were available. ...
Acknowledgments This research has been supported by the Austrian Science Fund (FWF) projects P20841 and P26471. ...
doi:10.1613/jair.4574
fatcat:p6xuouc3bja5tlwqscsx4fvtjm
Symmetry Breaking for Distributed Multi-Context Systems
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. ...
We propose a distributed algorithm that takes a local stance, i.e., computes independently the partial symmetries of a context and, in order to construct potential symmetries of the whole, combines them ...
Logical Background We recall some basic notions of heterogeneous nonmonotonic multi-context systems. ...
doi:10.1007/978-3-642-20895-9_5
fatcat:fgfbfp2r5zh7zostf4nlow4cli
Symmetry Breaking for Distributed Multi-Context Systems
[article]
2011
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. ...
We propose a distributed algorithm that takes a local stance, i.e., computes independently the partial symmetries of a context and, in order to construct potential symmetries of the whole, combines them ...
NICTA is funded by the Department of Broadband, Communications and the Digital Economy, and the Australian Research Council. ...
arXiv:1104.3931v1
fatcat:vqhhafhyqbdmpj5irh4j5lsaxe
Symmetry Breaking for Answer Set Programming
[article]
2010
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, and second, distributed nonmonotonic multi-context systems. ...
In the context of distributed nonmonotonic multi-context system, we develop an algorithm for distributed symmetry detection and also carry over symmetry-breaking constraints for distributed answer set ...
Finally, towards distributed answer set programming, we present distributed nonmonotonic multi-context systems. ...
arXiv:1008.5033v1
fatcat:q4dunj4fgzd73lvjtl4u32jvfu
Contextual and Possibilistic Reasoning for Coalition Formation
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Second, we model agents as contexts in Multi-Context Systems (MCS), and dependence relations among agents seeking to achieve their goals, as bridge rules. ...
In multiagent systems, agents often have to rely on other agents to reach their goals, for example when they lack a needed resource or do not have the capability to perform a required action. ...
Multi-Context Systems Multi-Context Systems (MCS) [31, 30, 12] has been the main effort to formalize context and contextual reasoning in Artificial Intelligence. ...
arXiv:2006.11097v2
fatcat:ug4ett4c7va7nf6dxftb2ufsna
Computing Coalitions in Multiagent Systems: A Contextual Reasoning Approach
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We model agents as contexts in Multi-Context Systems (MCS) and dependence relations among agents as bridge rules. ...
In multiagent systems, agents often have to rely on other agents to reach their goals, for example when they lack a needed resource or do not have the capability to perform a required action. ...
To achieve this we will use existing MCS implementations, such as DMCS 1 , a distributed solver for MCS, and MCS-IE 2 , a tool for explaining inconsistencies in MCS. ...
doi:10.1007/978-3-319-17130-2_6
fatcat:hk4m76a3d5fdrmyzwswzhfrjke
Abstract Modular Systems and Solvers
[article]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We introduce concepts of abstract modules and abstract modular systems to study general principles behind the design and analysis of model-finding programs, or solvers, for integrated heterogeneous multi-logic ...
We show how abstract modules and abstract modular systems give rise to transition systems, which are a natural and convenient representation of solvers pioneered by the SAT community. ...
Since their inception, multi-context systems have received substantial attention and inspired implementations of hybrid reasoning systems including DLVHEX [5] and DMCS [1] . ...
arXiv:1312.6151v1
fatcat:vdbw7l2r4veyflrliwx5ycyaoe
A model building framework for answer set programming with external computations
2015
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
AbstractAs software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information ...
We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller ...
Multi-Context Systems (MCS) The MCS benchmarks originate in the application scenario of enumerating output-projected equilibria (i.e., global models) of a given multi-context system (MCS) (cf. ...
doi:10.1017/s1471068415000113
fatcat:kq5ya4rvbnhxdd7adsmhyfj32e
Abstract Modular Inference Systems and Solvers
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
multi-logic systems. ...
We introduce the concepts of abstract inference modules and abstract modular inference systems to study general principles behind the design and analysis of model generating programs, or solvers, for integrated ...
Acknowledgements We are grateful to the reviewers for numerous comments that helped us to significantly improve the paper. ...
doi:10.1007/978-3-319-04132-2_4
fatcat:nbveadc2enbbhleo45ndrlmnli
On abstract modular inference systems and solvers
2016
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
multi-logic systems. ...
We introduce the concepts of abstract inference modules and abstract modular inference systems to study general principles behind the design and analysis of model generating programs, or solvers, for integrated ...
Acknowledgements We are grateful to the reviewers for numerous comments that helped us to significantly improve the paper. ...
doi:10.1016/j.artint.2016.03.004
fatcat:ob62ve3rhzgqlmd3nz4gyczcre
Efficient HEX-Program Evaluation Based on Unfounded Sets
2014
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of answer set candidates ...
The unfounded set detection is expressed as a propositional SAT problem, for which we provide two different encodings and optimizations to them. ...
We are grateful to the anonymous reviewers for their helpful and constructive comments. ...
doi:10.1613/jair.4175
fatcat:hcxe3ullanbztaafzxk6g6ekie
Distributed computation of diagnoses for inconsistent multi-context systems
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Multi-Context Systems (MCS ) are systems of distributed knowledge bases which interact via so called bridge rules. ...
Therefore, for a user only interested in a part of the system, it is not necessary to know the whole system. ...
The DMCS system is designed to calculate equilibria of a distributed Multi-Context System. ...
doi:10.34726/hss.2016.24879
fatcat:agra4r4ts5fwre7ypgmoplkml4
Investigations in Possibilistic Reasoning and Multi-Context Systems
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Moreover, revisions by certain and uncertain formulas are handled separately and most revision operators are defined only for certain inputs; (3) Multi-context systems (MCSs) provide a unifying framework ...
Besides, while MCSs address the heterogeneity of knowledge formalisms in an elegant theoretical manner, research on distributed and parallel reasoning systems for MCSs is still in its early development ...
Multi-Context Systems MCSs provide a promising way to representing interchanging and distributed KR systems. ...
doi:10.25904/1912/2658
fatcat:76fxdbpfnbau5h6p267vtd6swa
« Previous
Showing results 1 — 15 out of 18 results