Sciweavers

891 search results - page 21 / 179
» Towards Reasoning Pragmatics
Sort
View
82
Voted
FLAIRS
1998
15 years 3 months ago
Towards Partial Reasoning
Krzysztof Zbigniew Nowak
87
Voted
IJAIT
2008
70views more  IJAIT 2008»
15 years 1 months ago
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
Mustafa Jarrar, Stijn Heymans
FAC
1998
68views more  FAC 1998»
15 years 1 months ago
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
Jürgen Dingel, David Garlan, Somesh Jha, Davi...