Sciweavers

774 search results - page 22 / 155
» Experiments with an Agent-Oriented Reasoning System
Sort
View
AVI
2006
13 years 9 months ago
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
Developing Information Visualization (InfoVis) techniques for complex knowledge domains makes it necessary to apply alternative methods of evaluation. In the evaluation of Gravi++...
Markus Rester, Margit Pohl
CMPB
2010
97views more  CMPB 2010»
13 years 6 months ago
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
Weiru Liu, Anbu Yue, David J. Timson
ESOP
2010
Springer
14 years 5 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ACSC
2002
IEEE
14 years 1 months ago
Representation and Reasoning for Goals in BDI Agents
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
John Thangarajah, Lin Padgham, James Harland
MIE
2008
131views Healthcare» more  MIE 2008»
13 years 9 months ago
Case-Based Reasoning to Explain Medical Model Exceptions
In medicine many exceptions occur. In medical practise and in knowledge-based systems too, it is necessary to consider them and to deal with them appropriately. In medical studies ...
Rainer Schmidt, Olga Vorobieva