Sciweavers

4573 search results - page 122 / 915
» Automated Reasoning
Sort
View
151
Voted
RR
2009
Springer
16 years 2 months ago
Scalable Web Reasoning Using Logic Programming Techniques
Gergely Lukácsy, Péter Szeredi
166
Voted
TARK
2009
Springer
16 years 2 months ago
Reasoning about knowledge of unawareness revisited
Joseph Y. Halpern, Leandro Chaves Rêgo
RWEB
2007
Springer
16 years 1 months ago
Rule-Based Policy Representation and Reasoning for the Semantic Web
Piero A. Bonatti, Daniel Olmedilla
151
Voted
RWEB
2007
Springer
16 years 1 months ago
Reasoning in Semantic Wikis
Markus Krötzsch, Sebastian Schaffert, Denny V...
128
Voted
ICCBR
2005
Springer
16 years 29 days ago
Reasoning with Textual Cases
Stefanie Brüninghaus, Kevin D. Ashley