|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | George Anastassakis, Tim Ritchings, Themis Panayiotopoulos |
Multi-agent Systems as Intelligent Virtual Environments.  |
KI/ÖGAI  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Koehler |
From Theory to Practice: AI Planning for High Performance Elevator Control. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal |
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Fleischanderl |
Constraints Applied to Configurations. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Inferring Implicit State Knowledge and Plans with Sensing Actions. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Liviu Badea, Doina Tilivea |
Abductive Partial Order Planning with Dependent Fluents. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Broxvall |
The Point Algebra for Branching Time Revisited. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga |
A Defense Model for Games with Incomplete Information. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Prediction of Regular Search Tree Growth by Spectral Analysis. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
Towards Distributed Configuration. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Gerhard Brewka, Thomas Eiter (eds.) |
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa |
DiKe - A Model-Based Diagnosis Kernel and Its Application. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Kearns |
Computational Game Theory and AI. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Stumptner, Dominik Wieland, Franz Wotawa |
Comparing Two Models for Software Debugging. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Maren Bennewitz, Wolfram Burgard, Sebastian Thrun |
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
Experiments with an Agent-Oriented Reasoning System. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Sundermeyer |
Collaborative Supply Net Management. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bochman |
Possible Worlds Semantics for Credulous and Contraction Inference. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Bechhofer, Ian Horrocks 0001, Carole A. Goble, Robert Stevens 0001 |
OilEd: A Reason-able Ontology Editor for the Semantic Web. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier |
Finding Optimal Solutions to Atomix. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Martin, Michael Thielscher |
Addressing the Qualification Problem in FLUX. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Belker, Michael Beetz |
Learning to Execute Navigation Plans. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynep Kiziltan, Pierre Flener, Brahim Hnich |
Towards Inferring Labelling Heuristics for CSP Application Domains. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Ulrich Meyer 0001 |
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Ralf Molitor |
Approximating Most Specific Concepts in Description Logics with Existential Restrictions. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schulz 0001 |
Learning Search Control Knowledge for Equational Theorem Proving. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatma Ozcan, V. S. Subrahmanian, Leana Golubchik |
Optimal Agent Selection. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lebeth |
Semantic Networks in a Knowledge Management Portal. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brüning |
Exploiting Conditional Equivalences in Connection Calculi. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller |
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gero Iwan |
History-Based Diagnosis Templates in the Framework of the Situation Calculus. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ragg |
Bayesian Learning and Evolutionary Parameter Optimization. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher 0001 |
Towards First-Order Temporal Resolution. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah East, Miroslaw Truszczynski |
Propositional Satisfiability in Answer-Set Programming. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Grosskreutz, Gerhard Lakemeyer |
Belief Update in the pGOLOG Framework. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker |
Hierarchical Diagnosis of Large Configurator Knowledge Bases. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license