Sciweavers

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