Distance functions for defaults in reactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1816, Issue , 2000, Pages 26-40

  Guerra, Sofia ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; REUSABILITY; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; TEMPORAL LOGIC;

DEFAULT REASONING; DISTANCE FUNCTIONS; EXISTING SYSTEMS; FORMALISATION; NON-MONOTONICITY; PARTIAL REUSE; PRE ORDERINGS; REACTIVE SYSTEM;

SPECIFICATIONS;

EID: 23044519000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_5     Document Type: Conference Paper

References (12)

1. Stefan Brass, Udo Lipeck, and Pedro Resende. Specification of object behaviour with defaults. In Udo Lipeck and Gerhard Koschorreck, editors, Proceedings of the International Workshop on Information Systems: Correctness and Reusability, ISCORE-93, pages 155-177, 1993.
2. Dov Gabbay, C. J. Hogger, and J. A. Robinson, editors. Nonmonotonic Reasoning and Uncertain Reasoning, volume 3 of Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford: Clarendon Press, 1994.
3. Anthony Finkelstein and Ian Sommerville. The viewpoints FAQ. Software Engi-neering Journal, 11(1):2-4, 1996.
4. Joseph A. Goguen and Rod M. Burstall. Institutions: Abstract model theory for Specification and programming. Journal of the ACM, 39(1):95-146, January 1992.
5. Sofia Guerra. Defaults in the Specification of Reactive Systems. PhD thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, 1999.
6. Udo W. Lipeck and Stefan Brass. Object-oriented system Specification using de-faults. In K. V. Luck and H. Marburger, editors, Management and Processing Complex Data Structures, Proceedings 3rd Workshop on Information Systems and Artificial Intelligence, volume LNCS 777, pages 22-43, Berlin, 1994. Springer Verlag.
7. David Makinson. General patterns in non-monotonic reasoning. In Gabbay et al. [2], chapter 2, pages 35-110.
8. Leora Morgenstern. Inheritance comes of age: Applying nonmonotonic techniques to problems in industry. Artificial Intelligence, 103:237-271, 1998.
9. Amir Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pages 46-57, 1977.
10. Pierre-Yves Schobbens. Exceptions in Algebraic Specifications. PhD thesis, Uni-versité Catholique de Louvain, Faculté des Sciences Appliquées, 1992.
11. Yoav Shoham. Chronological ignorance: Experiments in nonmonotonic temporal reasoning. Artificial Intelligence, 36:279-331, 1988.
12. A. Sernadas, Cristina Sernadas, and J. F. Costa. Object Specification logic. Journal of Logic and Computation, 5(5):603-630, 1995.