Bernhard Hollunder

33 papers A* 4A 5C 1Misc 2Journal 14Unranked 5

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	Tool Chains in Agile ALM Environments: A Short Introduction. OTM Workshops Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier
2013	J	`jnl`	An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics CoRR Bernhard Hollunder
2010	C	`conf`	Quality of Service Attributes in Web Services. ICSEA Ahmed Al-Moayed, Bernhard Hollunder
2009	A	`conf`	Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited. ICWS Bernhard Hollunder
2009	A	`conf`	WS-Policy: On Conditional and Custom Assertions. ICWS Bernhard Hollunder
1996	J	`jnl`	Cardinality Restrictions on Concepts. Artif. Intell. Franz Baader, Martin Buchheit, Bernhard Hollunder
1996	J	`jnl`	Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. Ann. Math. Artif. Intell. Bernhard Hollunder
1996	J	`jnl`	On Skolemization in Constrained Logics. Ann. Math. Artif. Intell. Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
1995	J	`jnl`	An alternative proof method for possibilistic logic and its application to terminological logics. Int. J. Approx. Reason. Bernhard Hollunder
1995	J	`jnl`	Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reason. Franz Baader, Bernhard Hollunder
1995	J	`jnl`	Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. J. Autom. Reason. Franz Baader, Bernhard Hollunder
1995	Misc	`conf`	Task Acquisition with a Description Logic Reasoner. KI Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
1994	—	`—`	Algorithmic foundations of terminological knowledge representation systems. Bernhard Hollunder
1994	J	`jnl`	Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
1994	A	`conf`	An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. UAI Bernhard Hollunder
1994	Misc	`conf`	Cardinality Restrictions on Concepts. KI Franz Baader, Martin Buchheit, Bernhard Hollunder
1994	A	`conf`	Concept Logics with Function Symbols. ECAI Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
1993	J	`jnl`	"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. Künstliche Intell. Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt
1993	A*	`conf`	How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI Franz Baader, Bernhard Hollunder
1992	A*	`conf`	An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
1992	—	`conf`	Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning Franz Baader, Bernhard Hollunder
1992	A*	`conf`	Embedding Defaults into Terminological Knowledge Representation Formalisms. KR Franz Baader, Bernhard Hollunder
1992	J	`jnl`	Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91). Künstliche Intell. Bernhard Hollunder, Bernhard Nebel
1992	J	`jnl`	Terminologische Logiken. Künstliche Intell. Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
1992	J	`jnl`	The Complexity of Existential Quantification in Concept Languages. Artif. Intell. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela
1991	—	`conf`	A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK Franz Baader, Bernhard Hollunder
1991	J	`jnl`	KRIS: Knowledge Representation and Inference System. SIGART Bull. Franz Baader, Bernhard Hollunder
1991	A*	`conf`	Qualifying Number Restrictions in Concept Languages. KR Bernhard Hollunder, Franz Baader
1991	J	`jnl`	Second International Conference: Principles of Knowledge Representation and Reasoning - KR'91. Künstliche Intell. Bernhard Hollunder, Bernhard Nebel
1991	—	`conf`	Terminological Knowledge Representation: A Proposal for a Terminological Logic. Description Logics Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich
1990	—	`conf`	Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems. GWAI Bernhard Hollunder
1990	A	`conf`	Subsumption Algorithms for Concept Description Languages. ECAI Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß
1989	—	`book`	Subsumption algorithms for some attributive concept description languages. Bernhard Hollunder