Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Secure Information Flow for Concurrent ProcessesCatuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409 (Lecture Notes in Computer Science)
Baumgartner, Peter
Session 4: FDPLL - A First Order Davis-Putnam-Longeman-Loveland ProcedureLecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219
Kschischo, Maik
Statistical methods of biological sequence aligmentPotsdam: Universität Potsdam 2000
Rosendahl, M.; Brunet, D.
Steps toward a Relational 3D System´Brunet,P., Hoffmann, C., Roller,D. (Hrsg). CAD Tools and Algorithms for Product Design. Springer Verlag 2000
Murray, Jan; Obst, Oliver; Stolzenburg, Frieder
Team Descriptions - Simulation League - RoboLog KoblenzLecture notes in computer science. Bd. 1856. Berlin: Springer 2000 S. 628 - 631
Stolzenburg, Frieder; Obst, Oliver; Murray, Jan et al.
Technical Papers - Spatial Agents Implemented in a Logical Expressible LanguageLecture notes in computer science. Bd. 1856. Berlin: Springer 2000 S. 481 - 494
Murray, Jan; Obst, Oliver; Stolzenburg, Frieder
Towards a logical approach for soccer agents engineeringKoblenz-Landau: Univ., Inst. für Informatik 2000 0 S. (Fachberichte Informatik ; 6/2000)
Beuster, G.; Thomas, B.; Wolff, C.
Ubiquitous Web Information AgentsEuropean Conference on Aritifical Intelligence - Workshop on Artificial Intelligence In Mobile Systems. 2000
Baumgartner, Peter; Eisinger, Norbert; Furbach, Ulrich
10. A Confluent Connection CalculusLecture notes in computer science. Bd. 1632. Berlin: Springer 1999 S. 329 - 343
Stolzenburg, Frieder
An Algorithm for General Set Unification and Its ComplexityJournal of automated reasoning. Bd. 22. H. 1. Dordrecht [u.a.]: Springer 1999 S. 45 - 64
Dix, J.; Stolzenburg, F.; Simari, G. R. et al.
Automating defeasible reasoning with logic programming (DeReLoP)Jähnichen, S.; Loiseau, I. (Hrsg). Proceedings of the 2nd German-Argentinian Workshop on Information Technology. 1999 S. 39-46
Obst, Oliver; Stolzenburg, Frieder
Der RoboCup während der IJCAI'99Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 4. Bremen: Böttcher IT-Verl. 1999 S. 66 - 67
Stolzenburg, F.; Hähnle, H.; Menzel, W. et al.
Loop-Detection in Hyper-Tableaux by Powerful Model GenerationJournal of Universal Computer Science. Bd. Journal of Universal Computer Science. Berlin, Heidelberg, New York: Springer 1999 S. 135-155
Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling interaction by sheaves and geometric logicGabriel Ciobanu;Gheorghe Păun (Hrsg). Fundamentals of Computation Theory: 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings. Berlin: Springer 1999 S. 512 - 523
Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling Interaction by Sheaves and Geometric Logic.FCT. 1999 S. 512 - 523
Zöbel, Dieter; Balcerak, Elisabeth
Modellbildung und Analyse von Rechensystemen : ein TutoriumZürich: vdf, Hochsch.-Verl. an der ETH 1999 0 S.
Steigner, Christoph; Steigner, Ch.; Horn, G. et al.
Monitoring of Network Server AvailabilityProceedings of the Third Sino-German Workshop: Advanced Parallel Processing Technologies (APPT´99). Bd. Proceedings of the Third Sino-German Workshop: Advanced Parallel Processing Technologies (APPT´99). Changsha, China. 1999
Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity ResultsHarald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Berlin: Springer 1999 S. 157 - 171
Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.CADE. 1999 S. 157 - 171
Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical LogicsRolf Drechsler;Bernd Becker (Hrsg). Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic ISMVL 1999; 20. - 22. May, 1999; Freiburg im Breisgau. Los Alamitos, CA: IEEE Computer Society 1999 S. 242 - 247
Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical Logics.ISMVL. 1999 S. 242 - 247
Murray, J.; Stolzenburg, F.; Obst, O. et al.
RoboLog Koblenz: Complex Agent Scripts Implemented in LogicProceedings of the Workshop RoboCup during KI´99. 1999 S. 12-25
Stolzenburg, Frieder
A flexible System for Constraint Disjunctive Logic ProgrammingKünstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 2. Bremen: Böttcher IT-Verl. 1998 S. 73 - 78
Steigner, Christoph; Schmid, A. J.; Steigner, Ch.
A Solution for the Count to Infinity Problem of Distance Vector RoutingProceedings of the Second IASTED International Conference: Parallel and Distributed Computing and Networks. Bd. Proceedings of the Second IASTED International Conference: Parallel and Distributed Computing and Networks. Brisbane, Queensland, Australia. 1998
Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.
Automated Deduction : a technological Point of ViewKünstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 4. Bremen: Böttcher IT-Verl. 1998 S. 7 - 14
Baumgartner, P.; Furbach, U.; Bibel, W. et al.
Chapter I.3: Variants of Clausal TableauxBibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 73-102
Baumgartner, P.; Petermann, U.; Bibel, W. et al.
Chapter II.6: Theory ReasoningBibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224
Jürjens, Jan
Kleine Objekte in Kategorien von AlgebrenBremen: Universität Bremen 1998
Rosendahl, M.; Berling, R; Roller, D. et al.
Modeling of Geometric Constraints in CAD ApplicationsRoller, D.; Bruederlin, B. (Hrsg). Geometric Constraint Solving & Applications. Springer Verlag 1998
Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order LogicHenri Prade (Hrsg). Proceeding of the 13th European Conference on Artificial Intelligence ECAI 98 August 23-28, Brighton, UK. Chichester: Wiley 1998 S. 410 - 411
Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order Logic.ECAI. 1998 S. 410 - 411
Sofronie-Stokkermans, Viorica
Resolution-Based Theorem Proving for -Logics.FTP (LNCS Selection). 1998 S. 267 - 281
Obst, O.
RoboCup: FC-Linux - Mit Linux zur Fußball-WMLinux-Magazin. Bd. Linux-Magazin. 1998 S. 48-51
Dix, J.; Stolzenburg, F.
Section 1: Theory - A framework to incorporate non-monotonic reasoning into constraint logic programmingThe journal of logic programming. Bd. 37. H. 1. New York, NY: North-Holland 1998 S. 47 - 76
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
Super logic programsKoblenz-Landau: Univ., Inst, für Informatik 1998 0 S. (Fachberichte Informatik ; 17/98)
Baumgartner, P.
Theory Reasoning in Connection CalculiLecture Notes in Artificial Intelligence. Springer 1998
Obst, O.; Murray, J.; Stolzenburg, F. et al.
Towards deduction in RoboCuphttp://www.ki.informatik.hu-berlin.de/AKRoboCup/RoboCupWS-KI98/towardsDeductionInRoboCup.ps.gz. 1998 S. 1-2
Süttenbach, Roger; Ebert, J.
A Booch MetamodelKoblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (5)
Baumgartner, Peter; Aravindan, C.; Baumgartner, P. et al.
A Rational and Efficient Algorithm for View Deletion in DatabasesJ. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
Ebert, J.; Süttenbach, Roger
An OMT MetamodelKoblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (13)
Marx, T.
APRIL - Visualisierung der AnforderungenKoblenz: Universität Koblenz-Landau 1997
Steigner, Christoph
Arbeitsplatz-Rechensysteme : Anwendungen, Architekturen, Betriebssysteme und NetzwerkeKoblenz: Fölbach 1997 296 S.
Baumgartner, P.; Furbach, U.; J. Maluszynski, J. Maluszynski
Calculi for Disjunctive Logic ProgrammingJ. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
Dix, J.; Stolzenburg, F.
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic ProgrammingLecture notes in computer science. Bd. 1216. Berlin: Springer 1997
Baumgartner, P.; Furbach, U.; Stolzenburg, F.
Computing answers with model eliminationArtificial intelligence. an international journal. Bd. 90. H. 1. Amsterdam: Elsevier 1997 S. 135 - 176
Stolzenburg, Frieder; Höhne, Stephan; Koch, Ulrich et al.
Constraint logic programming for computational linguisticsLecture notes in computer science. Bd. 1328. Berlin: Springer 1997 S. 406 - 425
Kruse, R. J.; Lautenbach, K.
Diagnostik mit Petri-NetzenAlgorithmen und Werkzeuge für Petrinetze. Humboldt-Universität zu Berlin 1997
Fahrner, C.; Marx, T.; Philippi, S.
DICE: Declarative integrity constraint embedding into the object database standard ODMG-93Data & knowledge engineering. Bd. 23. H. 2. Amsterdam: Elsevier 1997 S. 119 - 146
Lautenbach, K.; Ridder, Hanno
Die Lineare Algebra der Verklemmungsvermeidung - ein Petri-Netz-AnsatzEntwurf komplexer Automatisierungssysteme. 1997
Aravindan, C.; Dix, J.; Niemelä, I.
DisLoP: A research project on Disjunctive Logic ProgrammingAI communications. AICOM ; the European journal on artificial intelligence. Bd. 10. H. 3. Amsterdam. 1997 S. 151 - 166
Schimansky-Geier, Lutz; Kschischo, Maik; Fricke, Thomas
Flux of Particles in Sawtooth MediaPhysical Review Letters. Bd. 79. College Park, MD: American Physical Society 1997
Ebert, Jürgen; Kamp, Manfred; Winter, Andreas
GUPRO : A generic system to support multi-level understanding of heterogeneous softwareKoblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 6/97)
Albrecht, Wolfgang; Zöbel, Dieter
Hard Real-Time Scheduling for Age Constraint Computations in Monitoring and ControlProceedings of the 2nd IFAC Workshop on New Trends in Design of Control Systems. Smolenice, Slovak Republic: Elsevier Science Ltd 1997
Ebert, J.; Vossen, G.
I-serializability: Generalized correctness for transaction-based environmentsInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 63. H. 4. Amsterdam [u.a.]: Elsevier 1997
Albrecht, Wolfgang; Zöbel, Dieter; Bestavros, Azer et al.
Integrating Fixed Priority and Static Scheduling to Maintain External ConsistencyBestavros, Azer (Hrsg). Real-Time Database and Information Systems, Research Advances. o.A.: Kluwer Academic Publishers 1997 S. 89 - 102
Ebert, Jürgen; Süttenbach, Roger; Uhe, Ingar
Meta-CASE in Practice: A Case for KOGGELecture notes in computer science. Bd. 1250. Berlin: Springer 1997 S. 203 - 216
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
Nonmonotonic reasoning : an overviewStanford, Calif.: CSLI Publ. 1997 0 S. (CSLI lecture notes ; 73)
Ebert, J.; Fronk, A.
Operational Semantics of Visual NotationsKoblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (8)
Winter, Andreas; Ebert, J.; Zwierlein, E.
Referenzmodelle für Krankenhaus-Informationssysteme und deren AnwendungZwierlein, E. (Hrsg). Das Krankenhaus der Zukunft, Management im Gesundheitswesen. München: Urban & Schwarzenberg 1997
Baumgartner, Peter; P. Baumgartner, P.; Furbach, U.
Refinements for Restart Model EliminationProceedings of the International Workshop on First Order Theorem Proving (FTP 97). 1997
Albrecht, Wolfgang; Wisser, Ralf
Schedulers for Age Constraint Tasks and their Performance EvaluationLecture notes in computer science. Bd. 1300. Berlin: Springer 1997 S. 1282 - 1289
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Semantically Guided Theorem Proving for Diagnosis ApplicationsM. E. Pollack (Hrsg). 15th International Joint Conference on Artificial Intelligence (IJCAI 97). Morgan Kaufmann 1997 S. 460-465
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Tableaux for Diagnosis ApplicationsD. Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods. Springer 1997 S. 76-90
Simon, Carlo; Ridder, Hanno; Marx, Thomas
The Petri net tools Neptun and PoseidonKoblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 15/97)
Aravindan, C.; Görz, G.; Hölldobler, S.
"DisLoP: A disjunctive logic programming system based on PROTEIN theorem proverGörz, G.; Hölldobler, S. (Hrsg). Proceedings of KI '96. Springer-Verlag 1996 S. 19-23
Rosendahl, M.; Berling, R.; Du, C. et al.
A Generalized Segment ConceptRoller, D.; Brunet, P. (Hrsg). CAD Systems Development - Tools and Methods. Berlin: Springer Verlag 1996
Aravindan, C.; Alfares, J.J.; Pereira, E.
An abductive framework for negation in disjunctive logic programmingAlfares, J.J.; Pereira, L.M., Orlowska, E. (Hrsg). Proceedings of Joint European workshop on Logics in AI. Springer-Verlag 1996 S. 252-267
Baumgartner, P.; Furbach, U.
Calculi for Disjunctive Logic Programming1996
Steigner, C.
Die nächste Generation des Internet-KonzeptesAPS Nachrichten. Bd. APS Nachrichten. 1996 S. 18-23
Dix, Jürgen
Disjunctive logic programming and databasesSaarbrücken: Geschäftsstelle Schloss Dagstuhl 1996 27 S. (Dagstuhl-Seminar-Report ; 150 = 9627)
Rosendahl, M.; Roller, D.
Ein verallgemeinertes Segmentkonzept bei CAD-SystemenRoller, D. (Hrsg). Produktmodellierung Proceedings-Reihe der Informatik 96, Bd. 5. 1996
Baumgartner, P.; Beckert, Bernhard; Kühn, Michael et al.
Extending Hyper Tableaux with Rigid E-UnificationPrasser, K. (Hrsg). Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen. Fakultät Informatik, D-01062 Dresden: Technisches Universität Dresden 1996
Ebert, J.; Winter, Andreas; Dahm, Peter et al.
Graph Based Modeling and Implementation with EER/GRALKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996 (11)
Baumgartner, P.; Furbach, U.; Niemelä, Ilkka
Hyper TableauxProceedings Joint European workshop on Logics in AI '96. Springer 1996
Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic ProgrammingICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
Baumgartner, P.; Furbach, U.
Hyper Tableaux. Part I: Proof Procedure and Model GenerationDagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996
Baumgartner, Peter
Linear and Unit-Resulting Refutations for Horn TheoriesJournal of automated reasoning. Bd. 16. H. 3. Dordrecht [u.a.]: Springer 1996 S. 241 - 320
Chandrabose, Aravindan; Baumgartner, Peter; Dix, Jürgen et al.
On Merging Theorem Proving and Logic Programming ParadigmsMaher, M. (Hrsg). Proceedings of the Joint International Conference and Symposiums on Logic Programming, Bad Honnef. Cambridge, MA, London, England: MIT Press 1996 S. 546
Baumgartner, P.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach1996
Sofronie, Viorica
Towards a sheaf semantics for cooperating agents scenariosJacques Calmet;John A. Campbell;Jochen Pfalzgraf (Hrsg). Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings. Berlin: Springer 1996 S. 289 - 304
Sofronie, Viorica
Towards a Sheaf Semantics for Cooperating Agents Scenarios.AISMC. 1996 S. 289 - 304
Ebert, J.; Gimnich, R.; Winter, Andreas et al.
Wartungsunterstützung in heterogenen Sprachumgebungen. Ein Überblick zum Projekt GUPROSoftwarewartung und Reengineering - Erfahrungen und Entwicklungen. Bd. Softwarewartung und Reengineering - Erfahrungen und Entwicklungen. Wiesbaden. 1996 S. 263-275
Lautenbach, Kurt; Ridder, Hanno
A completion of the S-invariance technique by means of fixed point algorithmsKoblenz-Landau: Univ., Inst. f. Informatik 1995 43 S. (Fachberichte Informatik ; 10/95)
Baumgartner, Peter; Brüning, Stefan
A disjunctive positive refinement of model elimination and its application to subsumption deletionKoblenz-Landau: Univ., Inst. f. Informatik 1995 48 S. (Fachberichte Informatik ; 6/95)
Huang, X.; Steigner, C.
A model-driven tool for performance measurement and analysis of parallel programsLecture notes in computer science. Bd. 919. Berlin: Springer 1995 S. 612 - 617
Stolzenburg, Frieder; Thomas, Bernd
Analysing rule sets for the calculation of banking fees by a theorem prover with constraintsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)
Baumgartner, P.; Furbach, U.; Stolzenburg, F.
Computing Answers and Logic Programming by Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1995
Baumgartner, Peter
Deduktion und Logisches ProgrammierenKoblenz-Landau: Univ., Inst. f. Informatik 1995 11 S. (Fachberichte Informatik ; 17/95)
Zöbel, D.; Albrecht, Wolfgang
Echtzeitsysteme - Grundlagen und Techniken. Band 1Bonn: International Thomson Publishing 1995
Huang, Xiandeng; Steigner, C.; Müller-Schloer, C.
Eine Spezifikationssprache zur modellgesteuerten Leistungsbewertung paralleler ProgrammeMüller-Schloer, C. (Hrsg). Tagungsband der 3. GI/ITG Fachtagung Arbeitsplatz-Rechensysteme: Anwendung, Betrieb und Architektur von Workstations. Hannover. 1995 S. 40-48
Lemmer, Uwe; Steigner, C.; Dreschler-Fischer, L. et al.
Feature Structures for Representing and Deducing Visual DataDreschler-Fischer, L.; Pribbenow, S. (Hrsg). KI-95 Activities, 19. Conference on Artificial Intelligence, Bielefeld. Gesellschaft für Informatik 1995 S. 142-143
Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und DisjunktionKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
Stolzenburg, Frieder
Membership-constraints and complexity in logic programming with setsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Model elimination, logic programming and computing answersKoblenz-Landau: Univ., Inst. f. Informatik 1995 31 S. (Fachberichte Informatik ; 1/95)
Bresink, M.
Radiosity 2.0 Entwicklerdokumentation1995
Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor
Reducing disjunctive to non-disjunctive semantics by shift-operationsKoblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)
Ebert, Jürgen; Engels, Gregor
Specification of object life cycle definitionsKoblenz-Landau: Univ., Inst. f. Informatik 1995 28 S. (Fachberichte Informatik ; 19/95)
Ebert, Jürgen; Franzke, Angelika
A declarative approach to graph based modelingKoblenz: Inst. für Informatik, Univ. 1994 19 S. (Fachberichte Informatik ; 3/94)
Baumgartner, P.; Furbach, U.; Stolzenburg, F. et al.
Applications of Theory Reasoning in Model EliminationBaumgartner, P. et al. (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. 1994
Hower, Walter; Rosendahl, M.; Hower, Walter et al.
CAD-oriented constraint processing with trianglesHower, Walter; Haroud, Djamila; Ruttkay, Zsófia (Hrsg). Constraint Processing in CAD. Workshop Notes of the 3rd Intern. Conference in Artificial Intelligence in Design (AID'94). 1994 S. 38-43