WITAS 1998 Publication Register

Articles from the WITAS project, reported during 1998
as published or accepted for publication

The WITAS publication register lists articles that report on research in WITAS, and that have been published or accepted for publication in international, peer reviewed journals or conferences. The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known.

005
Erik Sandewall.
Logic Based Modelling of Goal-Directed Behavior.
A. Cohn (ed): Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998, pp. 304-315. Also Electronic Transactions on Artificial Intelligence, Vol. 1 (1997), pp. 105-128
[postscript]

006
Lars Karlsson.
Anything Can Happen: on narratives and hypothetical reasoning.
In the Proceedings of the Sixth International Conference on Principles o f Knowledge Representation and Reasoning (KR'98), 2-5 June 1998, Trento, Ital y.

008
Silvia Coradeschi, Thierry Vidal.
Accounting for temporal evolutions in highly reactive decision-making.
Accepted at the Fifth International Workshop on Temporal Representation and Rea soning (TIME98) to be held in Sanibel Island, Florida, USA, 16-17 May, 1998, pp. 3-10.
[postscript]

015
Marcus Bjäreland, George Fodor.
Ontological Control.
Printed in Working Papers of the Ninth International Workshop on Principles of Diagnosis (Dx98), Sea Crest Resort, N. Falmouth, MA, USA, May 1998.
[postscript]

019
Lars Karlsson, Joakim Gustafsson, Patrick Doherty.
Delayed Effects of Actions.
In the Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, August 23-28, 1998.
[postscript]

022
Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constrains: Preliminary report.
In the Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98), 1998.
[postscript]

023
Patrick Doherty, Witold Lukaszewicz, E Madalinska-Bugaj.
The PMA and relativizing change for action update.
In the Proceeding of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998.
[postscript]

024
J-J Ch Meyer, Patrick Doherty.
Preferential action semantics (preliminary report).
In the Proceedings of the 1st MODELAGE Workshop, Lecture Notes in Artificial Intelligence. Springer, 1998.

025
Gösta Granlund.
The Complexity of Vision.
Accepted for publication in the journal Signal Processing.

026
Thord Andersson, Gösta Granlund, Gunnar Farnebäck, Klas Norberg, Johan Wiklund.
WITAS Project at Computer Vision laboratory - A status report.
Accepted for publication in the proceedings of the SSAB Symposium on Image Analysis.

027
Silvia Coradeschi, Klas Nordberg, Lars Karlsson.
Integration of vision and reasoning in an airborne autonomous vehicle for traffic surveillance.
Accepted for publication in Dagstuhl-Seminar-Report; 196, Germany, December 8-12, 1997.

028
Jacek Malec, Dimiter Driankov.
On stability of behaviour based systems.
Published in the proceedings of the 1998 , pp. 595-601.
[postscript]

031
Peter Fritzson, Vadim Engelson.
Modelica - A Unified Object-Oriented Language for System Modeling and Simulation.
In Proceedings of the 12th European Conference on Object-Oriented Programming, Brussels, Belgium, July 20-24, 1998, LNCS 1445, Springer Verlag.
[postscript]

032
Peter Fritzson, Johan Gunnarsson, Vadim Engelson.
An Integrated Modelica Environment for Modeling, Documentation and Simulation.
In Proceedings of the 1998 Summer Computer Simulation Conference (SCSC'98), July 19-22, Reno, Nevada.
[postscript]

033
Silvia Coradeschi, Lars Karlsson.
A behaviour-based approach to reactivity and coordination: a preliminary report.
Published in Intelligent Agents, vol. IV, Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 1998.
[postscript]

034
Silvia Coradeschi, Lars Karlsson.
A roled-based decision-mechanism for teams of reactive and coordinating agents.
Printed in Proceedings of the RoboCup-97: The First Robot World Cup Soccer Games and Conferences, Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 1998.
[postscript]

035
J L Grantner, G. Fodor, Dimiter Driankov.
Hybrid boolean-fuzzy automata for ontological controllers.
Accepted for publication in the proceedings of the 1998 .

039
Dimiter Driankov.
Model based fuzzy control.
Accepted for publication in the Handbook of Fuzzy Computation.

041
H Kitano, M Tambe, P Stone, M Veloso, Silvia Coradeschi, E Osawa, H Matsubara, I Noda, M Asada.
RoboCup Synthetic Agent Challenge 97.
Accepted for publication in the proceedings of the 1997 .
[postscript]

042
G Fodor, Dimiter Driankov.
A new approach to on-line fault isolation and localization in PLC control.
Published in the proceedings of the IFAC Symposium SAFEPROCESS, pp. 597-602.

043
G Fodor, G Grantner, Dimiter Driankov.
Modeling the real-time recovery of complex control systems: a fuzzy approach.
Published in the proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 2163-2168.

044
J Grantner, Dimiter Driankov, G Fodor.
Using fuzzy logic for bounded recovery in autonomous agents.
Published in the proceedings of the 1997 , pp. 317-322.

049
R Palm, Dimiter Driankov.
Stability of fuzzy gain schedulers: a sliding-mode based analysis.
Published in the proceedings of the 1997 , pp. 177-183.

050
R Palm, Dimiter Driankov.
Design of a fuzzy gain scheduler using sliding mode control principles.
Published in the proceedings of the International Fuzzy Systems Association World Congress, pp. 336-341.

051
R Palm, Dimiter Driankov.
Improving the global performance of a fuzzy gain scheduler by supervision.
Published in the proceedings of the 1997 , pp. 555-560.

052
P Wide, F Winquist, Dimiter Driankov.
An air quality sensor system with fuzzy classification.
Published in Meas. Sci. Technology, vol. 8, pp. 138-146, 1997.

054
Krzysztof Kuchcinski.
An Approach to High-Level Synthesis Using Constraint Logic Programming.
Proceedings of the 24th Euromicro Conference, Västerås, Sweden, August 25-27, 1998
[postscript]

055
Flavius Gruian, Krzysztof Kuchcinski.
Operation Binding and Scheduling for Low Power Using Constraint Logic Programming.
Proceedings of the 24th Euromicro Conference, Västerås, Sweden, August 25-27, 1998, vol. 1, pp 83-90.

081
Silvia Coradeschi, Jacek Malec.
How to make a challenging AI course enjoyable using the RoboCup soccer simulation system.
Accepted at the 2nd International Workshop on RoboCup, July 2-3 and 9, 1998, at La Cit'e des Sciences et de L'industrie, Paris, France, pp. 120-124, Springer Verlag, and in the JOurnal of Robotick Soiety of Japan, special issue in Robotics and Education, vol. 16, no. 4, May 1998.
[postscript]

082
Paul Scerri, Silvia Coradeschi, Anders Törne.
A User Oriented System for Developing Behaviour Based Agents.
Accepted at the 2nd International Workshop on RoboCup, July 2-3 and 9, 1998, at La Cit'e des Sciences et de L'industrie, Paris, France, In conjuction with ICMA-98.

105
Erik Sandewall.
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events.
J. Dix et als (eds): Logics in Artificial Intelligence, pp. 382-384. Invited paper, JELIA-98 conference. Springer Verlag, 1998.

146
Marcus Bjäreland.
Golog and ontological control - model faults in a modelbased programming language: Detection, classification, and recovery.
To be submitted to IJCAI'99.

147
Marcus Bjäreland, Patrik Haslum.
Stability, stabilizability, and golog.
To be submitted to IJCAI'99.

148
Patrick Doherty, Jonas Kvarnström.
TALPLAN, A temporal logic based approach to planning: Preliminary report.
Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.

149
Man Lin.
Synthesis of control software in a generic architecture from hybrid automata.
Accepted in Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.

150
Dimiter Driankov, R. Palm.
Fuzzy switched systems: modeling and identification.
Accepted in proceedings of the 1998 IEEE/ISIC/CIRA/ISAS Conf, pp. 130-135, 1998.

151
Thomas Drakengren, Marcus Bjäreland.
Reasoning about action in polynomial time.
Accepted in proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, 1997.

152
P. Ikonen, Silvia Coradeschi, Jacek Malec.
Delayed reward in reinforcement learning: an experiment in multi-agent control.
Accepted in Vi Krajowa Konferencja Robotyki, 1998.

153
Marcus Bjäreland, Dimiter Driankov.
Synthesizing discrete controllers from hybrid automata - preliminary report.
Accepted in Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.

154
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
General domain circumscription and its effective reductions.
Published in Fundamenta Informaticae, 34:1-33, 1998.

155
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries to relational databases.
Accepted for publication in Journal of Logic and Computation, 1998.

156
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Computing circumscription revisited: A reduction algorith.
Accepted for publication in Journal of Automated Reasoning, 18:297-336, 1997.

157
Jesper Andersson, Marcus Comstedt, Tobias Ritzau.
Runtime Support for Dynamic Java Architectures.
Presented at Workshop on Object-oriented software architectures at ECOOP'98, Brussels, July 1998.

158
Peter Fritzson.
Modelica for Equation-Based Physical Modeling and High Performance Simulation.
Invited paper on International Workshop on Applied Parallel Computing (PARA98), June 14-17, 1998 at Umea University, Umea, Sweden; Proceedings in LNCS 1541, Springer-Verlag, June, 1998.

159
Peter Fritzson.
Component-based design by connection diagrams and JavaBeans.
Invited talk at JAOO (European Conference on Java(TM) and Object Orientation) in Copenhagen, Denmark, August 31 - September 2, 1998.

160
Peter Fritzson, Vadim Engelson.
Generating a Modelica Compiler from Natural Semantics Specifications.
In the proceedings of SCSC-98 (Summer Computer Simulation Conference), July 1998, Reno, Nevada.

161
Peter Fritzson.
Static and Strong Typing for extended Mathematica.
In proceedings of the 2nd International Mathematica symposium, Rovaniemi, Finland, pp. 153-160, June 29 - July 4, 1997.

162
T. Andersson, Gösta Granlund, G. Farnebäck, K. Nordberg, J. Wiklund.
WITAS Project at Computer Vision laboratory - A status report.
Accepted in the proceedings of the SSAB Symposium on Image Analysis 1998.

163
Lars Karlsson, Silvia Coradeschi, K. Nordberg.
Integration of vision and decision-making in an airborne autonomous vehicle for traffic surveillance.
Accepted in the proceedings of ICVS'99, Grand Canaria, January 1999.
[postscript]

164
G. Farnebäck.
A Unified Approach for Bases, Frames, Subspace Bases, and Subspace Frames.
Submitted to SCIA'99, Kangerlussuaq, Greenland, June 1999.

165
Gösta Granlund.
Does Vision Inevitably have to be Active?.
Submitted to SCIA'99, Kangerlussuaq, Greenland, June 1999.

166
Gösta Granlund.
The Complexity of Vision.
Invited paper, accepted for publication in Signal Processing, Elsevier. Special issue on Complex systems, appearing in March 1999.

167
R. Lenz, Gösta Granlund.
If I had a fisheye I would not need SO(1,n) or, Is hyperbolic geometry useful in image processing?.
Accepted in the proceedings of the SSAB Symposium on Image Analysis 1998.

168
Gösta Granlund.
Integrated Percept-Response Structures .
To be published in Springer Verlag Lecture Notes in Artificial Intelligence, 1999.

169
Krzysztof Kuchcinski.
Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints.
Accepted to Design, Automation and Test in Europe Conference, DATE'99, March 9-12, 1999, Munich, Germany.

This page is maintained by EMTEK using the IDA publication register software.