6201 search results - page 41 / 1241 » Implementation of Axiomatic Language |
164
click to vote
AI
2011
Springer
14 years 10 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
106
Voted
SMALLTALK
2007
Springer
15 years 10 months ago
2007
Springer
133
Voted
PADL
2004
Springer
15 years 9 months ago
2004
Springer
93
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
97
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
