1419 search results - page 191 / 284 » Notes on Formalizing Context |
120
Voted
IANDC
2007
15 years 20 days ago
2007
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...
109
Voted
CN
2002
15 years 17 days ago
2002
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
100
Voted
LOBJET
2000
15 years 15 days ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
116
Voted
CONCURRENCY
2008
15 years 9 days ago
2008
context. In contrast to previous approaches that take a very abstract view of IQ properties, we allow scientists to define the quality characteristics that are of importance to the...
131
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...