3773 search results - page 639 / 755 » Logical Reasoning |
128
click to vote
ICALT
2008
IEEE
15 years 11 months ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
144
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
125
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
149
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
169
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...