| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bob J. Wielinga, Guus Schreiber |
Conceptual Modelling of Large Reusable Knowledge Bases.  |
IS/KI  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Jarke, Hans W. Nissen, Klaus Pohl |
Tool Integration in Evolving Information Systems Environments. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Nebel, Hans-Jürgen Bürckert |
Managing Qualitative Temporal Information: Expressiveness vs. Complexity. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc H. Scholl, Markus Tresch |
Evolution towards, in, and beyond Object Databases. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunter Saake, Thorsten Hartmann |
Modelling Information Systems as Object Societies. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
Theory Reasoning in First Order Calculi. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Heikki Mannila |
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo W. Lipeck, Stefan Brass |
Object-Oriented System Specification Using Defaults. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Walter, Stefan Benzschawel |
Complex Structures in (Deductive) Database Systems: Variables and Open Property Sets. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jürgen Bürckert |
Terminologies and Rules. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Kießling, Ulrich Güntzer |
Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption. |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai von Luck, Heinz Marburger (eds.) |
Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings |
IS/KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Rauterberg |
Partizipative Modellbildung zur Optimierung der Softwareentwicklung. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Angele, Dieter Fensel, Dieter Landes |
Two Languages to Do the Same? |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas |
Concepts of Object-Orientation. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudi Studer (eds.) |
Informationssysteme und Künstliche Intelligenz: Modellierung, 2. Workshop, Ulm, 24.-26. Februar 1992, Proceedings |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ipke Wachsmuth |
Wissensrepräsentation und kognitive Modelle. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Angi Voß, Werner Karbach |
Ausführbare konzeptionelle Modelle. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Tank |
Modellierung von Konfigurierungsaufgaben mit AMOR. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Schwanke |
CASE-Einsatz bei der Entwicklung eines Konfigurierungssystems. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens-Uwe Möller |
Towards Declarative Programming of Conceptual Models. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Löhr-Richter |
Basic Units for the Database Design Process. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Laasch, Marc H. Scholl |
Generic Update Operations Keeping Object-Oriented Databases Consistent. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Maier, Bernd Walter |
Abbildung KI-typischer Modellierungsmechanismen auf Datenbanktechnologien. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Oberweis, Peter Sander, Wolffried Stucky |
Modellierung von Abläufen in NF2-Datenbanken durch höhere Petri-Netze. |
IS/KI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Karagiannis (eds.) |
Information Systems and Artificial Intelligence: Integration Aspects, First Workshop, Ulm, FRG, March 19-21, 1990, Proceedings |
IS/KI |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Thoma |
Information Analysis: A step by step Clarification of Knowledge and Requirements. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John Mylopoulos, Michael L. Brodie |
Knowledge Bases and Databases: Current Trends and Future Directions. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Peter Hoidn |
Practical Experiences in Coupling Knowledge Bases and Database in a Productive Environment. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson Mendonça Mattos |
Performance Measurements and Analysis of Coupling Approaches of Database and Expert Systems and Consequences to their Integration. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hovekamp, Michael Sandfuchs |
A KBMS for BABYLON. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson Mendonça Mattos |
An Approach to DBS-based Knowledge Management. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Görz |
Database Support for Knowledge Representation? |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunter Saake |
Conceptual Modeling of Database Applications. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry |
Negation in Logic Programming: A Formalization in Constructive Logic. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka |
Handling Incomplete Knowledge in Artificial Intelligence. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Angi Voß |
Model-Based Knowledge Acquisition. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Nebel, Christof Peltason |
Terminological reasoning and Information Management. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Manthey |
Integrity and Recursion: Two Key Issues for Deductive Databases. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Sager |
Integration of AI Systems in Conventional Environments. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Thoma |
Practical Experiences - a Panel Session. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Böttcher |
A Semantics for the Integration of Database Modifications and Transaction Brackets into a Logic Programming Language. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ludwig 0001, Bernd Walter |
Database Concepts for the Support of Knowledge-Based Systems. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license