Sciweavers

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