The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "KI"( http://dblp.L3S.de/Venues/KI )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ki

Publication years (Num. hits)
1993 (38) 1994 (44) 1995 (22) 1996 (40) 1997 (40) 1998 (22) 1999 (30) 2002 (27) 2003 (48) 2004 (35) 2005 (32) 2006 (39) 2007 (54) 2008 (54) 2009 (92) 2010 (51) 2011 (36) 2012 (29) 2013 (32) 2014 (31) 2015 (35) 2016 (21) 2017 (37) 2018 (36) 2019 (32) 2020 (34) 2021 (28) 2022 (18) 2023 (20)
Publication types (Num. hits)
inproceedings(1028) proceedings(29)
Venues (Conferences, Journals, ...)
KI(1057)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 163 occurrences of 139 keywords

Results
Found 1057 publication records. Showing 1057 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Klaas Dählmann, Ute Samland, Jürgen Sauer 0001 Developing Fuzzy Inference Systems from Qualitative Interviews for Travel Mode Choice in an Agent-Based Mobility Simulation. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Dvorák, Anna Rapberger, Stefan Woltran Strong Equivalence for Argumentation Frameworks with Collective Attacks. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anthony Hunter, Lisa Andreevna Chalaguine, Tomasz Czernuszenko, Emmanuel Hadoux, Sylwia Polberg Towards Computational Persuasion via Natural Language Argumentation Dialogues. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Erion Plaku, Yassin Warsame Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hlynur Davíð Hlynsson, Laurenz Wiskott Learning Gradient-Based ICA by Neurally Estimating Mutual Information. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Heiner Stuckenschmidt (eds.) KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Meilicke, Melisachew Wudage Chekol, Daniel Ruffinelli, Heiner Stuckenschmidt An Introduction to AnyBURL. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Sioutis, Tomi Janhunen Towards Leveraging Backdoors in Qualitative Constraint Networks. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Karsten Block, Simon Trumm, Premtim Sahitaj, Stefan Ollinger, Ralph Bergmann Clustering of Argument Graphs Using Semantic Similarity Measures. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nico Potyka Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract). Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Franz Baader, Adrian Nuradiansyah Mixing Description Logics in Privacy-Preserving Ontology Publishing. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcus Soll InformatiCup Competition 2019: Fooling Traffic Sign Recognition. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel Epistemic Multi-agent Planning Using Monte-Carlo Tree Search. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohsen Ahmadi Fahandar, Eyke Hüllermeier Analogy-Based Preference Learning with Kernels. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maryam Tavakol, Tobias Joppen, Ulf Brefeld, Johannes Fürnkranz Personalized Transaction Kernels for Recommendation Using MCTS. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lukas Sauer, Dominik Henrich, Wim Martens Towards Intuitive Robot Programming Using Finite State Automata. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felix Lindner 0001, Katrin Möllney Extracting Reasons for Moral Judgments Under Various Ethical Principles. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yamen Ajjour, Henning Wachsmuth, Johannes Kiesel, Martin Potthast, Matthias Hagen, Benno Stein 0001 Data Acquisition for Argument Search: The args.me Corpus. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Lüdtke, Alejandro Molina 0001, Kristian Kersting, Thomas Kirste Gaussian Lifted Marginal Filtering. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lisa Gutzeit, Alexander Fabisch, Christoph Petzoldt, Hendrik Wiese, Frank Kirchner Automated Robot Skill Learning from Demonstration for Various Robot Systems. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Soukaina Laabadi, Mohamed Naimi, Hassan El Amri, Boujemâa Achchab A Crow Search-Based Genetic Algorithm for Solving Two-Dimensional Bin Packing Problem. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Huber, Dominik Schiller, Elisabeth André Enhancing Explainability of Deep Reinforcement Learning Through Selective Layer-Wise Relevance Propagation. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sumitra Corraya, Florian Geißer, David Speck 0001, Robert Mattmüller An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Natalia Soboleva, Konstantin S. Yakovlev GAN Path Finder: Preliminary Results. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robin Schaefer, Manfred Stede Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ionut Moraru, Stefan Edelkamp, Santiago Franco, Moisés Martínez Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Aleksandrov, Toby Walsh Monotone and Online Fair Division. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stephan Opfer, Stefan Jakob, Alexander Jahl, Kurt Geihs ALICA 2.0 - Domain-Independent Teamwork. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Edward William Ayers, William T. Gowers, Mateja Jamnik A Human-Oriented Term Rewriting System. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Julius Brandl, Nicolas Breinl, Maximilian Demmler, Lukas Hartmann, Jörg Hähner, Anthony Stein Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller The Higher-Order Prover Leo-III (Extended Abstract). Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jürgen Altmann Autonomous Weapon Systems - Dangers and Need for an International Prohibition. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Özgür Lütfü Özçep Bounded-Memory Stream Processing. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mihai Pomarlan, John A. Bateman Understanding NLP Neural Networks by the Texts They Generate. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dorothee Rocznik, Klaus Goffart, Manuel Wiesche, Helmut Krcmar An Implementation and Evaluation of User-Centered Requirements for Smart In-house Mobility Services. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peer Neubert, Subutai Ahmad, Peter Protzel A Sequence-Based Neuronal Model for Mobile Robot Localization. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Hertle, Bernhard Nebel Efficient Auction Based Coordination for Distributed Multi-agent Planning in Temporal Domains Using Resource Abstraction. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Aleksandrov, Toby Walsh Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kyrill Schmid, Lenz Belzner, Marie Kiermeier, Alexander Neitz, Thomy Phan, Thomas Gabor, Claudia Linnhoff Risk-Sensitivity in Simulation Based Online Planning. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brijnesh J. Jain Condorcet's Jury Theorem for Consensus Clustering. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Schwartz 0002, Diedrich Wolter A Variant of Monte-Carlo Tree Search for Referring Expression Generation. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Lückehe, Sonja Veith, Gabriele von Voigt Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer Maximizing Expected Impact in an Agent Reputation Network. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Oehmcke, Oliver Kramer 0001 Knowledge Sharing for Population Based Neural Network Training. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Kriegel Acquisition of Terminological Knowledge in Probabilistic Description Logic. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peer Neubert, Peter Protzel Towards Hypervector Representations for Learning and Planning with Schemas. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Raab, Frank-Michael Schleif Sparse Transfer Classification for Text Documents. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Lüdtke, Max Schröder, Thomas Kirste Approximate Probabilistic Parallel Multiset Rewriting Using MCMC. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Barry, Hubert Abgottspon, René Schumann Solver Tuning and Model Configuration. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Joppen, Christian Wirth 0001, Johannes Fürnkranz Preference-Based Monte Carlo Tree Search. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch Model Checking for Coalition Announcement Logic. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Seda Polat Erdeniz, Alexander Felfernig, Muesluem Atas LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ilir Kola, Marco Ragni Predict the Individual Reasoner: A New Approach. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Krakowczyk, Jannik Wolff, Alexandru Ciobanu, Dennis Julian Meyer, Christopher-Eyk Hrabia Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tanya Braun, Ralf Möller 0001 Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Riesterer, Daniel Brand, Marco Ragni The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcel Gehrke, Tanya Braun, Ralf Möller 0001 Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frank Trollmann, Anni-Yasmin Turhan (eds.) KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patryk Hopner, Eneldo Loza Mencía Analysis and Optimization of Deep Counterfactual Value Networks. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lisset Salinas Pinacho, Alexander Wich, Fereshta Yazdani, Michael Beetz Acquiring Knowledge of Object Arrangements from Human Examples for Household Robots. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Beßler, Mihai Pomarlan, Aliakbar Akbari, Muhayyuddin, Mohammed Diab, Jan Rosell, John A. Bateman, Michael Beetz Assembly Planning in Cluttered Environments Through Heterogeneous Reasoning. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kristina Y. Yordanova Extracting Planning Operators from Instructional Texts for Behaviour Interpretation. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonas Prellberg, Oliver Kramer 0001 Limited Evaluation Evolutionary Optimization of Large Neural Networks. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dietmar Jannach Keynote: Session-Based Recommendation - Challenges and Recent Advances. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter 0001, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel 0001, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sven Stauden, Michael Barz, Daniel Sonntag Visual Search Target Inference Using Bag of Deep Visual Words. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ankuj Arora, Humbert Fiorino, Damien Pellier, Sylvie Pesty Action Model Acquisition Using Sequential Pattern Mining. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonid Berov Steering Plot Through Personality and Affect: An Extended BDI Model of Fictional Characters. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nayabrasul Shaik, Thomas Liebig, Christopher Kirsch, Heinrich Müller Dynamic Map Update of Non-static Facility Logistics Environment with a Multi-robot System. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oliver Kramer 0001 Evolving Kernel PCA Pipelines with Evolution Strategies. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felix Mohr, Theo Lettmann, Eyke Hüllermeier Planning with Independent Task Networks. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahcène Boubekki, Ulf Brefeld, Cláudio Leonardo Lucchesi, Wolfgang Stille Propagating Maximum Capacities for Recommendation. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mihai Pomarlan, Sebastian Koralewski, Michael Beetz From Natural Language Instructions to Structured Robot Plans. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Albin Zehe, Martin Becker 0003, Fotis Jannidis, Andreas Hotho Towards Sentiment Analysis on German Literature. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jochen Weiner, Lorenz Diener, Simon Stelter, Eike Externest, Sebastian Kühl, Christian Herff, Felix Putze, Timo Schulze, Mazen Salous, Hui Liu 0035, Dennis Küster, Tanja Schultz Bremen Big Data Challenge 2017: Predicting University Cafeteria Load. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Almuth Meier, Oliver Kramer 0001 An Experimental Study of Dimensionality Reduction Methods. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Kaufmann, Roman Kalkreuth Parametrizing Cartesian Genetic Programming: An Empirical Study. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Sileno, Isabelle Bloch, Jamal Atif, Jean-Louis Dessalles Similarity and Contrast on Conceptual Spaces for Pertinent Description Generation. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gerhard Schurz, Paul D. Thorn A Priori Advantages of Meta-Induction and the No Free Lunch Theorem: A Contradiction? Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm (eds.) KI 2017: Advances in Artificial Intelligence - 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Lückehe, Katharina Schmidt, Karsten Plotz, Gabriele von Voigt Analysis of Sound Localization Data Generated by the Extended Mainzer Kindertisch. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcus Soll, Malte Vosgerau ClassifyHub: An Algorithm to Classify GitHub Repositories. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Binal Javia, Philipp Cimiano A Logic Programming Approach to Collaborative Autonomous Robotics. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heiko Paulheim A Robust Number Parser Based on Conditional Random Fields. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp Improving the Cache-Efficiency of Shortest Path Search. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucas Bechberger, Kai-Uwe Kühnberger A Thorough Formalization of Conceptual Spaces. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bram Aerts, Kylian Van Dessel, Joost Vennekens Alarm Management on a Liquid Bulk Terminal. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Ringler, Heiko Paulheim One Knowledge Graph to Rule Them All? Analyzing the Differences Between DBpedia, YAGO, Wikidata & co. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Aleksandrov, Toby Walsh Most Competitive Mechanisms in Online Fair Division. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lukas Reuter 0001, Jan Ole Berndt, Ingo J. Timm Towards Simulation-Based Role Optimization in Organizations. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Aleksandrov, Toby Walsh Expected Outcomes and Manipulations in Online Fair Division. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nguyen Duy Hung A Generalization of Probabilistic Argumentation with Dempster-Shafer Theory. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Reiterer, Michael W. Hofbaur Opportunistic Planning with Recovery for Robot Safety. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elann Lesnes-Cuisiniez, Jesus Zegarra Flores, Jean-Pierre Radoux Gesture ToolBox: Touchless Human-Machine Interface Using Deep Learning. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Fuenmayor, Christoph Benzmüller Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Max Schröder, Stefan Lüdtke, Sebastian Bader 0001, Frank Krüger 0001, Thomas Kirste LiMa: Sequential Lifted Marginal Filtering on Multiset State Descriptions. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tanya Braun, Ralf Möller 0001 Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lukas Heppe, Thomas Liebig Real-Time Public Transport Delay Prediction for Situation-Aware Routing. Search on Bibsonomy KI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 1057 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license