662 search results - page 28 / 133 » Formalizing Basic First Order Model Theory |
70
Voted
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...
152
click to vote
ICTAI
2010
IEEE
15 years 7 days ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
103
Voted
JSYML
2008
15 years 2 months ago
2008
0-stable 0-categorical linked quaternionic mappings are studied and are shown to correspond (in some sense) to special groups which are 0stable, 0-categorical, satisfy AP(3) and ha...
106
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
117
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...