Sciweavers

2519 search results - page 90 / 504
» Reasoning with Textual Cases
Sort
View
IADIS
2004
15 years 5 months ago
The case for a holistic consideration of internet control
With the Internet rapidly becoming a ubiquitous and global tool inveigling all spheres of our lives so with the joys and pleasure comes the pain. There are many reasons why govern...
Alan Tracey, Helen Richardson
LOGCOM
2006
90views more  LOGCOM 2006»
15 years 4 months ago
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
Nick Bezhanishvili, Balder ten Cate
SEMWEB
2005
Springer
15 years 10 months ago
Paraconsistent Reasoning for the Semantic Web
Due to the Semantic Web’s decentralised and distributed management, contradictory information is and will remain frequent. However, classical reasoning systems fail to work prop...
Sebastian Schaffert, François Bry, Philippe...
IEAAIE
2009
Springer
15 years 11 months ago
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...
Tibor Bosse, Charlotte Gerritsen
ISIPTA
2005
IEEE
151views Mathematics» more  ISIPTA 2005»
15 years 10 months ago
Towards a Unifying Theory of Logical and Probabilistic Reasoning
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
Rolf Haenni