2152 search results - page 333 / 431 » On Automating the Calculus of Relations |
106
Voted
DLOG
1996
15 years 2 months ago
1996
In 1995, I nished my Ph.D. project which was focused on the selection of adequate Knowledge-Representation Systems (KRSs) for research applications. When I started working at the ...
74
Voted
IJCAI
1989
15 years 1 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
93
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We explore settings where a principal must make a decision about which action to take to achieve a desired outcome. The principal elicits the probability of achieving the outcome ...
129
click to vote
GIS
2008
ACM
15 years 1 months ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...
102
click to vote
BMCBI
2010
15 years 23 days ago
2010
Background: The quality of automated gene prediction in microbial organisms has improved steadily over the past decade, but there is still room for improvement. Increasing the num...