Sciweavers

7335 search results - page 183 / 1467
» Scene Based Reasoning
Sort
View
126
Voted
PSB
2010
15 years 1 months ago
Synthesis of Pharmacokinetic Pathways through Knowledge Acquisition and Automated Reasoning
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
Luis Tari, Saadat Anwar, Shanshan Liang, Jörg...
133
Voted
OTM
2007
Springer
15 years 9 months ago
Scalability of OWL Reasoning: Role condensates
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of ...
Sebastian Wandelt, Ralf Möller
138
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
112
Voted
ATAL
2010
Springer
15 years 4 months ago
AgentC: agent-based testbed for adversarial modeling and reasoning in the maritime domain
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
Michal Jakob, Ondrej Vanek, Stepán Urban, P...
113
Voted
ACSC
2002
IEEE
15 years 8 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