Search Results - "Hollunder, B."

FV 1 Segregating the prefrontal cortex by means of deep brain stimulation by Hollunder, B., Li, N., Ostrem, J.L., Polosan, M., Akram, H., Vissani, M., Zhang, C., Sun, B., Finke, C., Kühn, A.A., Mazzoni, A., Romito, L.M., Zrinzo, L., Joyce, E., Chabardes, S., Starr, P.A., Horn, A.

“…Introduction: Neurocircuits are involved in the motor, cognitive, and affective dysfunctions of multiple brain disorders. Functional segregation into these…”
Get full text

Embedding defaults into terminological knowledge representation formalisms by Baader, Franz, Hollunder, Bernhard

“…We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less…”
Get full text

An alternative proof method for possibilistic logic and its application to terminological logics by Hollunder, Bernhard

“…Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures…”
Get full text

Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic by Baader, Franz, Hollunder, Bernhard

Get full text

Cardinality restrictions on concepts by Baader, Franz, Buchheit, Martin, Hollander, Bernhard

“…The concept description formalisms of existing description logics systems allow the user to express local cardinality restrictions on the fillers of a…”
Get full text

Consistency checking reduced to satisfiability of concepts in terminological systems by Hollunder, Bernhard

Get full text

Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited by Hollunder, B.

“…We present a new approach for checking the compatibility of policy descriptions. At present, policies are widely used for explicitly expressing non-functional…”
Get full text

WS-Policy: On Conditional and Custom Assertions by Hollunder, B.

“…Today, Web services play a dominant role in Enterprise Application Integration (EAI) and for realizing Service Oriented Architectures (SOA), which define the…”
Get full text

Quality of Service Attributes in Web Services by Al-Moayed, Ahmed, Hollunder, B

“…As Web Services development grew rapidly since 2002, the need for Quality of Services (QoS) has become a significant factor for building a trustworthy service…”
Get full text

Am empirical analysis of optimization techniques for terminological representation systems: Or: Making KRIS get a move on by Baader, Franz, Hollunder, Bernhard, Nebel, Bernhard, Profitlich, Hans-J rgen, Franconi, Enrico

Get full text

On Skolemization in constrained logics by Bürckert, Hans-Jürgen, Hollunder, Bernhard, Laux, Armin

Get full text