Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits  @ NUS Home/Search
Context Related
| kbsg.informatik.rwth...Gans2002SNet.ps Cached: PS.gz PS PDF Image Update Help From: kbsg.informatik...ublications.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: SNet is a prototype environment supporting the representation and dynamic evaluation of designs for social networks comprising human, hardware, and software agents. The environment employs metadata management technology to integrate an extended version of the i* formalism for static network modeling with the ConGolog logicbased activity simulator. The paper de nes the formal mappings necessary to achieve the integration and describes an operational prototype demonstration. SNet's... (Update)
Cited by: More
Deliberation in a Metadata-Based Modeling and.. - Gans, Jarke.. (2004) (Correct)
Similar documents (at the sentence level):
33.1%: SNet: A Modeling and Simulation Environment for Agent.. - Gans, Lakemeyer.. (2002) (Correct)
Active bibliography (related documents): More All
0.8: Deliberation in a Modeling and Simulation Environment .. - Gans, Jarke.. (2003) (Correct)
0.5: Representing the Knowledge of a Robot - Thielscher (2000) (Correct)
0.3: Incremental Maintenance of Materialized Ontologies - Raphael Volz Steffen (2003) (Correct)
Similar documents based on text: More All
0.4: SNet Reloaded: Roles, Monitoring and Agent Evolution - Gans, Schmitz, Jarke.. (2004) (Correct)
0.2: Local Conditional High-Level Robot Programs (extended version) - Sardina (Correct)
0.1: Extending ConGolog to allow partial ordering - Baral, Son (2000) (Correct)
BibTeX entry: (Update)
G. Gans, M. Jarke, G. Lakemeyer, and T. Vits. SNet: A modeling and simulation environment for agent networks based on i* and ConGolog. In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE02), LNCS 2348, pages 328--343, Toronto, Canada, May 2002. http://citeseer.comp.nus.edu.sg/670832.html More
@misc{ gans02snet,
author = "G. Gans and M. Jarke and G. Lakemeyer and T. Vits",
title = "SNet: A modeling and simulation environment for agent networks based on
i* and ConGolog",
text = "G. Gans, M. Jarke, G. Lakemeyer, and T. Vits. SNet: A modeling and simulation
environment for agent networks based on i* and ConGolog. In Proceedings
of the 14th International Conference on Advanced Information Systems Engineering
(CAiSE02), LNCS 2348, pages 328--343, Toronto, Canada, May 2002.",
year = "2002",
url = "citeseer.comp.nus.edu.sg/670832.html" }
Citations (may not include all citations):269 Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
229 Goal-directed requirements acquisition - Dardenne, van Lamsweerde et al. - 1993
194 Telos - representing knowledge about information systems - Mylopoulos, Borgida et al. - 1990
104 Modelling Strategic Relationships for Process Reengineering (context) - Yu - 1995
53 NuSMV: a new symbolic model checker - Cimatti, Clarke et al.
51 a concurrent programming language based on the situation cal.. (context) - de Giacomo, Lesp et al. - 2000
37 An incremental interpreter for highlevel programs with sensi.. - de Giacomo, Levesque - 1999
15 Business Process Engineering - Reference Models for Industri.. (context) - Scheer - 1994
14 Agent-oriented requirements engineering using ConGolog and - Wang, Lesp - 2001
12 Modeling dynamic domains with congolog - Lesp, Kelley et al. - 1999
10 Semantic Information Processing (context) - McCarthy, actions et al. - 1968
9 INCOMESTAR Methodology and tool development distributed info.. - Scherrer, STAR et al. - 1994
4 Towards more realistic logic-based robot controllers - Grosskreutz, Lakemeyer - 2000
3 ConceptBase - a deductive object base for meta data manageme.. (context) - Jarke, Eherer et al. - 1995
2 Simulating the impact of information ows on networked organi.. (context) - Peters, Jarke - 1996
2 oping Electronic Articles in Computer and Information Scienc.. (context) - Levesque, Pirri et al. - 1998
http://www.cs.toronto.edu/km/ome/
Documents on the same site (http://www-kbsg.informatik.rwth-aachen.de/research/publications.php): More
Deliberation in a Metadata-Based Modeling and.. - Gans, Jarke.. (2004) (Correct)
Levesque's Axiomatization of Only Knowing is Incomplete - Halpern, Lakemeyer (1995) (Correct)
Limited Reasoning in First-Order Knowledge Bases - Lakemeyer (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.