LS 01 Logik in der Informatik : [36]

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 36
Issue DateTitleAuthor(s)
2024Query evaluation revised: parallel, distributed, via rewritingsSchwentick, Thomas; Spinrath, Christopher; Pichler, Reinhard
2023A conditional perspective of belief revisionKern-Isberner, Gabriele; Sezgin, Meliha; Fermé, Eduardo
2022-09-19On establishing robust consistency in answer set programsThevapalan, Andre; Kern-Isberner, Gabriele
2021-07-06On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logicsHeyninck, Jesse; Kern-Isberner, Gabriele; Thimm, Matthias; Skiba, Kenneth
2021-05-28Ranking kinematics for revising by contextual informationSezgin, Meliha; Kern-Isberner, Gabriele; Beierle, Christoph
2019Reasoning about distributed relational data and query evaluationSchwentick, Thomas; Geck, Gaetano; Segoufin, Luc
2019Dynamic expressibility under complex changesSchwentick, Thomas; Vortmeier, Nils; Vianu, Victor
2017Context-free games on strings and nested wordsSchwentick, Thomas; Schuster, Martin; Löding, Christof
2016Logics on data wordsSchwentick, Thomas; Kara, Ahmet; Bollig, Benedikt
2015Belief revision, non-monotonic reasoning and secrecy for epistemic agentsKern-Isberner, Gabriele; Krümpelmann, Patrick; Beierle, Christoph
2013Automatic signal enhancements for spectroscopic measurementsMüller, Heinrich; Schlenke, Jan; Rudolph, Rudolph
2015Small dynamic complexity classesGrädel, Erich; Zeume, Thomas; Schwentick, Thomas
2013-05-02Komplexität des typechecking-Problems für Top-down XML-TransformationenSchwentick, Thomas; Neubauer, Johannes
2010-07-06Feature extraction in NMR data analysisRahmann, Sven; Koh, Hyung-Won; Hüllermeier, Eyke
2009-03-17T07:56:00ZIntegration, Indexierung und Interaktion hochdimensionaler DatenobjekteDittrich, Gisbert; Koll, Konstantin; Müller, Heinrich
2007-10-15T13:34:14ZGleichheitsabhängigkeiten zwischen Objekten durch parametrisierte ZuweisungenDittrich, Gisbert; Chernuchin, Daniel; Padawitz, Peter
2007-01-05T12:09:24ZDirected evolutionary algorithmsReusch, Bernd; Berlik, Stefan; Rudolph, Günter
2006On theory of information functions presenceTsintsadze, Magda
2005-02-07Logics which allow Degrees of Truth and Degrees of ValidityThiele, Helmut; Lehmke, Stephan; Reusch, Bernd; Padawitz, Peter; Dubois, Didier
2003-01-27Asymmetrische EvolutionsstrategienReusch, Bernd; Hildebrand, Lars; Banzhaf, Wolfgang
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 36