The information has been taken from the IDA publication register. Articles are listed under the year when they were reported to the database, which was often when the article was accepted for publication, not necessarily the year when it was actually published. This is also the reason why exact page numbers etc. are sometimes missing.
Silvia Coradeschi.
Reasoning with Misperception in the Features and Fluents Framework. .
Accepted for publication in the proceedings of the 1996 European Conference on Artificial Intelligence.
Silvia Coradeschi, Lars Karlsson.
A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents, .
Accepted for publication in the proceedings of the 1995 International Conference on Multi-Agent Systems.
Patrick Doherty.
Partiality, Modality, and Nonmonotonicity. .
CSLI Publications, 1996.
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: Preliminary Report. .
Published in the proceedings of the 1995 International Joint Conference on Artificial Intelligence, pp. 1502-1508.
Patrick Doherty, P Peppas.
A Comparison between two Approaches to Ramification: PMON(R) and AR0. .
Published in the proceedings of the 1995 Australian Joint Conference on Artificial Intelligence, pp. 267-274.
Patrick Doherty, Witold Lukaszewicz.
A Study in Modal Embeddings of NML3. .
In Doherty, P., editor, Partiality, Modality, and Nonmonotonicity,
chapter 5, pages 145--168. CSLI Publications.
Patrick Doherty, Witold Lukaszewicz, A Szalas.
General Domain Circumscription and its First-Order Reduction. .
Accepted for publication in the proceedings of the 1996 International Conference on Formal and Applied Practical Reasoning.
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Explaining Explanation Closure. .
Accepted for publication in the proceedings of the 1996 International Symposium on Methodologies for Intelligent Systems.
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: A Reduction Algorithm. .
Accepted for publication in the Journal of Automated Reasoning, pp. 297-336.
Patrick Doherty, Witold Lukaszewicz, A Szalas.
A Reduction Result for Circumscribed Semi-Horn Formulas. .
Published in the journal Fundamenta InformaticaeVol. 28, pp. 261-272.
Dimiter Driankov, H Hellendoorn.
Chaining of fuzzy rules in Mamdani controllers, .
Accepted for publication in the proceedings of the 1995 IEEE International Conference on Fuzzy Systems.
Dimiter Driankov.
Model based fuzzy control, .
Accepted for publication in the Handbook of Fuzzy Computation.
Dimiter Driankov, G. Fodor.
Fuzzy control under violation of ontological assumptions, .
Published in the proceedings of the conference FLAMOC, pp. 109-115.
Dimiter Driankov, H Hellendoorn, M Reinfrank.
Introduction to Fuzzy Control (2nd revised edition), .
Springer Verlag (Berlin, Heildelberg, New York), 1996.
Dimiter Driankov, R Palm.
Fuzzy gain scheduling, .
Accepted for publication in the proceedings of the World Automation Congress.
Dimiter Driankov, R Palm, U Rehfuess.
A Takagi-Sugeno fuzzy gain scheduler, .
Published in the proceedings of the 1996 IEEE International Conference on Fuzzy Systems, pp. 1053-1059.
Joakim Gustafsson, Patrick Doherty.
Embracing Occlusion in Specifying the Indirect Effects of Actions. .
Accepted for publication in the proceedings of the 1996 International Conference on Knowledge Representation and Reasoning.
Lars Karlsson.
Planning, Truth Criteria and the Systematic approach to Action and Change. .
Accepted for publication in the proceedings of the 1996 International Symposium on Methodologies for Intelligent Systems.
Lars Karlsson.
Causal links planning and the systematic approach to action and change. .
AAAI-96 Workshop on Reasoning about actions, planning and control:
bridging the gap, Portland, Oregon, 1996.
Jacek Malec.
Behaviour-based autonomous systems: Towards an analysis framework, .
In Robert Trappl, editor, Cybernetics and Systems'94, pp. 1419--1426,
World Scientific Publ., 1994.
Jacek Malec.
A unified approach to intelligent agency, .
In Michael Wooldridge and Nicholas R. Jennings, editors,
Intelligent Agents, pages 233--244. Springer-Verlag, 1995.
R Palm, Dimiter Driankov.
Fuzzy inputs, .
Int. J. Fuzzy Sets and Systems, vol. 70, 1995, pp. 315-335.
R Palm, Dimiter Driankov, U Rehfuess.
Lyapunov-linearization based design of Takagi-Sugeno fuzzy controllers, .
Published in the proceedings of the IFSA World Congress, pp. 103-107.
R Palm, Dimiter Driankov, H Hellendoorn.
Model-based Fuzzy Control: Fuzzy gain scheduling and sliding mode
fuzzy control, .
Springer Verlag (Berlin, Heidelberg, New York), 1996.
Erik Sandewall.
Reasoning about Actions and Change with Ramification. .
In: Jan van Leeuwen(ed):
Computer Science Today, pp. 486-504. Springer Verlag, Lecture Notes in
Computer Science, Vol. 1000, 1995.
Erik Sandewall.
Towards a world-wide database. .
Computer Networks and ISDN Systems, Vol. 28 (1996), pp 1513-1522.
Erik Sandewall.
Towards a world-wide knowledge base. .
Invited paper. Z. Ras and M. Michalewicz (eds),
Foundations of Intelligent Systems, pp. 50-55.
Springer Verlag, 1996
Erik Sandewall.
Assessments of ramification methods that use static domain constraints. .
L. Aiello et als (eds). Proceedings of the International Joint
Conference on Knowledge Representation and Reasoning, pp. 99-110.
Morgan-Kaufmann Publishers,
San Francisco, CA., Nov. 1996.
Erik Sandewall.
Underlying semantics for logics of actions and change. .
Extended abstract. Invited lecture at Logic Colloquium 96 in
Donostosia/San Sebastian, Spain.
European Summer Meeting of the Association for Symbolic Logic.
Erik Sandewall.
Towards the validation of high-level action descriptions from
their low-level definitions. .
AICOM Journal,
Vol. 9, No. 4, Dec, 1996, pp. 214-224. IOS Press.
Erik Sandewall.
Underlying semantics for actions and change with ramification. .
Oliviero Stock (ed),
Spatial and Temporal Reasoning, pp. 289-318.
Kluwer, 1997.
Erik Sandewall.
Getting Robots to Know Exactly What they are Doing. .
Invited lecture.
W. Wahlster (ed): Proceedings of the 1996 European Conference
on Artificial Intelligence (ECAI), p. 707.
Wiley, 1996.
Erik Sandewall.
The early use of continuations and partial evaluation for compiling rules
written in FOPC. .
Working notes of the 2nd ACM SIGPLAN Workshop on Continuations,
Paris, France, Jan 14, 1997. (Journal publication, see the list for 1999 ).
Erik Sandewall.
Relating high-level and low-level action descriptions in a
logic of actions and change. .
O. Maler (ed): Hybrid and Real-Time Systems, pp. 3-17.
Proceedings of HART'97, Grenoble, France, March 26-28, 1997.
Springer Verlag, 1997.
P Wide, Dimiter Driankov.
A Fuzzy approach to multi-sensor data fusion for quality profile
classification, .
Published in the proceedings of the IEEE/SICE/RSJ International Conference on Multisensor Fusion and Integration for Intelligent Systems, pp. 215-221.
P Wide, F Winquist, Dimiter Driankov.
An air quality sensor system with fuzzy classification, .
Accepted for publication in the Journal of Measurement Science and Technology, pp. 138-146.
Silvia Coradeschi, Lars Karlsson.
A Decision-Mechanism for Reactive and Cooperative Soccer-Playing Agents.
Accepted for publication in the proceedings of the 2 .
Presented at the RoboCup workshop: Soccer as a problem for Multi-Agent
Systems, during the second international conference on Multi-Agent
Systems (ICMAS-96)
[abstract]
[postscript]
[PDF]
[ECP]
[ALP]
Thierry Vidal, Hélène Fargier.
Contingent durations in temporal CSPs: from consistency to controllabilities.
A revised version of this article was published in the proceedings
of the TIME-1997 conference
[abstract]
[postscript]
[ECP]
[ALP]
Erik Sandewall.
A Neo-Classical Structure for Scientific Publication and Reviewing.
Published by the Linköping University
Electronic Press.
[abstract]
[postscript]
[ECP]
Lars Karlsson.
Reasoning about incomplete initial information and nondeterminism in the situation calculus.
Accepted for publication in the proceedings of the 1997 International Joint Conference on Artificial Intelligence.
Thomas Drakengren, Marcus Bjäreland.
Towards a Complete Classification of Tractability in Allen's Algebra.
Accepted for publication in the proceedings of the 1997 International Joint Conference on Artificial Intelligence.
[postscript]
Marcus Bjäreland, Lars Karlsson.
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Actions and Change.
Accepted for publication in the proceedings of the 1997 International Joint Conference on Artificial Intelligence.
[postscript]
Man Lin, Jacek Malec.
Timing Analysis of RL Programs..
Accepted for publication in the proceedings of the 1997 IFAC/IFIP Workshop on Real-Time Programming.
Silvia Coradeschi, Lars Karlsson.
A Behavior-Based Decision-Mechanism for Agents coordinating using Roles: a Prel iminary Report..
Accepted for publication in the proceedings of the 1997 International Workshop on Agent Theories, Architectures, and Languages.
[postscript]
Dimiter Driankov, Jacek Malec.
On the stability of behaviour-based systems..
Accepted for publication in the proceedings of the IFAC Symposium on Intelligent Autonomous Vehicles.
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]
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.
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.
[postscript]
Man Lin, Jacek Malec.
Timing analysis of RL programs..
Accepted for publication in the Journal of Control Engineering Practice.
[postscript]
Silvia Coradeschi, Jacek Malec.
The use of RoboCup (soccer simulation) for an AI programming course..
To appear (in Japanese) in the Journal of Robotic Society of Japan, special iss ue in Robotics and Education, May 98.
[postscript]
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]
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]
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]
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]
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.
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.
Jacek Malec, Dimiter Driankov.
On stability of behaviour based systems.
Published in the proceedings of the 1998 IFAC Symposium on Intelligent Autonomous Vehicles, pp. 595-601.
[postscript]
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]
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]
J L Grantner, G. Fodor, Dimiter Driankov.
Hybrid boolean-fuzzy automata for ontological controllers.
Accepted for publication in the proceedings of the 1998 World Congress on Computational Intelligence.
Man Lin, Jacek Malec.
Timing analysis of RL programs.
Accepted for publication in the journal Control Engineering Practice.
Jacek Malec, Dimiter Driankov.
On stability of behaviour-based systems.
Proceedings of the 3rd IFAC Symposium on Intelligent Autonomous Vehicles, pp. 595-600, Madrid, Spain, March 1998.
R Palm, Dimiter Driankov.
Advances in Fuzzy Control.
Accepted for publication in Springer/Physica Verlag (Berlin, Heildelberg, New Your), 1998.
Dimiter Driankov.
Model based fuzzy control.
Accepted for publication in the Handbook of Fuzzy Computation.
Dimiter Driankov.
Fuzzy gain scheduling.
Publised in Fuzzy Logic Control: Advances in Methodology, Springer Verlag, 1998.
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 International Joint Conference on Artificial Intelligence.
[postscript]
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.
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.
J Grantner, Dimiter Driankov, G Fodor.
Using fuzzy logic for bounded recovery in autonomous agents.
Published in the proceedings of the 1997 Conference of the North American Fuzzy Information Processing Society, pp. 317-322.
Man Lin, Jacek Malec.
Timing analysis of RL programs.
Proceedings of the 22nd IFAC/IFIP Workshop on Real-Time Programming, pp. 123-128, Lyon, France, 1997.
H Hellendoorn, Dimiter Driankov.
Fuzzy Model Identification: Selected approaches, Edited Volume, Springer Verlag (Berlin, Heildelberg, New York), 1997..
R Palm, Dimiter Driankov.
Stability of fuzzy gain schedulers: a sliding-mode based analysis.
Published in the proceedings of the 1997 IEEE International Conference on Fuzzy Systems, pp. 177-183.
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.
R Palm, Dimiter Driankov.
Improving the global performance of a fuzzy gain scheduler by supervision.
Published in the proceedings of the 1997 IFAC Symposium on Instruments for Control Applications, pp. 555-560.
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.
Dimiter Driankov, R Palm.
Takagi-Sugeno based fuzzy gain scheduling.
Accepted for publication in the proceedings of the Workshop on Multiple Model Approaches to Modelling and Control.
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. In conjuction with ICMA-98.
[postscript]
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.
Lars Karlsson, Joakim Gustafsson.
Reasoning about Concurrent Interaction.
Accepted for publication in Journal of Logic and Computation.
Lars Karlsson, Joakim Gustafsson.
Reasoning about Concurrent Interaction.
Accepted for publication in Journal of Logic and Computation, 1998.
Marcus Bjäreland.
Golog and ontological control - model faults in a modelbased programming language: Detection, classification, and recovery.
To be submitted to IJCAI'99.
Marcus Bjäreland, Patrik Haslum.
Stability, stabilizability, and golog.
To be submitted to IJCAI'99.
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.
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.
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.
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.
P. Ikonen, Silvia Coradeschi, Jacek Malec.
Delayed reward in reinforcement learning: an experiment in multi-agent control.
Accepted in Vi Krajowa Konferencja Robotyki, 1998.
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.
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
General domain circumscription and its effective reductions.
Published in Fundamenta Informaticae, 34:1-33, 1998.
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries to relational databases.
Accepted for publication in Journal of Logic and Computation, 1998.
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Computing circumscription revisited: A reduction algorith.
Accepted for publication in Journal of Automated Reasoning, 18:297-336, 1997.
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]
Man Lin.
Synthesis of control software in a generic architecture from hybrid automata .
Accepted to HSCC'99 Second International Workshop of HYBRID SYSTEMS: COMPUTATION AND CONTROL, March 29-31, Nijmegen, The Netherlands.
Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström.
TAL:Temporal action logics, language specification and tutorial.
Submited for publication in Linköping Electronic Articles in Computer and Information Science, 3(15), September 30, 1998, Submitted to Electronic Transactions on Artificial Intelligence. http://www.ep.liu.se/ea/cis/1998/015/.
Patrick Doherty, Jonas Kvarnström.
TALPLAN, A Narrative Temporal Logic Based Forward Chaining Planner.
Submitted to IJCAI'99.
Patrick Doherty, Jonas Kvarnström.
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.
Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.
Marcus Bjäreland, Patrik Haslum.
Stable Situation Calculus Theories and Stabilizing GOLOG Programs.
Submitted to IJCAI'99.
Marcus Bjäreland.
Recovering from Modeling Faults in GOLOG.
Submitted to IJCAI'99.
T. Drakengren, Marcus Bjäreland.
Expressive Reasoning about Action in Nondeterministic Polynomial Time.
Submitted to IJCAI'99.
Joakim Gustafsson.
Reasoning about Action and Change Object Orientedly.
Submitted to IJCAI'99.
Marcus Bjäreland, Dimiter Driankov.
Synthesizing discrete controllers from hybrid automata - preliminary report.
Printed in Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.
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.
Thierry Vidal, Silvia Coradeschi.
Highly reactive decision making: a game with Time.
Accepted for presentation at the 16th International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.
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]
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.
[postscript]
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.
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.
Thomas Drakengren, Marcus Bjäreland.
Reasoning about action in polynomial time.
Accepted for publication in Artificial Intelligence Journal.
Thierry Vidal, Silvia Coradeschi.
Highly reactive decision making: a game with Time.
Presented at IJCAI, August 1999, Stockholm, Sweden.
G. Fodor, J. Gartner, Dimiter Driankov.
The implications of the object UML approach to the problem of fault detection and isolation in dynamical systems.
Proceedings of the 1999 IEEE Int. Symp. on Computer Aided Control system design, Hawai, USA, Aug. 22-27, 1999, pp. 176--181.
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.
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.
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.
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.
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.
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.
Patrick Doherty, Joakim Gustavsson, Lars Karlsson, Jonas Kvarnström.
TAL: Temporal action logics, language specification and tutorial.
Journal of Electronic Transactions on Artificial Intelligence, 3-4, 1999.
Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constraints.
Journal of Computational Intelligence, 1999. Accepted for publication.
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), 1999.
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.
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.
Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
Computing MPMA updates using dijkstra's semantics.
Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, 1999.
Lars Karlsson, Joakim Gustafsson.
Reasoning about concurrent interaction.
Journal of Logic and Computation, 1999.
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.
Patrik Haslum, Peter Jonsson.
Some results on the complexity of planning with incomplete information.
Proceedings 5th European Conference on Planning, 1999.
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
Artificial Intellingence. To appear.
Marcus Bjäreland, George Fodor.
Execution monitoring of industrial process controllers: an application of Ontological Control.
Accepted to the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS'00), June 14-16, Budapest, Hungary.
M. Nakamura, Chitta Baral, Marcus Bjäreland.
Maintainability: a weaker stabilizability-like notion for high-level control of agents.
Accepted for presentation at the 10th National Conference on Artificial Intellligence (AAAI 2000), in Austin, Texas, USA, August 2000.
G. Fodor, J. Grantner, D. Driankov.
The implications of the object UML approach to the problem of fault detection and isolation in dynamical systems.
Proc. 1999 IEEE Int. Symp. Computer Aided Control System Design, (publ. IEEE, Piscathaway, NJ, USA), pp. 176--181.
J. Grantner, G. Fodor, D. Driankov.
The virtual fuzzy state-machine approach: a domain independent fault detection and recovery method for .
object-based control systems
18th Int. Conf. NAFIPS, (publ. IEEE, Piscathaway, NJ, USA), pp. 158--162.
J. Gartner, G. Fodor, D. Driankov, M. Patyra.
Application of the fuzzy-state fuzzy-output finite state machine to the problem of recovery from violations of ontological assumptions.
Smart Engineering Systems Design, vol.2, 2000, pp. 177--199.
Jonas Kvarnström, Patrick Doherty:.
Tackling the Qualification Problem using Dependency Constraints.
Published in Computational Intelligence, Volume 16, Number 2, pp.169-209, May 2000.
Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Sandewall, K. Nordberg, Erik Skarman, Johan Wiklund.
The WITAS Unmanned Aerial Vehicle Project.
W. Horn (ed): Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), pp. 747-755. IOS Press, 2000.
Peter Jonsson, Patrik Haslum, Christer Bäström.
Towards Efficient Universal Planning -- A Randomized Approach.
Published in Artificial Intelligence 117(1):1-29, 2000.
Jonas Kvarnström, Patrick Doherty, Patrick Haslum.
Extending TALplanner with Concurrency and Resources.
In Proceedings of the 14th European Conference on Artificial Intelligence, (ECAI2000), August, Berlin.
Patrick Doherty, A. Kachniarz, Andrzej Szalas.
Meta-Queries on Deductive Databases.
Published in Fundamenta Informatica, 40(1):17-30, 1999).
Bourhane Kadmiry, P. Bergsten, Dimiter Driankov.
Autonomous Helicopter using Fuzzy Gain Scheduling.
Accepted for presentation at the International Conference on Robotics and Applications (ICRA2001) Seoul-Korea, March 23-26, 2001.
Bourhane Kadmiry, R. Palm, Dimiter Driankov.
Autonomous Helicopter Control Using Gradient Descent Optimization.
Accepted at the Asian Conference on Robotics and Applications (ACRA2001), held in Singapore, June 6-8, 2001.
Bourhane Kadmiry, Dimiter Driankov.
Autonomous Helicopter Control Using Linguistic & Model-based Fuzzy.
Control
Accepted at the International Fuzzy Systems Applications (IFSA/NAFIPS 2001), held in Vancouver-CANADA, July 25-28, 2001.
Bourhane Kadmiry, Dimiter Driankov.
Autonomous Helicopter Control Using Linguistic & Model-based Fuzzy Control.
Accepted at the 10th IEEE-International Conference on Control Applications (ISIC 2001), held in Mexico-city, September 5 -7, 2001.
Erik Sandewall.
Open Reviewing, Closed Refereeing: Where's the Publication?.
In E.H. Fredriksson (ed): A Century of Science Publishing, pp. 285-301. IOS Press, 2001.
Erik Sandewall.
Action Inventory for a Knowledge-Based Colloquium Agent.
In H. Levesque and F. Pirri (eds): Logical Foundations for Cognitive Agents, pp. 300-308. Springer Verlag, 1999.
Erik Sandewall.
Cellular Ontology as a Basis for Spatiotemporal Reasoning..
Invited paper. C. Bettini and A. Montanari (ed): Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01), pp. 3-4. IEEE Computer Society Press, 2001.
Erik Sandewall.
On the Design of Software Individuals..
Accepted, Eletronic Transactions on Artificial Intelligence,
Vol. 5 (2001), Section B: contributions from the
Machine Intelligence 18 Workshop.
Erik Sandewall.
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited..
Electronic Transactions on Artificial Intelligence, Vol. 2 (1998), pp 307-329.