Search results for "KI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hyeon Bae, Sungshin Kim, Jang-Mok Kim, Kwang-Baek Kim	Development of Flexible and Adaptable Fault Detection and Diagnosis Algorithm for Induction Motors Based on Self-organization of Feature Extraction.	KI	2005	DBLP DOI BibTeX RDF
1	Ian Horrocks 0001	Description Logics in Ontology Applications.	KI	2005	DBLP DOI BibTeX RDF
1	Mirjam Minor, Sandro Köppen	Design of Geologic Structure Models with Case Based Reasoning.	KI	2005	DBLP DOI BibTeX RDF
1	Qiang Zhang 0008	New Stability Results for Delayed Neural Networks.	KI	2005	DBLP DOI BibTeX RDF
1	Claudius Gros	Self-sustained Thought Processes in a Dense Associative Network.	KI	2005	DBLP DOI BibTeX RDF
1	Hwa-Joong Kim, Dong-Ho Lee, Paul C. Xirouchakis	An Optimal Algorithm for Disassembly Scheduling with Assembly Product Structure.	KI	2005	DBLP DOI BibTeX RDF
1	Erik Schaffernicht, Christian Martin 0001, Andrea Scheidig, Horst-Michael Gross	A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot.	KI	2005	DBLP DOI BibTeX RDF
1	Eufrasio de Andrade Lima Neto, Francisco de A. T. de Carvalho, Eduarda S. Freire	Applying Constrained Linear Regression Models to Predict Interval-Valued Data.	KI	2005	DBLP DOI BibTeX RDF
1	Yacine Zemali	Controlled Reachability Analysis in AI Planning: Theory and Practice.	KI	2005	DBLP DOI BibTeX RDF
1	Bernd Schattenberg, Andreas Weigl, Susanne Biundo	Hybrid Planning Using Flexible Strategies.	KI	2005	DBLP DOI BibTeX RDF
1	Thilo Weigel, Klaus Rechert, Bernhard Nebel	Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing.	KI	2005	DBLP DOI BibTeX RDF
1	Sarunas Raudys	Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices.	KI	2004	DBLP DOI BibTeX RDF
1	Kang Ryoung Park	Vision-Based Facial and Eye Gaze Tracking System.	KI	2004	DBLP DOI BibTeX RDF	Dual Cameras, Dual IR-LED Illuminators, Gaze Detection
1	Qin Sun, Christoph Schommer, Alexander Lang	Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam.	KI	2004	DBLP DOI BibTeX RDF	Machine Learning, Knowledge-Based Systems, Document Classification, Concept Learning
1	Susanne Biundo, Thom W. Frühwirth, Günther Palm (eds.)	KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings	KI	2004	DBLP DOI BibTeX RDF
1	Andreas Eisele 0001, Tim vor der Brück	Error-Tolerant Finite-State Lookup for Trademark Search.	KI	2004	DBLP DOI BibTeX RDF
1	Pascal Hitzler	Default Reasoning over Domains and Concept Hierarchies.	KI	2004	DBLP DOI BibTeX RDF
1	Martin Buchholz, Dirk Pflüger, Josiah Poon	Application of Machine Learning Techniques to the Re-ranking of Search Results.	KI	2004	DBLP DOI BibTeX RDF
1	Thilo Weigel, Dapeng Zhang 0002, Klaus Rechert, Bernhard Nebel	Adaptive Vision for Playing Table Soccer.	KI	2004	DBLP DOI BibTeX RDF
1	Christophe Mues, Jan Vanthienen	Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study.	KI	2004	DBLP DOI BibTeX RDF
1	Yves Martin	Specifying Abnormal Action Qualifications with Sensing in FLUX..	KI	2004	DBLP DOI BibTeX RDF
1	Francisco de A. T. de Carvalho, Eufrasio de Andrade Lima Neto, Camilo P. Tenorio	A New Method to Fit a Linear Regression Model for Interval-Valued Data.	KI	2004	DBLP DOI BibTeX RDF
1	Alke Martens, Adelinde M. Uhrmacher	Modeling of Tutoring Processes in Intelligent Tutoring Systems.	KI	2004	DBLP DOI BibTeX RDF
1	Kejun Zhang, Jianbo Su	A New Method for Asynchronous Multisensor Information Fusion.	KI	2004	DBLP DOI BibTeX RDF
1	Sebastian Bader 0001, Steffen Hölldobler, Alexandre Scalzitti	Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.	KI	2004	DBLP DOI BibTeX RDF
1	Jörg H. Siekmann, Christoph Benzmüller	Omega: Computer Supported Mathematics.	KI	2004	DBLP DOI BibTeX RDF
1	Sebastian Brand	Relation Variables in Qualitative Spatial Reasoning.	KI	2004	DBLP DOI BibTeX RDF
1	Sebastian Trüg, Jörg Hoffmann 0001, Bernhard Nebel	Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.	KI	2004	DBLP DOI BibTeX RDF
1	Michael Arens, Artur Ottlik, Hans-Hellmut Nagel	Using Behavioral Knowledge for Situated Prediction of Movements.	KI	2004	DBLP DOI BibTeX RDF
1	Alexander Ferrein, Christian Fritz 0001, Gerhard Lakemeyer	On-Line Decision-Theoretic Golog for Unpredictable Domains.	KI	2004	DBLP DOI BibTeX RDF
1	Wolfgang Wahlster	SmartWeb: Mobile Applications of the Semantic Web.	KI	2004	DBLP DOI BibTeX RDF
1	Diedrich Wolter, Longin Jan Latecki, Rolf Lakämper, Xinyu Sun	Shape-Based Robot Mapping.	KI	2004	DBLP DOI BibTeX RDF	shape matching, cognitive robotics, robot mapping
1	Moritz Tacke, Thilo Weigel, Bernhard Nebel	Decision-Theoretic Planning for Playing Table Soccer.	KI	2004	DBLP DOI BibTeX RDF
1	Malik Ghallab	An Overview of Planning Technology in Robotics.	KI	2004	DBLP DOI BibTeX RDF
1	Brijnesh J. Jain, Peter Geibel, Fritz Wysotzki	Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition.	KI	2004	DBLP DOI BibTeX RDF
1	Tunga Güngör	Generation of Sentence Parse Trees Using Parts of Speech.	KI	2004	DBLP DOI BibTeX RDF
1	Bernd Ludwig	A Pragmatics-First Approach to the Analysis and Generation of Dialogues.	KI	2004	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl	External A*.	KI	2004	DBLP DOI BibTeX RDF
1	Martin Klarner, Bernd Ludwig	Hybrid Natural Language Generation in a Spoken Language Dialog System.	KI	2004	DBLP DOI BibTeX RDF
1	François Fages	Automated Reasoning Tools for Molecular Biology.	KI	2004	DBLP DOI BibTeX RDF
1	Sven Meyer zu Eissen, Benno Stein 0001	Genre Classification of Web Pages..	KI	2004	DBLP DOI BibTeX RDF
1	Fabian Mörchen, Alfred Ultsch	Mining Hierarchical Temporal Patterns in Multivariate Time Series.	KI	2004	DBLP DOI BibTeX RDF
1	Martin A. Riedmiller	Machine Learning for Autonomous Robots.	KI	2004	DBLP DOI BibTeX RDF
1	Rong Chen, Daniel Köb, Franz Wotawa	Improving Fault Localization of Programs by Using Labeled Dependencies.	KI	2004	DBLP DOI BibTeX RDF
1	Stefan Edelkamp	Generalizing the Relaxed Planning Heuristic to Non-linear Tasks.	KI	2004	DBLP DOI BibTeX RDF
1	Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann	Model Based Deduction for Database Schema Reasoning.	KI	2004	DBLP DOI BibTeX RDF
1	Gabriele Kern-Isberner, Wilhelm Rödder	Fusing Probabilistic Information on Maximum Entropy.	KI	2003	DBLP DOI BibTeX RDF
1	Silke Höppner	An Agents' Definition Framework and a Methodology for Deriving Agents' Taxonomies.	KI	2003	DBLP DOI BibTeX RDF
1	Alvaro Soto, Pradeep K. Khosla	A Probabilistic Approach for Dynamic State Estimation Using Visual Information.	KI	2003	DBLP DOI BibTeX RDF
1	Pascal Hitzler	Towards a Systematic Account of Different Logic Programming Semantics.	KI	2003	DBLP DOI BibTeX RDF
1	Christian Borgelt	On Identifying Tree-Structured Perfect Maps.	KI	2003	DBLP DOI BibTeX RDF
1	Cláudio Adriano Policastro, André Carlos Ponce de Leon Ferreira de Carvalho, Alexandre C. B. Delbem	Hybrid Approaches for Case Retrieval and Adaptation.	KI	2003	DBLP DOI BibTeX RDF
1	Daniel A. Keim, Christian Panse, Jörn Schneidewind, Mike Sips, Ming C. Hao, Umeshwar Dayal	Pushing the Limit in Visual Data Exploration: Techniques and Applications.	KI	2003	DBLP DOI BibTeX RDF	Pixel Displays, Information Visualization, Knowledge Discovery, Visual Data Mining, Visual Exploration
1	Pietro Torasso, Gianluca Torta	Computing Minimum-Cardinality Diagnoses Using OBDDs.	KI	2003	DBLP DOI BibTeX RDF
1	Helmut Horacek	Presenting Sets of Problem Solutions Concisely.	KI	2003	DBLP DOI BibTeX RDF
1	Rainer Osswald, Wiebke Petersen	A Logical Approach to Data-Driven Classification.	KI	2003	DBLP DOI BibTeX RDF
1	Eyke Hüllermeier	Instance-Based Learning of Credible Label Sets.	KI	2003	DBLP DOI BibTeX RDF
1	Detlef Küpper, Alfred Kobsa	Tailoring the Presentation of Plans to Users' Knowledge and Capabilites.	KI	2003	DBLP DOI BibTeX RDF
1	Brijnesh J. Jain, Fritz Wysotzki	A k-Winner-Takes-All Classifier for Structured Data.	KI	2003	DBLP DOI BibTeX RDF
1	Jürgen Dix, Thomas Eiter, Michael Fink 0001, Axel Polleres, Yingqian Zhang 0001	Monitoring Agents Using Declarative Planning.	KI	2003	DBLP DOI BibTeX RDF	multi agent systems, knowledge representation, planning
1	M. Lange	Satisfiability and Completeness of Converse-PDL Replayed.	KI	2003	DBLP DOI BibTeX RDF
1	Aljoscha Klose	Approaches to Semi-supervised Learning of Fuzzy Classifiers.	KI	2003	DBLP DOI BibTeX RDF
1	Joscha Bach, Ronnie Vuine	Designing Agents with MicroPsi Node Nets.	KI	2003	DBLP DOI BibTeX RDF
1	Stephan Frank, Petra Hofstedt, Pierre R. Mai	A Flexible Meta-solver Framework for Constraint Solver Collaboration.	KI	2003	DBLP DOI BibTeX RDF
1	Ozan Kahramanogullari, Michael Thielscher	A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak.	KI	2003	DBLP DOI BibTeX RDF
1	Björn Gottfried	Tripartite Line Tracks - Bipartite Line Tracks.	KI	2003	DBLP DOI BibTeX RDF
1	Jürgen Dix, Ugur Kuter, Dana S. Nau	Planning in Answer Set Programming Using Ordered Task Decomposition.	KI	2003	DBLP DOI BibTeX RDF	HTN planning, ASP systems, benchmarks, nonmonotonic reasoning
1	Marco Ragni	An Arrangement Calculus, Its Complexity and Algorithmic Properties.	KI	2003	DBLP DOI BibTeX RDF
1	Wolfgang Wahlster	Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression.	KI	2003	DBLP DOI BibTeX RDF
1	Philippe Besnard, Robert E. Mercer, Torsten Schaub	Optimality Theory through Default Logic.	KI	2003	DBLP DOI BibTeX RDF
1	Olga Valenzuela, Ignacio Rojas, Fernando Rojas 0001	Sequential Learning Algorithm of Neural Networks Systems for Time Series.	KI	2003	DBLP DOI BibTeX RDF
1	Stefan Bischoff, D. Reuss, Fritz Wysotzki	Applied Connectionistic Methods in Computer Vision to Compare Segmented Images.	KI	2003	DBLP DOI BibTeX RDF
1	Siegfried Handschuh, Steffen Staab, Rudi Studer	Leveraging Metadata Creation for the Semantic Web with CREAM.	KI	2003	DBLP DOI BibTeX RDF
1	Andreas Günter, Rudolf Kruse, Bernd Neumann (eds.)	KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings	KI	2003	DBLP DOI BibTeX RDF
1	Mehmet Giritli	Who Can Connect in RCC?	KI	2003	DBLP DOI BibTeX RDF
1	Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas	Tolerance Spaces and Approximative Representational Structures.	KI	2003	DBLP DOI BibTeX RDF
1	Carsten Gips, Fritz Wysotzki	Spatial Inference - Combining Learning and Constraint Solving.	KI	2003	DBLP DOI BibTeX RDF
1	Chunping Li	The Process Semantics Based Reasoning about Continuous Change.	KI	2003	DBLP DOI BibTeX RDF
1	Pascal Hitzler, Anthony Karel Seda	Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks.	KI	2003	DBLP DOI BibTeX RDF
1	Luc Schneider	How to Build a Foundational Ontology: The Object-Centered High-level Reference Ontology OCHRE.	KI	2003	DBLP DOI BibTeX RDF
1	Michael Arens, Hans-Hellmut Nagel	Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences.	KI	2003	DBLP DOI BibTeX RDF
1	Wilhelm Rödder, Gabriele Kern-Isberner	Self Learning or How to Make a Knowledge Base Curious about Itself.	KI	2003	DBLP DOI BibTeX RDF
1	Marcus Hutter, Marco Zaffalon	Bayesian Treatment of Incomplete Discrete Data Applied to Mutual Information and Feature Selection.	KI	2003	DBLP DOI BibTeX RDF
1	Franz Baader	The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.	KI	2003	DBLP DOI BibTeX RDF
1	Erik Sandewall, Patrick Doherty 0001, Oliver Lemon, Stanley Peters	Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.	KI	2003	DBLP DOI BibTeX RDF
1	Benno Stein 0001, Sven Meyer zu Eissen	Automatic Document Categorization: Interpreting the Perfomance of Clustering Algorithms.	KI	2003	DBLP DOI BibTeX RDF
1	Vagan Y. Terziyan, Oleksandra Vitko	Bayesian Metanetworks for Modelling User Preferences in Mobile Environment.	KI	2003	DBLP DOI BibTeX RDF
1	Nicholas R. Jennings	Negotiation Technologies.	KI	2003	DBLP DOI BibTeX RDF
1	Andreas Nüchter, Hartmut Surmann, Kai Lingemann, Joachim Hertzberg	Consistent 3D Model Construction with Autonomous Mobile Robots.	KI	2003	DBLP DOI BibTeX RDF
1	Gero Iwan, Gerhard Lakemeyer	What Observations Really Tell Us.	KI	2003	DBLP DOI BibTeX RDF
1	Jochen Müller 0001, Peter Poller, Valentin Tschernomas	A Multimodal Fission Approach with a Presentation Agent in the Dialog System SmartKom.	KI	2003	DBLP DOI BibTeX RDF
1	Pierre E. Bonzon	Conscious Behavior through Reflexive Dialogs.	KI	2003	DBLP DOI BibTeX RDF
1	Johann Adelhardt, Rui Ping Shi, Carmen Frank, Viktor Zeißler, Anton Batliner, Elmar Nöth, Heinrich Niemann	Multimodal User State Recognition in a Modern Dialogue System.	KI	2003	DBLP DOI BibTeX RDF
1	Anand Kumar 0005, Barry Smith 0001	The Universal Medical Language System and the Gene Ontology: Some Critical Reflections.	KI	2003	DBLP DOI BibTeX RDF
1	Michael Schwind, Oliver Wendt	Dynamic Pricing of Information Products Based on Reinforcement Learning: A Yield-Management Approach.	KI	2002	DBLP DOI BibTeX RDF
1	Michael Arens, Hans-Hellmut Nagel	Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System.	KI	2002	DBLP DOI BibTeX RDF
1	M. Carmen Fernández Gago, Michael Fisher 0001, Clare Dixon	Algorithms for Guiding Clausal Temporal Resolution.	KI	2002	DBLP DOI BibTeX RDF
1	Michael J. Wooldridge	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.	KI	2002	DBLP DOI BibTeX RDF
1	Dieter Fensel	Semantic Web Enabled Web Services.	KI	2002	DBLP DOI BibTeX RDF
1	The Duy Bui, Dirk Heylen, Mannes Poel, Anton Nijholt	ParleE: An Adaptive Plan Based Event Appraisal Model of Emotions.	KI	2002	DBLP DOI BibTeX RDF

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