7 search results - page 1 / 2 » Algebraic Study of Lattice-Valued Logic and Lattice-Valued M... |
ICLA
2009
Springer
14 years 25 days ago
2009
Springer
JUCS
2010
13 years 4 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
AMAST
2010
Springer
13 years 1 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
IGPL
2010
13 years 4 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
AMAI
2007
Springer
13 years 6 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...