Skip to search formSkip to main contentSkip to account menu

BAY-a-1040

Known as: BAY a 1040, BAYa1040 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
This paper investigates the valuation of an option to invest in an R&D project of uncertain cost on a finite time horizon. The… 
2014
2014
Multi-Context Systems (MCSs) are a formalism for systems consisting of knowledge bases (possibly heterogeneous and non-monotonic… 
2012
2012
Multi-context systems are a formalism for interlinking knowledge-based system (contexts) which interact via (possibly… 
2009
2009
The realization of the Semantic Web vision, in which computa tional logic has a prominent role, has stimulated a lot of research… 
2008
2008
The metabolic syndrome is quite common in the general population and its prevalence will increase in the future. The features of… 
2007
2007
This paper is directed towards an infrastructure for handli ng both uncertainty and vagueness in the Rules, Logic, and Proof… 
2005
2005
In this paper, we present the agent programming language POGTGolog, which is a combination of explicit agent programming in Golog… 
2005
2005
We present the action language GC+ for reasoning about actions in multi-agent systems under probabilistic uncertainty and partial… 
2003
2003
The action language is an important high-level formalism for describing actions, which has evolved from a number of earlier… 
2003
2003
Mobile robots generally have only incomplete knowledge about their world. This knowledge is augmented through sensing actions…