887 search results - page 48 / 178 » A Science of Reasoning |
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
A massive rise in the number and expenditure of pathology ordering by general practitioners (GPs) concerns the government and attracts various studies with the aim to understand a...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
RR
2010
Springer
13 years 7 months ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
ICLP
2010
Springer
14 years 24 days ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...