Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.
Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.
Publikationen des Instituts für Künstliche Intelligenz
1999
83.
S. Pfab,
H. Rueß,
S. Owre and
F. von Henke,
"Towards Light-Weight Verification and Heavy-Weight Testing"
in Tool Support for System Specification, Development and Verification, Berghammer, Rudolf and Lakhnech, Yassine, Eds.
Springer Vienna,
1999,
pp. 189--200.
| DOI: | 10.1007/978-3-7091-6355-9_14 |
| ISBN: | 978-3-211-83282-0 |
| Datei: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfab99Verification.pdf |
1998
82.
M. Luther and
M. Strecker,
"A guided tour through TYPELAB" ,
1998.
| Datei: | http://vts.uni-ulm.de/docs/2013/8520/vts_8520_12569.pdf |
81.
J. Rintanen,
"A Planning Algorithm not based on Directional Search"
in Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR '98),
Morgan Kaufmann Publishers,
1998,
pp. 617--624.
| Datei: | http://users.ics.aalto.fi/rintanen/jussi/papers/Rintanen98plan.pdf |
80.
A. M. Uhrmacher and
B. Schattenberg,
"Agents in Discrete Event Simulation"
in 10TH European Simulation Symposium ``Simulation in Industry -- Simulation Technology: Science and Art" (ESS 1998),
Andre Bargiela and Eugene Kerckhoffs, Eds.
SCS Publications, Ghent,
1998,
pp. 129--136.
| Datei: | http://www.informatik.uni-ulm.de/ki/Schattenberg/Publications/Papers/ess98.pdf |
79.
A. Dold,
T. Gaul,
V. Vialard and
W. Zimmermann,
"ASM-based Mechanized Verification of Compiler Back-Ends"
in Workshop on Abstract State Machines '98,
1998,
pp. 50--67.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Dold98Verification.pdf |
78.
F. von Henke,
S. Pfab,
H. Pfeifer and
H. Rueß,
"Case Studies in Meta-Level Theorem Proving"
in Proceedings Intl. Conf. on Theorem Proving in Higher Order Logics,
J. Grundy and M. Newey, Eds.
Springer,
1998,
pp. 461--478.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/vHenke98TheoremProving.pdf |
77.
J. Rintanen,
"Complexity of Prioritized Default Logics",
Journal of Artificial Intelligence Research (JAIR),
vol. 9,
pp. 423--461,
1998.
| Datei: | http://www.jair.org/media/554/live-554-1756-jair.pdf |
76.
D. Damm,
F. von Henke,
A. Seitz,
A. M. Uhrmacher,
L. Claes and
S. Wolf,
"Ein fallbasiertes System für die Interpretation von Literatur zur Knochenheilung" ,
1998.
75.
A. M. Uhrmacher and
A. Seitz,
"Fallbasierte Simulation ökologischer und biologischer Systeme"
in Proceedings of the 8th Workshop, AK5, GI-Fachgruppe 4.5.9/4.6.3: Werkzeuge für die Simulation und Modellierung in Umweltanwendungen. Wissenschaftliche Berichte des Forschungszentrums Karlsruhe (FZKA),
1998.
74.
E. Canver,
"Formal verification of a coordinated atomic action based design" ,
1998.
| Datei: | http://vts.uni-ulm.de/docs/2013/8522/vts_8522_12573.pdf |
73.
M. Strecker,
M. Luther and
F. von Henke,
"Interactive and Automated Proof Construction in Type Theory"
in Automated Deduction --- A Basis for Applications, W. Bibel and P. Schmitt, Eds.
Kluwer Academic Publishers,
1998.
72.
J. Rintanen,
"Lexicographic Priorities in Default Logic",
Artificial Intelligence,
vol. 106,
pp. 221--265,
1998.
71.
D. Schwier and
F. von Henke,
"Mechanical Verification of Clock Synchronization Algorithms"
in Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT '98),
Anders P. Ravn and Hans Rischel, Eds.
Springer,
1998,
pp. 262--271.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Schwier98Verification.pdf |
70.
A. Dold,
T. Gaul and
W. Zimmermann,
"Mechanized Verification of Compiler Backends"
in Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT '98),
Aalborg, Denmark,
1998.
| Datei: | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.5876&rep=rep1&type=pdf |
69.
A. M. Uhrmacher,
P. Tyschler and
D. Tyschler,
"Modeling Mobile Agents"
in Proceedings of the International Conference on Web-Based Modeling and Simulation,
1998,
pp. 15--20.
| Datei: | http://www.researchgate.net/publication/222803651_Modeling_and_simulation_of_mobile_agents/file/3deec51a51179d6d80.pdf |
68.
H. Pfeifer and
H. Rueß,
"Polytypic Abstraction in Type Theory"
in Workshop on Generic Programming (WGP'98), Roland Backhouse and Tim Sheard, Eds.
Dept. of Computing Science, Chalmers Univ. of Technology, and Göteborg Univ.,
1998.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Pfeifer98PolytypicAbstraction.pdf |
67.
A. Seitz and
A. M. Uhrmacher,
"The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies"
in Advances in Artificial Intelligence, Proceedings of the 22nd German Conference on Artificial Intelligence (KI 1998),
Springer,
1998,
pp. 213--224.
1997
66.
D. Cyrluk,
O. Möller and
H. Rueß,
"An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors"
in Computer Aided Verification - 9th International Conference, (CAV '97),
Springer Berlin Heidelberg,
1997,
pp. 60--71.
| DOI: | 10.1007/3-540-63166-6_9 |
65.
A. M. Uhrmacher,
F. E. Cellier and
R. J. Frye,
"Applying Fuzzy-Based Inductive Reasoning to Analyze Qualitatively the Dynamic Behaviour of an Ecological System",
International Journal on Applied Artificial Intelligence in Natural Resource Management,
vol. 11,
no. 2,
pp. 1--10,
1997.
64.
A. M. Uhrmacher,
"Concepts of Object- and Agent-Oriented Simulation",
Transactions of the Society for Computer Simulation International,
vol. 14,
no. 2,
pp. 59--67,
1997.
http://dl.acm.org/citation.cfm?id=271934.
63.
A. Dold,
F. von Henke,
H. Pfeifer and
H. Rueß,
"Formal Verification of Transformations for Peephole Optimization"
in FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations,
J. Fitzgerald and C. Jones and P. Lucas, Eds.
Springer,
1997,
pp. 459--472.
62.
E. Canver,
J. Gayen and
A. Moik,
"Formale Spezifikation von Steuerungssoftware am Beispiel einer Weiche",
atp -- Automatisierungstechnische Praxis,
vol. 39,
no. 5,
pp. 57--64,
1997.
R. Oldenbourg Verlag.
61.
F. von Henke,
H. Pfeifer and
H. Rueß,
"Guided Tour Through a Mechanized Semantics of Simple Imperative Programming Constructs" ,
1997.
60.
M. Strecker and
M. Sorea,
"Integrating an Equality Prover into a Software Development System Based on Type Theory"
in Advances in Artificial Intelligence - Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI '97),
Springer Berlin Heidelberg,
1997,
pp. 147--158.
| DOI: | 10.1007/3540634932_11 |
59.
F. Bartels,
F. von Henke,
H. Pfeifer and
H. Rueß,
"Mechanizing Domain Theory" ,
1997.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1997/Bartels97MechanizingDomainTheory.pdf |