Sciweavers

385 search results - page 46 / 77
» KNAML: A Knowledge Representation Language for Distributed R...
Sort
View
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
14 years 1 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
VLDB
1998
ACM
117views Database» more  VLDB 1998»
14 years 27 days ago
DTL's DataSpot: Database Exploration Using Plain Language
DTL's DataSpot is a database publishing tool that enables non-technical end users to explore a database using free-form plain language queries combined with hypertext navigat...
Shaul Dar, Gadi Entin, Shai Geva, Eran Palmon
CBMS
2007
IEEE
14 years 3 months ago
Managing Conceptual Revisions in a Temporal Fungal Taxonomy
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
Arash Shaban-Nejad, Volker Haarslev
ATAL
2010
Springer
13 years 9 months ago
Flexible task resourcing for intelligent agents
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
Murat Sensoy, Wamberto Weber Vasconcelos, Timothy ...
IHI
2010
127views Healthcare» more  IHI 2010»
13 years 3 months ago
Using clinical preferences in argumentation about evidence from clinical trials
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
Anthony Hunter, Matthew Williams