Sciweavers

801 search results - page 60 / 161
» Reasoning with Reasons in Case-Based Comparisons
Sort
View
AIA
2007
15 years 3 months ago
Case representation ontology for case retrieval systems in medical domains
In multidisciplinary medical services (e.g. Intensive Care Units or Pain Management Centers), Case-Based Reasoning systems require good case representations. When multiple disorde...
José M. Juárez, Jose Salort, Jos&eac...
ICAIL
2009
ACM
15 years 8 months ago
Reasoning with spatial plans on the semantic web
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...
Rinke Hoekstra, Radboud Winkels, Erik Hupkes
AI
2008
Springer
15 years 2 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
CSB
2004
IEEE
112views Bioinformatics» more  CSB 2004»
15 years 5 months ago
Reasoning about Molecular Similarity and Properties
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
Rahul Singh
FC
2010
Springer
169views Cryptology» more  FC 2010»
15 years 5 months ago
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
Bogdan Groza, Marius Minea