2136 search results - page 104 / 428 » A Game-Theoretic Operational Semantics |
IJCAI
2007
13 years 10 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,...
FOSSACS
2003
Springer
14 years 2 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...
SYRCODIS
2008
13 years 10 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...
FLAIRS
2006
13 years 10 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...
SYRCODIS
2007
13 years 10 months ago
2007
The information is at the present time often saved and available in electronic form. With still increasing quantity of accessible, most frequently text information, the need of or...