References of "Van Zee, Marc 50003256"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailRational Enterprise Architecture
van der Torre, Leon UL; Van Zee, Marc UL

in Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I (2017)

We are interested in formal foundations for enterprise decision support. In this perspective, enterprise architecture is characterised by highly uncertain plans in a changing environment, and translates ... [more ▼]

We are interested in formal foundations for enterprise decision support. In this perspective, enterprise architecture is characterised by highly uncertain plans in a changing environment, and translates strategic goals into an IT strategy. Typically there are a large number of stakeholders with conflicting views, communicating plans of action, and explaining decisions instead of making them. An enterprise architecture considers qualitative before quantitative data, has stronger business focus than other disciplines, and politics, emotions, and soft skills play a bigger role than in other areas. We view a plan abstractly as a sequence of commitments in time, and each commitment in the plan may come with a number of underlying assumptions. If these underlying assumptions change, then parts of the plan may require revision, which in turn may invalidate other parts of the plan, and so on. Therefore, assumptions have an inherently non-monotonic character: they are assumed to be true, unless it becomes clear they are false. This is related to the resource-boundedness of enterprise architecture: an enterprise architect cannot always know all of the assumptions, especially for long term plans. [less ▲]

Detailed reference viewed: 21 (0 UL)
Full Text
Peer Reviewed
See detailArgumentation-based Methodology for Goal-oriented Requirements Language (GRL)
Ghanavati, Sepideh; Van Zee, Marc UL; Bex, Floris

in Proceedings of the 10th International i* Workshop co-located with the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), Essen, Germany, June 12-13, 2017. (2017)

Goal-oriented Requirements Language (GRL) aims to capture goals and non-functional requirements of stakeholders and analyzing alternative solutions for realizing these goals. GRL also documents the ... [more ▼]

Goal-oriented Requirements Language (GRL) aims to capture goals and non-functional requirements of stakeholders and analyzing alternative solutions for realizing these goals. GRL also documents the rationale behind selecting certain goals or alternatives. However, it does not have any means to document and trace back all of the arguments that occur during the stakeholder’s discussion process. To address this, we have developed the RationalGRL framework. RationalGRL combines techniques for formal argumentation from artificial intelligence with goal modeling in GRL. However, we did not specify how practitioners can actually use this framework. In this paper we discuss the methodology for RationalGRL, which consists of two processes, goal modeling and argumentation, that can be done interchangeably. We motivate our approach with an example. [less ▲]

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailFormalizing and Modeling Enterprise Architecture (EA) Principles with Goal-oriented Requirements Language (GRL)
Marosin, Diana; Van Zee, Marc UL; Ghanavati, Sepideh

in Proceedings of the 28th International Conference on Advanced Information System Engineering (CAiSE16) (2016)

Detailed reference viewed: 38 (0 UL)
Full Text
Peer Reviewed
See detailAGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)
Van Zee, Marc UL; Doder, Dragan UL

in Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (2016, April)

Detailed reference viewed: 45 (1 UL)
Full Text
Peer Reviewed
See detailRationalGRL: A Framework for Rationalizing Goal Models Using Argument Diagrams
Van Zee, Marc UL; Bex, Floris; Ghanavati, Sepideh

in 35th International Conference on Conceptual Modeling (ER'2016) (2016)

Detailed reference viewed: 26 (0 UL)
Full Text
Peer Reviewed
See detailThe RationalGRL toolset for Goal Models and Argument Diagrams
Van Zee, Marc UL; Marosin, Diana; Bex, Floris et al

in Proceedings of the 6th International Conference on Computational Models of Argument (COMMA'16) (2016)

Detailed reference viewed: 32 (4 UL)
Full Text
Peer Reviewed
See detailAGM-Style Revision of Beliefs and Intentions
Van Zee, Marc UL; Doder, Dragan UL

in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16) (2016)

Detailed reference viewed: 30 (0 UL)
Full Text
Peer Reviewed
See detailnsights from a Study on Decision Making in Enterprise Architecture
van der Linden, Dirk; Van Zee, Marc UL

in In Short Paper Proceedings of the 8th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM) (2015)

Detailed reference viewed: 22 (3 UL)
Full Text
Peer Reviewed
See detailConsistency Conditions for Beliefs and Intentions
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

Scientific Conference (2015)

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show ... [more ▼]

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic [less ▲]

Detailed reference viewed: 98 (5 UL)
Full Text
Peer Reviewed
See detailAGM Revision of Beliefs about Action and Time
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to ... [more ▼]

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to- morrow it will rain), possibility (it may rain tomor- row), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl repre- sentation theorems by restricting the logic to for- mulas representing beliefs up to certain time. We illustrate our belief change model through several examples [less ▲]

Detailed reference viewed: 105 (9 UL)
Full Text
Peer Reviewed
See detailRationalization of Goal Models in GRL using Formal Argumentation
Van Zee, Marc UL; Bex, Floris; Ghanavati, Sepideh

in In Proceedings of RE: Next! track at the Requirements Engineering Conference 2015 (RE'15) (2015)

Detailed reference viewed: 16 (1 UL)
Full Text
See detailIntention Reconsideration as Metareasoning
Van Zee, Marc UL; Icard, Thomas

Scientific Conference (2015)

Detailed reference viewed: 40 (1 UL)
Full Text
Peer Reviewed
See detailARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions
Van Zee, Marc UL; van der Linden, Dirk

in Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC2015) (2015)

Detailed reference viewed: 21 (1 UL)
Full Text
Peer Reviewed
See detailRational Architecture = Architecture from a Recommender Perspective
Van Zee, Marc UL

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

Detailed reference viewed: 58 (2 UL)
Full Text
Peer Reviewed
See detailBridging Social Network Analysis and Judgment Aggregation
Colombo Tosatto, Silvano UL; Van Zee, Marc UL

in Social Informatics - 6th International Conference, SocInfo 2014, Barcelona, Spain, November 11-13, 2014. Proceedings (2014)

Judgment aggregation investigates the problem of how to aggregate several individuals’ judgments on some logically connected propositions into a consistent collective judgment. The majority of work in ... [more ▼]

Judgment aggregation investigates the problem of how to aggregate several individuals’ judgments on some logically connected propositions into a consistent collective judgment. The majority of work in judgment aggregation is devoted to studying impossibility results, but the relationship between the (social) dependencies that may exist be- tween voters and the outcome of the voting process is traditionally not studied. In this paper, we use techniques from social network analysis to characterize the relations between the individuals participating in a judgment aggregation problem by analysing the similarity between their judgments in terms of social networks. We obtain a correspondence between a voting rule in judgment aggregation and a centrality measure from social network analysis and we motivate our claims by an empirical analysis. We also show how large social networks can be simplified by grouping individuals with the same voting behavior. [less ▲]

Detailed reference viewed: 43 (3 UL)
Full Text
Peer Reviewed
See detailCapturing Evidence and Rationales with Requirements Engineering and Argumentation-Based Techniques
Van Zee, Marc UL; Ghanavati, Sepideh

Scientific Conference (2014, September)

Detailed reference viewed: 23 (4 UL)
Full Text
Peer Reviewed
See detailReasoning on Robot Knowledge from Discrete and Asynchronous Observations
Ziafati, Pouyan UL; Elrakaiby, Yehia UL; van der Torre, Leon UL et al

in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use ... [more ▼]

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use of robot knowledge for planning, user-interaction, etc. This paper identifies some of the main issues related to the representation, maintenance and querying of robot knowledge based on discrete asynchronous events such as event-history management and synchronization, and introduces a language for simplifying developers’ job at making a suitable representation of robot knowledge. [less ▲]

Detailed reference viewed: 296 (41 UL)
Full Text
Peer Reviewed
See detailBridging Social Network Analysis and Judgment Aggregation
Tosatto, Silvano Colombo; Van Zee, Marc UL

in Proceedings of the 6th International Conference on Social Informatics (2014)

Detailed reference viewed: 23 (1 UL)
Full Text
Peer Reviewed
See detailFormalizing Enterprise Architecture Decision Models using Integrity Constraints
Van Zee, Marc UL; Plataniotis, Georgios; Marosin, Diana et al

in Unknown, Unknown (Ed.) Formalizing Enterprise Architecture Decision Models using Integrity Constraints (2014)

In creating an enterprise architecture (EA) several design decisions have to be made. The aim of this paper is to provide a logic-based formalism for capturing architectural design decisions in order to ... [more ▼]

In creating an enterprise architecture (EA) several design decisions have to be made. The aim of this paper is to provide a logic-based formalism for capturing architectural design decisions in order to make the rationalization of these decisions explicit as well as traceable. Our working hypothesis is that capturing of design knowledge in terms of a logic-based framework will enable consistency checks of the underlying rationales and advanced impact/what-if analysis when confronted with changes (e.g. decisions are changed, issues are solved). We formalize a set of integrity constraints, which allow guidance of decision capturing during model creation and provide means to perform consistency checks. We apply our formal framework to a practical case study from the insurance sector. [less ▲]

Detailed reference viewed: 57 (5 UL)
Full Text
Peer Reviewed
See detailSocial Network Analysis for Judgment Aggregation
Colombo Tosatto, Silvano UL; Van Zee, Marc UL

in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (2014)

The majority of work in judgment aggregation is devoted to the study of impossibility results. However the (social) dependencies that may exist between the voters has received less attention. In this ... [more ▼]

The majority of work in judgment aggregation is devoted to the study of impossibility results. However the (social) dependencies that may exist between the voters has received less attention. In this extended abstract we use the degree centrality measure from social network analysis and obtain a correspondence between the average voter rule and this measure, and show that approach can lead to more resolute outcomes in the voting process. [less ▲]

Detailed reference viewed: 61 (5 UL)