Integrating diverse formalisms into modular knowledge representation systems offers increased expressivity, modeling convenience, and computational benefits. 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 multi-logic systems. We show how modules and modular systems give rise to transition graphs, which are a natural and convenient representation of solvers, an idea pioneered by the SAT community. These graphs lend themselves well to extensions that capture such important solver design features as learning. In the paper, we consider two flavors of learning for modular formalisms, ...
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundat...
We develop a model-based approach to reasoning, in which the knowledge base is represented as a set ...
Copyright © 2016, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rig...
AbstractIntegrating diverse formalisms into modular knowledge representation systems offers increase...
Integrating diverse formalisms into modular knowledge representation systems offers increased expres...
Integrating diverse formalisms into modular knowledge representation systems offers increased expres...
Modularity is an essential aspect of knowledge representation and reasoning theory and practice. It ...
A fundamental task for propositional logic is to compute models of propositional formulas. Programs ...
Modularity is essential for modeling large-scale practical applications.We propose modular logic pro...
The past decade has witnessed the development of many important declarative languages for knowledge ...
abstract: Knowledge representation and reasoning is a prominent subject of study within the field of...
With the recent development of a new ubiquitous nature of data and the profusity of available knowl...
Abstract. The work we describe here is a part of a research program of developing foundations of dec...
Nieuwenhuis et al. (2006. Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logeman...
Nieuwenhuis, Oliveras, and Tinelli showed how to describe enhancements of the Davis-Putnam-Logemann-...
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundat...
We develop a model-based approach to reasoning, in which the knowledge base is represented as a set ...
Copyright © 2016, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rig...
AbstractIntegrating diverse formalisms into modular knowledge representation systems offers increase...
Integrating diverse formalisms into modular knowledge representation systems offers increased expres...
Integrating diverse formalisms into modular knowledge representation systems offers increased expres...
Modularity is an essential aspect of knowledge representation and reasoning theory and practice. It ...
A fundamental task for propositional logic is to compute models of propositional formulas. Programs ...
Modularity is essential for modeling large-scale practical applications.We propose modular logic pro...
The past decade has witnessed the development of many important declarative languages for knowledge ...
abstract: Knowledge representation and reasoning is a prominent subject of study within the field of...
With the recent development of a new ubiquitous nature of data and the profusity of available knowl...
Abstract. The work we describe here is a part of a research program of developing foundations of dec...
Nieuwenhuis et al. (2006. Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logeman...
Nieuwenhuis, Oliveras, and Tinelli showed how to describe enhancements of the Davis-Putnam-Logemann-...
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundat...
We develop a model-based approach to reasoning, in which the knowledge base is represented as a set ...
Copyright © 2016, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rig...