WITAS 1999 Publication Register

Articles from the WITAS project, reported during 1999
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.

026
T. Drakengren, Marcus Bjäreland.
Expressive Reasoning about Action in Nondeterministic Polynomial Time.
Accepted for presentation at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.
[postscript]

028
Silvia Coradeschi, Alessandro Saffiotti.
Anchoring symbols to vision data by fuzzy logic.
Accepted for presentation at the Fifth European Conference on Symbolic and Quantitative Approaches (ECSQARU'99), London, July 1999, vol. 9, nr. 9.
[postscript]

031
Krzysztof Kuchcinski.
Synthesis of Distributed Embedded Systems.
Proceedings of 25th Euromicro Conference, Milan, Italy, September 8-10, 1999.

032
Radoslaw Szymanek, Krzysztof Kuchcinski.
Design Space Exploration in System Level Synthesis under Memory Constraints.
Proc. of 25th Euromicro Conference, Milan, Italy, September 8-10, 1999.

033
Flavius Gruian, Krzysztof Kuchcinski.
Low-Energy Architecture Selection and Task Scheduling for System-Level Design .
Proc. of the 25th Euromicro Conference, Milan, Italy, September 8-10, 1999, vol. 1, pp 296-302

038
Marcus Bjäreland.
Execution Monitor Synthesis for Hybrid Systems - Preliminary Report .
Has been accepted for presentation at the fourteenth international symposium on Intelligent Control (ISIC'99), Boston, September 1999.

041
Vadim Engelson, Håkan Larsson, Peter Fritzson.
Design, Simulation and Visualization Environment for Object-oriented Mechanical and Multi-domain Models in Modelica.
Has been accepted for presentation at the International Conference on Information Visualisation, London, July 14-16, 1999 and will be included in The Proceedings of IV'99 that will be published by IEEE Computer Society.
[postscript]

046
Henrik Nilsson.
Tracing piece by piece: affordable debugging for lazy functional languages.
Has been accepted for presentation to the International Conference on Functional Programming (ICFP'99) to be held in Paris in September.

051
Erik Sandewall.
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.
Higher-Order and Symbolic Computation, Volume 12, Number 1, 1999, pages 105-113.

054
Patrik Haslum, Peter Jonsson.
Some Results on the Complexity of Planning with Incomplete Information.
In Proc. of the 5th European Conference on Planning (ECP'99), vol. 1809, pp. 308-318, 1999.

055
Thomas Drakengren, Marcus Bjäreland.
Reasoning about action in polynomial time.
Accepted for publication in Artificial Intelligence Journal.

061
Thierry Vidal, Silvia Coradeschi.
Highly reactive decision making: a game with Time.
Presented at IJCAI, August 1999, Stockholm, Sweden, pp. 1002-1007.

064
Marcus Bjäreland, Peter Jonsson.
Exploiting Bipartiteness to dentify Yet Another Tractable Subclass of CSP.
In Proc. of the Fifth International Conference on Princeples and Practice of Constraint Programming (CP'99). LNCS 1713, Springer-Verlag, 1999.

077
K. Sheshadri, Peter Fritzson.
A Mathematica-based PDE Solver Generator.
Proceedings of SIMS'99, the 1999 Conference of the Scandinavian Simulation Society, Linköping, Sweden, pages 66-78.

107
R. Palm, Dimiter Driankov.
Towards a systematic analysis of fuzzy observers.
Proceedings of the 18th Int. Conf. of the North American Fuzzy Information Processing Society (NAFIPS), New York, USA, June 10-12, 1999, pp. 179--183.

108
R. Palm, Dimiter Driankov.
Improving the global performance of a fuzzy gain scheduler by supervision.
Published in Journal Engineering Applications of AI, vol. 12, (1999), pp. 297--307.

110
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
Accepted by Artificial Intelligence.

115
Paul Scerri, Silvia Coradeschi, Anders Törne.
A User Oriented System for Developing Behavior Based Agents.
Proceedings of RoboCup-98 : Robot Soccer World Cup II, vol. 1604 of Lecture Notes in Artificial Intelligence, pp. 173--186, Springer Verlag, 1999.

143
Marcus Bjäreland.
Recovering from modelling faults in GOLOG.
Proceedings of the IJCAI'99 Workshop: Scheduling and Planning meet Realtime Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August 1999.

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

145
Marcus Bjäreland, P. Jonsson.
Exploiting bipartitenes to identify yet another tractable subclass of csp.
Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, LNCS, Alexandria, VA, USA, 1999. Springer-Verlag.

146
Silvia Coradeschi, Lars Karlsson, K. Nordberg.
Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance.
In H.I. Christiansen, editor, Computer Vision Systems, number 1542 in Lecture Notes in Computer Science. Springer, 1999, pp. 216-230.

147
Patrick Doherty, Joakim Gustavsson, Lars Karlsson, Jonas Kvarnström.
TAL: Temporal action logics, language specification and tutorial.
Journal of Electronic Transactions on Artificial Intelligence, 1999, vol. 2 (1998), issue 3-4, pp. 273-306.

148
Patrick Doherty, Jaroslaw Kachniarz, A. Szalas.
Meta-queries on deductive databases.
Fundamenta Informaticae, 1999. To appear.

149
Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constraints.
Published in Journal of Computational Intelligence, vol. 16:2, pp. 169-209, 1999.

150
Patrick Doherty, Jonas Kvarnström.
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), pp. 47-54, 1999.

151
Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
MPMA updates using dijkstra's semantics.
Proceedings of the 11th International Symposium (ISMIS-99), Warsaw, Poland. Lecture notes in Artificial Intelligence, pp. 271-281. Springer-Verlag, 1999.

152
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of Logic and Computation, 9(5):739-761, 1999.

154
Thomas Drakengren, Markus Bjäreland.
Expressive reasoning about action in nondeterministic polynomial time.
In Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp. 166-171, Stockholm, Sweden, 1999. Morgan Kaufmann.

155
Thomas Drakengren, Markus Bjäreland.
Reasoning about action in polynomial time.
Artificial Intelligence, 1999, vol. 115(1), pp. 1-24.

156
Patrik Haslum.
Model checking by random walk.
Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.

157
Patrik Haslum, Peter Jonsson.
Some results on the complexity of planning with incomplete information.
Proceedings 5th European Conference on Planning, 1999.

159
Lars Karlsson, Joakim Gustafsson.
Reasoning about concurrent interaction.
Journal of Logic and Computation, 1999.

180
Patrik Haslum.
Model checking by random walk.
Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.

181
Patrik Haslum, Peter Jonsson.
Some results on the complexity of planning with incomplete information.
In the proceedings of the 5th European Conference on Planning, vol 1809, pp. 308-318, Springer Verlag, 1999.

182
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
In Artificial Intellingence, vol. 117(1), pp. 1-29, 2000.

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