Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DIT-02-016
NuSMV2: an Open Source Tool for Symbolic Model Checking
2002

Abstract: This paper describes version 2 of the NuSMV tool. NuSMV is a symbolic model checker originated fr... See more
Technical Reports - DIT-02-010
Theories and uses of context in knowledge representation and reasoning
2001, Note: published as invited paper in Journal of Pragmatics - Special Issue on Context, Elsevier Science.

Abstract: This paper discusses the uses of context in knowledge representation and reasoning (KRR). We prop... See more
Technical Reports - DIT-02-008
The Tropos Software Development Methodology: Processes, Models and Diagrams
2001, Note: In proceedings of AOSE 2002
Keywords: Agent Oriented Software Engineering

Abstract: Tropos is a novel agent-oriented software development methodology founded on two key features: (i... See more
Technical Reports - DIT-02-007
Knowledge Level Software Engineering
2001, Note: In Proceedings of ATAL 2001, Seattle, 2001. Springer Verlag.

Abstract: We contend that, at least in the first stages of definition of the early and late requirements, t... See more
Technical Reports - DIT-02-009
The Local Relational Model: Model and Proof Theory
2001

Abstract: In this paper we identify desirable data management mechanisms for peer-to-peer (P2P) computing. ... See more
Technical Reports - DIT-02-005
A Knowledge Level Software Engineering Methodology for Agent Oriented Programming
2000, Note: In proceedings of the Fifth International Conference on Autonomous Agents (Agents 2001), 2001.
Keywords: Agent-based software engineering, Design methodologies

Abstract: Our goal in this paper is to introduce and motivate a methodology, called Tropos, for building ag... See more
Technical Reports - DIT-02-006
ML systems: A Proof Theory for Contexts
2000, Note: Submitted to the Journal of Logic Language and Information, June 2002
Keywords: Contextual Reasoning, Distributed Information-Oriented Theories, Modal Logics, Multi Context systems, Normal Form, Proof Theory

Abstract: In the last decade the concept of context has been extensively exploited in many research areas, ... See more
Technical Reports - DIT-02-023
SAT-Based Decision Procedures for Classical Modal Logics
1999, Note: Accepted to the Journal of Automated Reasoning 28: 143-171, 2002

Abstract: We present a set of SAT-based decision procedures for various classical modal logics. By SAT-base... See more
Technical Reports - DIT-02-072
Ideal and Real Belief about Belief
1996, Note: Appeared on Journal of Logic and Computation, Vol. 11, No 1. pp. 157-192, 2001.

Abstract: The goal of this paper is to provide a formalization of monotonic belief and belief about belief ... See more