4690 search results - page 197 / 938 » An operational semantics for Scheme |
208
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
183
click to vote
IJCAI
2007
15 years 8 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
135
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
165
click to vote
SYRCODIS
2008
15 years 8 months ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
176
click to vote
FLAIRS
2006
15 years 8 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...