ECRA Special Issue on Supply Chain Trading – Call for Contributions (2009)
Norman Sadeh, John Collins, Sverker Janson
Supply chain management is central to the operation of today’s enterprises. Global competition and ever shorter product life cycles are forcing companies to explore more agile supply chain...
Interactive Visual Analysis of Networked Systems: Workflows for Two Industrial Domains (2008)
Holmgren, Fredrik, Janson, Sverker
We report on a first study of interactive visual analysis of networked systems. Working with ABB Corporate Research and Ericsson Research, we have created workflows which demonstrate the potential of...
Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzen, Per Brand, Kent Boortz, ...
SICS is investigating a new generation of languages for symbolic processing that are based on the paradigm of concurrent constraint programming. A wide range of pertinent topics are being studied. In...
Embla – Data Dependence Profiling for Parallel Programming Extended Abstract (2008)
Karl-filip Faxén, Lars Albertsson, Konstantin Popov, Sverker Janson
With the proliferation of multicore processors, there is an urgent need for tools and methodologies supporting parallelization of existing applications. In this paper we present a novel tool for...
IOS Press Evolution of a supply chain management game for the Trading Agent Competition (2008)
Joakim Eriksson, Niclas Finne, Sverker Janson
Abstract. TAC SCM is a supply chain management game for the Trading Agent Competition (TAC). The purpose of TAC is to spur high quality research into realistic trading agent problems. We discuss TAC...
Mats Carlsson, Bjorn Carlson, Bjorn Carlson, Sverker Janson, Sverker Janson
AKL(FD) is an integration of (an extension of) the finite domain constraint system FD in AKL, a deep concurrent constraint programming language [CJH94]. In this paper we describe the implementation...
Sverker Sics Se, Manny Rayner, Sverker Janson
We present a framework for reasoning about the concepts of "knowing what" and "finding out", in which the key concept is to identify "finding out the answer to question...
Personalized Decentralized Communication (2007)
Tomas Olsson, Andreas Rasmusson, Sverker Janson
Search engines, portals and topic-centered web sites are all attempts to create more or less personalized web-services. However, no single service can in general fulfill all needs of a particular...
Seif Haridi, Sverker Janson, Johan Montelius, Per Br, Kent Boortz, Bjorn Danielsson, ...
) Seif Haridi Sverker Janson Johan Montelius Torkel Franz'en Per Brand Kent Boortz Bjorn Danielsson Bjorn Carlson Torbjorn Keisu Dan Sahlin Thomas Sjoland SICS, Box 1263, S-164 28 KISTA Tel...
Personalized Decentralized Communication (2007)
Tomas Olsson, Andreas Rasmusson, Sverker Janson
Search engines, portals and topic-centered web sites are all attempts to create more or less personalized web-services. However no single service can in general fulfill all needs
Erik Aurell, Magnus Boman, Mats Carlsson, Joakim Eriksson, Niclas Finne, Sverker Janson, ...
constraint programming agent for
The implementation of AKL(FD) (2007)
Björn Carlson, Mats Carlsson, Sverker Janson
AKL(FD) is an integration of (an extension of) the nite domain constraint system FD in AKL, a deep concurrent constraint programming language [CJH94]. In this paper we describe the implementation of...
Untrusted Code Reactive Security and Social Control (2007)
Lars Rasmusson, Andreas Rasmusson, Sverker Janson
A major security problem for a network oriented environment is executing untrusted code. Private information risks being disclosed or tampered with if unveri ed remote code manages to gain access to...
Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzen, Per Brand, Kent Boortz, ...
SICS is investigating a new generation of languages for symbolic processing that are based on the paradigm of concurrent constraint programming. A wide range of pertinent topics are being studied. In...
Intentions and intelligent screening in an agent-based personal communication system (2007)
Johan Montelius, Sverker Janson, Anders Danne, Goran Bage, Mikael Eriksson
We describe a scheme for intelligent screening in the context of an agentbased personal communication system. Intelligent screening is only possible if the called party has knowledge of who the...
New programming languages conceived by adding yet another permutation of new features on top of established languages offer only complexity and confusion to software developers. New basic principles...
Untrusted Code Reactive Security and Social Control (2007)
Lars Rasmusson, Andreas Rasmusson, Sverker Janson
A major security problem for a network oriented environment is executing untrusted code. Private information risks being disclosed or tampered with if unveri�ed remote code manages to gain access...
SICS AgentBase-- A Toolbox for Developing MarketSpace Agents (Extended Abstract) (2007)
Joakim Eriksson, Niclas Finne, Sverker Janson
The Internet has evolved from an information space to a market space with thousands, potentially millions, of electronic storefronts, auctions, and other commercial
Intentions and Intelligent Screening in an (2007)
Johan Montelius, Sverker Janson, Anders Danne, Goran Bage, Mikael Eriksson
We describe a scheme for intelligent screening in the context of an agentbased personal communication system.
Libra, a Multi-hop Radio Network Bandwidth Market (2007)
Rasmusson, Lars, Janson, Sverker
Libra is a two-level market which assigns fractional shares of time to the transmitting nodes in local regions of a multi-hop network. In Libra, users are assigned budgets by management and users...
Evolution of a supply chain management game for the trading agent competition (2006)
Eriksson, Joakim, Finne, Niclas, Janson, Sverker
TAC SCM is a supply chain management game for the Trading Agent Competition (TAC). The purpose of TAC is to spur high quality research into realistic trading agent problems. We discuss TAC and TAC...
The Supply Chain Management Game for the 2005 Trading Agent Competition (2004)
Collins, John, Arunachalam, Raghu, Sadeh, Norman, Eriksson, Joakim, Finne, Niclas, Janson, Sverker
The Supply Chain Management Game for the 2005 Trading Agent Competition held during IJCAI 2005, in Edinburgh, Scotland. The supplier model has been substantially revised to overcome the "Day Zero"...
The Supply Chain Management Game for the Trading Agent Competition 2004 (2004)
Arunachalam, Raghu, Eriksson, Joakim, Finne, Niclas, Janson, Sverker, Sadeh, Norman
This report is the specification for the Trading Agent Competition Supply Chain Management Game - TAC SCM-04, to be held between July 20-22, 2004, in New York in conjunction with AAMAS-04. Based on...
The supply chain management game for the trading agent competition 2004 (2004)
Raghu Arunachalam, Norman Sadeh, Joakim Eriksson, Niclas Finne, Sverker Janson
In this paper we discuss the motivation behind the design of the supply chain management trading agent competition game(TAC SCM). We look at some of the new challenges introduced by the game and...
The supply chain management game for the trading agent competition 2004 (2004)
Raghu Arunachalam, Norman Sadeh, Joakim Eriksson, Niclas Finne, Sverker Janson
TAC-03: a supply-chain trading competition (2003)
Sadeh, Norman, Arunachalam, Raghu, Eriksson, Joakim, Finne, Niclas, Janson, Sverker
The Trading Agent Competition (TAC) has now become an annual fixture since its inception in 2000. The competition was conceived with the objective of studying automated trading strategies by focusing...
A constraint programming agent for automated trading (2002)
Aurell, Erik, Boman, Magnus, Carlsson, Mats, Finne, Niclas, Janson, Sverker, Kreuger, Per, ...
The trading agent competition: TAC 2002 (2002)
Ericsson, Joakim, Janson, Sverker
The finals of the third annual Trading Agent Competition were held on 28 July 2002, co-located with AAA1-02 in Edmonton, Canada. The actual games took place on the Internet, with the game and auction...
Personalized Decentralized Communication (2000)
Olsson, Tomas, Rasmusson, Andreas, Janson, Sverker
Search engines, portals and topic-centered web sites are all attempts to create more or less personalized web-services. However, no single service can in general fulfill all needs of a particular...
Agents, self-interest and electronic markets (1999)
Lars Rasmusson, Sverker Janson
How free are our software agents to take the best possible care of our interests? How free can we make them? In what sense and to what extent do currently proposed mechanisms and agent behaviors...
SICS MarketSpace: an agent-based market infrastructure (1998)
Eriksson, Joakim, Finne, Niclas, Janson, Sverker
We present a simple and uniform communication framework for an agent-based market infrastructure, the goal of which is to enable automation of markets with self-interested participants distributed...
An internet software platform based on SICStus prolog (1998)
Joakim Eriksson, Fredrik Espinoza, Niclas Finne, Fredrik Holmgren, Sverker Janson, Niklas Kaltea, ...
During the last year we have been involved in several projects that have utilized the agent metaphor. A vital part of the work has been to identify and implement mechanisms/constructs that enabled us...
To each and everyone an agent: augmenting webbased commerce with agents (1998)
Joakim Eriksson, Niclas Finne, Sverker Janson
Internet has evolved from an information space to a market space with thousands, potentially millions, of electronic storefronts, auctions and other commercial services. This creates great...
SICS MarketSpace – an agentbased market infrastructure (1998)
Joakim Eriksson, Niclas Finne, Sverker Janson
Abstract. We present a simple and uniform communication framework for an agent-based market infrastructure, the goal of which is to enable automation of consumer goods markets distributed over the...
Using agents to secure the Internet marketplace - Reactive Security and Social Control (1997)
Lars Rasmusson, Andreas Rasmusson, Sverker Janson
We present the idea to let agents handle security issues in Internet markets. The motivation for this is the di culties in having external or centralized control over a system as open as the...
MarketSpace'96 - an Open Agent-Based Market Infrastructure (1997)
Joakim Eriksson, Niclas Finne, Sverker Janson (eds.), Sverker Janson (editors
We describe the results of the MarketSpace project, carried out as part of the Software Systems (Programvarusystem DV1, 20p) course, in the fourth year of the programming methodology branch of the...
Using Agents to Secure the Internet Marketplace Reactive Security and Social Control (1997)
Andreas Rasmusson, Andreas Rasmusson, Sverker Janson
We present the idea to let agents handle security issues in Internet markets. The motivation for this is the difficulties in having external or centralized control over a system as open as the...
Joakim Eriksson, Niclas Finne, Sverker Janson
At a first glance, the web may seem like a good infrastructure for electronic com- merce, but with a closer look, and with a view to future open agent-based market infrastructures, the...
Socially Controlled Global Agent Systems (1996)
Lars Rasmusson, Kungl Tekniska Hogskolan, Sverker Janson, Magnus Boman
In a socially controlled system it is the participants themselves who are responsible for cooperatively maintaining the security, as opposed to leaving security issues to some external or global...
Information and interaction in MarketSpace and their implementation in Prolog (1996)
Joakim Eriksson, Niclas Finne, Sverker Janson
In this position paper, we present work towards an infrastructure for Internet commerce, characterised by openness and by being based on a paradigm of interacting agents. Current web-based commerce...
Simulated Social Control for Secure Internet Commerce (1996)
Lars Rasmusson, Sverker Janson
In this paper we suggest that soft security such as social control has to be used to create secure open systems. Social control means that it is the participants themselves who are responsible for...
Intentions and Intelligent Screening in an Agent-based Personal Communication System (1996)
Johan Montelius, Sverker Janson, Jan Gabrielsson, Anders Danne, Göran Båge, Mikael Eriksson
We describe a scheme for intelligent screening in the context of an agentbased personal communication system. Intelligent screening is only possible if the called party has knowledge of who the...
Interactive Security Assistance for End-User Supervision of Untrusted Programs (1996)
Andreas Rasmusson, Kungl Tekniska Hogskolan, Sverker Janson, Magnus Boman
The paper describes a method for end-users to confidently run untrusted programs that are allowed to access private system resources. The approach is to use a Personal Security Assistant to...
Joakim Eriksson, Niclas Finne, Sverker Janson
The lack of structure of information and interaction in current web-based electronic commerce makes partial or full automation infeasible. We describe the first steps towards an open agent-based...
Reactive Security and Social Control (1996)
Andreas Rasmusson, Andreas Rasmusson, Sverker Janson
o be useful it may have to be granted access to information that it Email: flra, ara, sverkerg@sics.se potentially can misuse. There is a notion of risk involved in dealing with untrusted code, and...
The implementation of AKL(FD) (1995)
Björn Carlson, Mats Carlsson, Sverker Janson
AKL(FD) is an integration of (an extension of) the finite domain constraint system FD in AKL, a deep concurrent constraint programming language [CJH94]. In this paper we describe the implementation...
AKL(FD) -- a concurrent language for FD programming (1994)
Björn Carlson, Seif Haridi, Sverker Janson
We consider a complete implementation of an extension of the nite domain constraint system FD, including antimonotone constraints, and its integration in AKL, a deep-guard concurrent constraint...
AKL(FD) -- A concurrent language for FD programming (1994)
Bjorn Carlson, Seif Haridi, Sverker Janson
We consider a complete implementation of an extension of the finite domain constraint system FD, including antimonotone constraints, and its integration in AKL, a deep-guard concurrent constraint...
AKL - A Multiparadigm Programming Language (1994)
This thesis reports on an investigation into principles for combining the constraint solving and don't know nondeterministic capabilities of Prolog and the constraint logic programming languages...
AKL(FD) - A concurrent language for FD programming (1994)
Björn Carlson, Bjorn Carlson, Seif Haridi, Seif Haridi, Sverker Janson, Sverker Janson
We consider a complete implementation of an extension of the finite domain constraint system FD, including antimonotone constraints, and its integration in AKL, a deep-guard concurrent constraint...
Ports for Objects in Concurrent Logic Programs (1993)
Sverker Janson, Johan Montelius, Seif Haridi
We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint logic programming languages. From a pragmatic point of view ports...
Ports for Objects in Concurrent Logic Programs (1993)
Sverker Janson, Johan Montelius, Seif Haridi
We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint logic programming languages. From a pragmatic point of view ports...
Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzén, Per Brand, Kent Boortz, ...
) Seif Haridi Sverker Janson Johan Montelius Torkel Franz'en Per Brand Kent Boortz Bjorn Danielsson Bjorn Carlson Torbjorn Keisu Dan Sahlin Thomas Sjoland SICS, Box 1263, S-164 28 KISTA Tel...
An Overview of the Andorra Kernel Language (1992)
Torkel Franzen, Seif Haridi, Sverker Janson
this paper; the details can be found in #7#.
An Overview of the Andorra Kernel Language (1992)
Torkel Franzén, Seif Haridi, Sverker Janson
this paper; the details can be found in [7].
Structural Operational Semantics for AKL (1992)
Seif Haridi, Sverker Janson, Catuscia Palamidessi
The Andorra Kernel Language (AKL) is a concurrent constraint programming language. It can be seen as a general combination of logic programming languages such as Prolog, GHC, and Parlog, the first of...
Programming paradigms of the Andorra Kernel Language Programming (1991)
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been...
Programming paradigms of the Andorra Kernel Language (1991)
The Andorra Kernel Language (AKL) is introduced. We show how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. It has also been possible to...
Programming paradigms of the Andorra Kernel Language (1991)
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been...
Programming Paradigms of the Andorra Kernel Language (1991)
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been...
Programming Paradigms of the Andorra Kernel Language (1991)
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been...
Kernel Andorra Prolog and its Computational Model (1990)
The logic programming language framework Kernel Andorra Prolog is defined by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and...
Kernel Andorra Prolog and its computation model (1990)
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and...
Kernel Andorra Prolog and its computation model (1990)
The logic programming language framework Kernel Andorra Prolog is dened by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and...
Kernel Andorra Prolog And Its Computation Model (1990)
The logic programming language framework Kernel Andorra Prolog is defined by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and...
Finding out = Achieving Decidability (1989)
Janson, Sverker, Rayner, Manny
We present a framework for reasoning about the concepts of "knowing what" and "finding out", in which the key concept is to identify "finding out the answer to question Q" with "achieving a situation...
Finding Out = Achieving Decidability (1989)
We present a framework for reasoning about the concepts of "knowing what" and "finding out", in which the key concept is to identify "finding out the answer to question...
Epistemic reasoning, logic programming, and the interpretation of questions (1987)
Rayner, Manny, Janson, Sverker
Reasons are given to support the claim that strong connections exist between linguistic theories on question semantics and work within AI and logic programming. Various ways of assigning denotations...
Sverker Janson, Ericsson Group
[12] W. Kornfeld. Constraint programming in Andorra Prolog. Presented at the