Calendrical calculations with time partitionings and fuzzy time intervalsOHLBACH, Hans Jürgen.Lecture notes in computer science. 2004, pp 118-133, issn 0302-9743, isbn 3-540-22961-2, 16 p.Conference Paper

PPSWR 2004 : principles and practice of semantic web reasoning (St. Malo, 6-10 September 2004)Ohlbach, Hans Jürgen; Schaffert, Sebastian.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22961-2, VI, 163 p, isbn 3-540-22961-2Conference Proceedings

A PDDL based tool for automatic Web service compositionPEER, Joachim.Lecture notes in computer science. 2004, pp 149-163, issn 0302-9743, isbn 3-540-22961-2, 15 p.Conference Paper

Static type-checking of Datalog with ontologiesHENRIKSSON, Jakob; MAŁUSZYNSKI, Jan.Lecture notes in computer science. 2004, pp 76-89, issn 0302-9743, isbn 3-540-22961-2, 14 p.Conference Paper

Rules and queries with ontologies: A unified logical frameworkFRANCONI, Enrico; TESSARIS, Sergio.Lecture notes in computer science. 2004, pp 50-60, issn 0302-9743, isbn 3-540-22961-2, 11 p.Conference Paper

Qualitative and quantitative practical reasoning (Bad Honnef, June 9-12, 1997)Gabbay, Dov M; Kruse, Rudolf; Nonnengart, Andreas et al.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63095-3, X, 620 p, isbn 3-540-63095-3Conference Proceedings

Towards a multi-calendar temporal type system for (Semantic) Web query languagesBRY, Francois; SPRANGER, Stephanie.Lecture notes in computer science. 2004, pp 102-117, issn 0302-9743, isbn 3-540-22961-2, 16 p.Conference Paper

Ontology Driven Visualisation of Maps with SVG : Technical AspectsIPFELKOFER, Frank; LORENZ, Bernhard; OHLBACH, Hans Jürgen et al.Lecture notes in computer science. 2006, pp 329-335, issn 0302-9743, isbn 3-540-38329-8, 1Vol, 7 p.Conference Paper

A hybrid spatial model for representing indoor environmentsLORENZ, Bernhard; OHLBACH, Hans Jürgen; STOFFEL, Edgar-Philipp et al.Lecture notes in computer science. 2006, pp 102-112, issn 0302-9743, isbn 3-540-49466-9, 1Vol, 11 p.Conference Paper

A compositional reasoning system for executing nonmonotonic theories of reasoningENGELFRIET, J; TREUR, J.Lecture notes in computer science. 1997, pp 252-266, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Combining evidence under partial ignoranceVOORBRAAK, F.Lecture notes in computer science. 1997, pp 574-588, issn 0302-9743, isbn 3-540-63095-3Conference Paper

How to change factual beliefs using laws and dependence informationHERZIG, A.Lecture notes in computer science. 1997, pp 311-321, issn 0302-9743, isbn 3-540-63095-3Conference Paper

The α-junctions : Combination operators applicable to belief functionsSMETS, P.Lecture notes in computer science. 1997, pp 131-153, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Towards a formalization of narratives : Actions with duration, concurrent actions and qualificationsRADZIKOWSKA, A.Lecture notes in computer science. 1997, pp 481-495, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Belief functions with nonstandard valuesKRAMOSIL, I.Lecture notes in computer science. 1997, pp 380-391, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Creating prototypes for fast classification in Dempster-Shafer clusteringSCHUBERT, J.Lecture notes in computer science. 1997, pp 525-535, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Integrating preference orderings into argument-based reasoningAMGOUD, L; CAYROL, C.Lecture notes in computer science. 1997, pp 159-170, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Structured Belief bases : A practical approach to prioritised base revisionGABBAY, D; RODRIGUES, O.Lecture notes in computer science. 1997, pp 267-281, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Data retrieval and evolution on the (semantic) Web: A deductive approachBRY, Francois; FURCHE, Tim; PATRANJAN, Paula-Lavinia et al.Lecture notes in computer science. 2004, pp 34-49, issn 0302-9743, isbn 3-540-22961-2, 16 p.Conference Paper

Error tolerance method in multiple-valued logicLEE, S.Lecture notes in computer science. 1997, pp 392-405, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Multiple subarguments in logic, argumentation, rhetoric and text generationREED, C; LONG, D.Lecture notes in computer science. 1997, pp 496-510, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Multisensor data fusion in situation assessment processesAPPRIOU, A.Lecture notes in computer science. 1997, pp 1-15, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Process modeling with different qualities of knowledgeMAY, W.Lecture notes in computer science. 1997, pp 436-450, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Rational default quantifier logic : A canonical framework for monotonic reasoning about first-order default knowledge : Extended abstractWEYDERT, E.Lecture notes in computer science. 1997, pp 589-599, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Representing and reasoning with events from natural languageLEITH, M; CUNNINGHAM, J.Lecture notes in computer science. 1997, pp 406-420, issn 0302-9743, isbn 3-540-63095-3Conference Paper