324 search results - page 19 / 65 » Repairing Incomplete Reasoners |
SARA
2007
Springer
15 years 5 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
SARA
2007
Springer
15 years 5 months ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
Partially preordered belief bases are very convenient for an efficient representation of incomplete knowledge. They offer flexibility and avoid to compare unrelated pieces of inf...
94
Voted
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
Knowledge gathering and investigative tasks in open environments can be very complex because the problemsolving context is constantly evolving, and the data may be incomplete, unr...
107
click to vote
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...