3776 search results - page 563 / 756 » Partition-Based Logical Reasoning |
102
Voted
ENTCS
2008
15 years 3 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
108
Voted
IGPL
2010
15 years 2 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
129
Voted
DLOG
2009
15 years 1 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
131
Voted
ECSQARU
2009
Springer
15 years 1 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
144
Voted
CSL
2011
Springer
14 years 10 months ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...