Preferences in answer set programmingBREWKA, Gerhard.Lecture notes in computer science. 2006, pp 1-10, issn 0302-9743, isbn 3-540-45914-6, 1Vol, 10 p.Conference Paper

Learning search control knowledge for equational theorem provingSCHULZ, Stephan.Lecture notes in computer science. 2001, pp 320-334, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Possible worlds semantics for credulous and contraction inferenceBOCHMAN, Alexander.Lecture notes in computer science. 2001, pp 94-105, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Minimal model generation based on E-hyper tableauxLU, W.Lecture notes in computer science. 1997, pp 99-110, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Exploiting conditional equivalences in connection calculiBRÜNING, Stefan.Lecture notes in computer science. 2001, pp 122-137, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Bayesian learning and evolutionary parameter optimizationRAGG, Thomas.Lecture notes in computer science. 2001, pp 48-62, issn 0302-9743, isbn 3-540-42612-4Conference Paper

The point algebra for branching time revisitedBROXVALL, Mathias.Lecture notes in computer science. 2001, pp 106-121, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Modelling subjective distancesBERENDT, B.Lecture notes in computer science. 1997, pp 195-206, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Collaborative Supply Net ManagementSUNDERMEYER, Kurt.Lecture notes in computer science. 2001, pp 467-470, issn 0302-9743, isbn 3-540-42612-4Conference Paper

History-based diagnosis templates in the framework of the situation calculusIWAN, Gero.Lecture notes in computer science. 2001, pp 244-259, issn 0302-9743, isbn 3-540-42612-4Conference Paper

From theory to practice : AI planning for high performance elevator control: (Extended abstract)KOEHLER, Jana.Lecture notes in computer science. 2001, pp 459-462, issn 0302-9743, isbn 3-540-42612-4Conference Paper

A contribution to the question of authenticity of Rhesus using part-of-speech taggingLUDWIG, B.Lecture notes in computer science. 1997, pp 231-242, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Multi-flip networks : Parallelizing GenSATSTROHMAIER, A.Lecture notes in computer science. 1997, pp 349-360, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Rigid hypertableauxKÜHN, M.Lecture notes in computer science. 1997, pp 87-98, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Answer sets and qualitative decision making = Les ensembles-réponses et la prise de décision qualitativeBREWKA, Gerhard.Synthese (Dordrecht). 2005, Vol 146, Num 1-2, pp 171-187, issn 0039-7857, 17 p.Article

A defense model for games with incomplete informationJAMROGA, Wojciech.Lecture notes in computer science. 2001, pp 260-274, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Inferring implicit state knowledge and plans with sensing actionsTHIELSCHER, Michael.Lecture notes in computer science. 2001, pp 366-380, issn 0302-9743, isbn 3-540-42612-4Conference Paper

KI 2001 : advances in artificial intelligence (Vienna, 19-21 September 2001)Baader, Franz; Brewka, Gerhard; Eiter, Thomas et al.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42612-4, XIII, 470 p, isbn 3-540-42612-4Conference Proceedings

COLBERT : A language for reactive control in SapphiraKONOLIGE, K.Lecture notes in computer science. 1997, pp 31-52, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Causation and nonmonotonic temporal reasoningGRÜNWALD, P.Lecture notes in computer science. 1997, pp 159-170, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Resource-adaptive action planning in a dialogue system for repair supportWEIS, T.Lecture notes in computer science. 1997, pp 361-372, issn 0302-9743, isbn 3-540-63493-2Conference Paper

On the relationship between defeasible logic and well-founded semanticsBREWKA, Gerhard.Lecture notes in computer science. 2001, pp 121-132, issn 0302-9743, isbn 3-540-42593-4Conference Paper

Prediction of regular search tree growth by spectral analysisEDELKAMP, Stefan.Lecture notes in computer science. 2001, pp 154-168, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Suffix tree automata in state space searchEDELKAMP, S.Lecture notes in computer science. 1997, pp 381-384, issn 0302-9743, isbn 3-540-63493-2Conference Paper

Generalizations of Dung Frameworks and Their Role in Formal Argumentation : Representation and ReasoningBREWKA, Gerhard; POLBERG, Sylwia; WOLTRAN, Stefan et al.IEEE intelligent systems. 2014, Vol 29, Num 1, pp 30-38, issn 1541-1672, 9 p.Article