8228 search results - page 317 / 1646 » Structural Logical Relations |
212
click to vote
AIIA
2005
Springer
16 years 8 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
168
click to vote
LANMR
2004
15 years 8 months ago
2004
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions.1 It offers some ...
160
click to vote
APAL
2006
15 years 6 months ago
2006
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
174
Voted
BSL
2004
15 years 6 months ago
2004
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
143
click to vote
ICDAR
2003
IEEE
16 years 7 hour ago
2003
IEEE
Template-driven HTML documents posses an implicit, fixed schema denoting concepts and their relationships in a hierarchical fashion. Discovering this schema remains a relatively ...