2722 search results - page 222 / 545 » Automating Language Evolution |
138
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
142
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
146
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
136
Voted
LPNMR
1999
Springer
15 years 9 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
147
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...