4573 search results - page 251 / 915 » Automated Reasoning |
183
click to vote
IJCAI
1997
15 years 8 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
184
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
150
Voted
KR
1989
Springer
15 years 10 months ago
1989
Springer
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of...
208
click to vote
SBIA
2000
Springer
15 years 10 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
172
click to vote
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...