1581 search results - page 20 / 317 » Mechanizing Inductive Reasoning |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed the experiments in proof assistant Coq that are reported here.
117
click to vote
ILP
2007
Springer
15 years 5 months ago
2007
Springer
Several activities related to semantically annotated resources can be enabled by a notion of similarity, spanning from clustering to retrieval, matchmaking and other forms of induc...
APPINF
2003
15 years 1 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ€...
103
click to vote
APWEB
2006
Springer
15 years 3 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
CCIA
2009
Springer
15 years 24 days ago
2009
Springer
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of t...