Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

AISC
2008
Springer

favoriteEmaildiscussreport

127views Artificial Intelligence» more AISC 2008»

High-Level Theories

13 years 6 months ago

High-Level Theories

Download imps.mcmaster.ca

We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatizations, that is neither an effective nor a comfortable way to work with such theories. We present an approach which is closer to what users of mathematics employ, while still being based on formal structures.

Jacques Carette, William M. Farmer

Real-time Traffic

AISC 2008 | Artificial Intelligence | Basic Point | Comfortable Way | Low-level Axiomatizations |

claim paper

Related Content

» HighLevel and Generic Models for Visual Search When Does High Level Knowledge Help

» HighLevel Petri Nets as Type Theories in the Join Calculus

» ILPBased Scheduling with Time and Resource Constraints in High Level Synthesis

» Order Parameters for Minimax Entropy Distributions When Does High Level Knowledge Help

» Duality in high level petrinets a basis to do diagnoses

» Overlapping Communication and Computation with High Level Communication Routines

» Connector Rewriting with HighLevel Replacement Systems

» HighLevel Nets with Nets and Rules as Tokens

» Constraints and Application Conditions From Graphs to HighLevel Structures

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	AISC
Authors	Jacques Carette, William M. Farmer

Comments (0)