746 search results - page 12 / 150 » Connectionist Propositional Logic |
107
click to vote
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...
IGPL
2007
14 years 10 months ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
CADE
2008
Springer
14 years 12 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch