1269 search results - page 12 / 254 » Pi-Calculus in Logical Form |
AAAI
2006
13 years 11 months ago
2006
Several forms of reasoning in AI
WILF
2009
Springer
14 years 8 months ago
2009
Springer
This paper presents a novel method aimed to free form deformation
function approximation for purpose of image registration. The
method is currently feature-based. The algorithm i...
AML
2010
13 years 10 months ago
2010
We investigate the development of terms during cut-elimination in first-order logic and Peano arithmetic for proofs of existential formulas. The form of witness terms in cut-free p...
FLAIRS
2007
14 years 5 days ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
ADC
2006
Springer
14 years 3 months ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...