Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
Background: Virtual or in silico ligand screening combined with other computational methods is one of the most promising methods to search for new lead compounds, thereby greatly ...
Tania Pencheva, David Lagorce, Ilza Pajeva, Bruno ...
We conducted an ethnographic field study examining how a building design team used representational artifacts to coordinate the design of building systems, structure, and architect...
Melanie Tory, Sheryl Staub-French, Barry A. Po, Fu...