6829 search results - page 80 / 1366 » Quantitative Generalizations of Languages |
IJCAI
1989
15 years 2 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
100
click to vote
DM
2010
15 years 1 months ago
2010
An infinite word is S-automatic if, for all n 0, its (n+1)st letter is the output of a deterministic automaton fed with the representation of n in the numeration system S. In this...
101
click to vote
SIGPLAN
2008
15 years 1 months ago
2008
Programming language "paradigms" are a moribund and tedious legacy of a bygone age. Modern language designers pay them no respect, so why do our courses slavishly adhere...
116
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
180
click to vote
SLOGICA
2011
14 years 8 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...