Many hands make light work: Localized satisfiability for multi-context systems

Many hands make light work: Localized satisfiability for multi-context systems. Roelofsen, F., Serafini, L., & Cimatti, A. In European Conference on Artificial Intelligence (ECAI 04), pages 53-57, 2004.

Paper abstract bibtex

In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, we propose a distributed decision procedure that maximally exploits the potential amenity of localizing reasoning and restricting it to relevant contexts. We show that the latter approach is computationally superior to our translation-based procedure, and outline how off-the-shelf efficient reasoning procedures can be used to implement our algorithm.

@inproceedings{roelofsen2004many,
	abstract = {In this paper, we tackle the satisfiability problem for
multi-context systems. First, we establish a satisfiability algorithm
based on an encoding into propositional logic. Then, we propose a
distributed decision procedure that maximally exploits the potential
amenity of localizing reasoning and restricting it to relevant contexts.
We show that the latter approach is computationally superior to our
translation-based procedure, and outline how off-the-shelf efficient
reasoning procedures can be used to implement our algorithm.},
	author = {Roelofsen, Floris and Serafini, Luciano and Cimatti, Alessandro},
	booktitle = {European Conference on Artificial Intelligence (ECAI 04)},
	date-added = {2019-05-09 08:59:14 +0200},
	date-modified = {2019-05-09 09:10:49 +0200},
	keywords = {artificial intelligence,logic},
	pages = {53-57},
	title = {Many hands make light work: Localized satisfiability for multi-context systems},
	url = {http://www.frontiersinai.com/ecai/ecai2004/ecai04/pdf/p0053.pdf},
	year = {2004},
	Bdsk-Url-1 = {http://www.frontiersinai.com/ecai/ecai2004/ecai04/pdf/p0053.pdf}}

Downloads: 0