1941 search results - page 66 / 389 » Reasoning about Computations Using Two-Levels of Logic |
SOFSEM
2010
Springer
16 years 7 hour ago
2010
Springer
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
129
click to vote
EXPERT
2006
15 years 3 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
128
click to vote
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
111
click to vote
LATA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
145
click to vote
ENTCS
2007
15 years 3 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...