Search results for "PRIMA"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Nils Bulling, Hoang Nga Nguyen	Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems.	PRIMA	2015	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Cristina Baroglio, Roberto Micalizio	Social Continual Planning in Open Multiagent Systems: A First Study.	PRIMA	2015	DBLP DOI BibTeX RDF
1	Giovanni Sileno, Alexander Boer, Tom M. van Engers	Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming.	PRIMA	2015	DBLP DOI BibTeX RDF
1	Tibor Bosse, Jurriaan van Diggelen, Mark A. Neerincx, Nanja J. J. M. Smets	Supporting Human-Robot Teams in Space Missions Using ePartners and Formal Abstraction Hierarchies.	PRIMA	2015	DBLP DOI BibTeX RDF
1	Luigi Sauro	On the Hierarchical Nature of Partial Preferences.	PRIMA	2015	DBLP DOI BibTeX RDF
1	Madalina Croitoru, Rallou Thomopoulos, Srdjan Vesic	Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases.	PRIMA	2015	DBLP DOI BibTeX RDF
1	Malcolm Egan, Martin H. Schaefer 0002, Michal Jakob, Nir Oren	A Double Auction Mechanism for On-Demand Transport Networks.	PRIMA	2015	DBLP DOI BibTeX RDF
1	Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue	Local Search Based Approximate Algorithm for Multi-Objective DCOPs.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Wolfgang Reif	PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Ronal Rajneshwar Singh, Tim Miller 0001, Liz Sonenberg	A Preliminary Analysis of Interdependence in Multiagent Systems.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Patricio E. Petruzzi, Dídac Busquets, Jeremy V. Pitt	Experiments with Social Capital in Multi-agent Systems.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Juan Carlos Nieves, Esteban Guerrero, Jayalakshmi Baskar, Helena Lindgren	Deliberative Argumentation for Smart Environments.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Sho Tokuda, Ryo Kanamori, Takayuki Ito 0001	Development of Traffic Simulator Based on Stochastic Cell Transmission Model for Urban Network.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Ryo Kanamori, Takayuki Ito 0001	A Dynamic Route-Exchanging Mechanism for Anticipatory Traffic Management.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Jian-Ping Mei, Han Yu 0001, Yong Liu 0020, Zhiqi Shen 0001, Chunyan Miao	A Social Trust Model Considering Trustees' Influence.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Aikaterini Bourazeri, Jeremy V. Pitt	An Agent-Based Serious Game for Decentralised Community Energy Systems.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Mengzhu Zhang, Yifeng Zhou, Yichuan Jiang	Intermediary-Based Self-organizing Mechanism in Multi-agent Systems.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Ayumi Sugiyama, Toshiharu Sugawara	Autonomous Strategy Determination with Learning of Environments in Multi-agent Continuous Cleaning.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny	Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Christopher Frantz, Martin K. Purvis, Bastin Tony Roy Savarimuthu, Mariusz Nowostawski	Modelling Dynamic Normative Understanding in Agent Societies.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Katsuhide Fujita	Compromising Adjustment Based on Conflict Mode for Multi-times Bilateral Closed Nonlinear Negotiations.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Mohammadreza Mohagheghian, Renuka Sindhgatta, Aditya K. Ghose	An Extended Agent Based Model for Service Delivery Optimization.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Fan Liu, Ajit Narayanan	Intelligent Collision Avoidance between Autonomous Agents Using Adaptive Local Views.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Archie C. Chapman, Pradeep Varakantham	Marginal Contribution Stochastic Games for Dynamic Resource Allocation.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Marc Allaire, Guido Governatori	On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Guifei Jiang, Dongmo Zhang, Laurent Perrussel	Judgment Aggregation with Abstentions under Voters' Hierarchy.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Graham Billiau, Chee Fon Chang, Aditya Ghose	Multi-objective Distributed Constraint Optimization Using Semi-rings.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Yuichi Sei, Akihiko Ohsuga	Locating Malicious Agents in Mobile Wireless Sensor Networks.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Mohammad-Reza Namazi-Rad, Nam Huynh, Johan Barthélemy, Pascal Perez	Synthetic Population Initialization and Evolution-Agent-Based Modelling of Population Aging and Household Transitions.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Hoa Khanh Dam, Jeremy V. Pitt, Yang Xu 0003, Guido Governatori, Takayuki Ito 0001 (eds.)	PRIMA 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings	PRIMA	2014	DBLP DOI BibTeX RDF
1	Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga	Multi-agency Is Coordination and (Limited) Communication.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Hiroyuki Nakamura, Yuan Gao, He Gao, Hongliang Zhang, Akifumi Kiyohiro, Tsunenori Mine	Adaptive User Interface Agent for Personalized Public Transportation Recommendation System: PATRASH.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Thi Duyen Ngo, Vu Thi Hong Nhan, Viet Ha Nguyen 0001, The Duy Bui	Improving Simulation of Continuous Emotional Facial Expressions by Analyzing Videos of Human Facial Activities.	PRIMA	2014	DBLP DOI BibTeX RDF
1	JooYoung Lee, Jae C. Oh	Estimating the Degrees of Neighboring Nodes in Online Social Networks.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Leonel Enrique Aguilar Melgar, Wijerathne Maddegedara Lalith Lakshman, Muneo Hori, Tsuyoshi Ichimura, Seizo Tanaka	A Scalable Workbench for Large Urban Area Simulations, Comprised of Resources for Behavioural Models, Interactions and Dynamic Environments.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Moamin A. Mahmoud, Mohd Sharifuddin Ahmad, Mohd Zaliman M. Yusoff, Aida Mustapha	Norms Assimilation in Heterogeneous Agent Community.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Toshihiro Matsui, Marius Silaghi 0001, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo	Leximin Multiple Objective Optimization for Preferences of Agents.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Toshiko Wakaki	Assumption-Based Argumentation Equipped with Preferences.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Huan Jiang, Shigeo Matsubara	Efficient Task Decomposition in Crowdsourcing.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Katsutoshi Hirayama, Kenta Hanada, Suguru Ueda, Makoto Yokoo, Atsushi Iwasaki	Computing a Payoff Division in the Least Core for MC-nets Coalitional Games.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Smitha Keertipati, Bastin Tony Roy Savarimuthu, Maryam Purvis	Towards Convention Propagation in Multi-layer Social Networks.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Özgür Kafali, Alfonso E. Romero, Kostas Stathis	Activity Recognition for an Agent-Oriented Personal Health System.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Simon Stuker, Françoise Adreit, Jean Marc Couveignes, Marie-Pierre Gleizes	Continuous Approximation of a Discrete Situated and Reactive Multi-agent System: Contribution to Agent Parameterization.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Rafik Hadfi, Takayuki Ito 0001	Approximating Constraint-Based Utility Spaces Using Generalized Gaussian Mixture Models.	PRIMA	2014	DBLP DOI BibTeX RDF
1	Patrice Caire, Antonis Bikakis, Yves Le Traon	Information Dependencies in MCS: Conviviality-Based Model and Metrics.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Jeremy Pitt, Dídac Busquets, Régis Riveret	Procedural Justice and 'Fitness for Purpose' of Self-organising Electronic Institutions.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue	Model and Algorithm for Dynamic Multi-Objective Distributed Optimization.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Kimitaka Asatani, Fujio Toriumi, Hirotada Ohashi, Mitsuteru Tashiro, Ryuichi Suzuki	Prosperity and Decline of Online Communities.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Fuhua Lin, Wu Chen	Designing a Multiagent System for Course-Offering Determination.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Harmen de Weerd, Rineke Verbrugge, Bart Verheij	Higher-Order Theory of Mind in Negotiations under Incomplete Information.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Yoshinori Tsuruhashi, Naoki Fukuta	A Framework for Analyzing Simultaneous Negotiations.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Wagdi Alrawagfeh	Norm Representation and Reasoning: A Formalization in Event Calculus.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Chao Yu 0004, Minjie Zhang, Fenghui Ren	Emotional Multiagent Reinforcement Learning in Social Dilemmas.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Yuko Sakurai, Tenda Okimoto, Masaaki Oka, Makoto Yokoo	Strategy-Proof Mechanisms for the k-Winner Selection Problem.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Arnaud Grignard, Patrick Taillandier, Benoit Gaudou, Duc-An Vo, Nghi Quang Huynh, Alexis Drogoul	GAMA 1.6: Advancing the Art of Complex Agent-Based Modeling and Simulation.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Wojciech Jamroga, Matthijs Melissen, Henning Schnoor	Defendable Security in Interaction Protocols.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Hoa Khanh Dam, Tiancheng Zhang 0006, Aditya Ghose	Improving the Reactivity of BDI Agent Programs.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Yingzhi Gou, Hoa Khanh Dam, Aditya Ghose	Towards Semantic Merging of Versions of BDI Agent Systems.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Christopher Frantz, Martin K. Purvis, Mariusz Nowostawski, Bastin Tony Roy Savarimuthu	nADICO: A Nested Grammar of Institutions.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Nils Bulling, Sujata Ghosh, Rineke Verbrugge	Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Clément Duhart, Michel Cotsaftis, Cyrille Bertelle	Lightweight Distributed Adaptive Algorithm for Voting Procedures by Using Network Average Consensus.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Nader Hanna, Deborah Richards 0001, Michael Hitchens	Evaluating the Impact of the Human-Agent Teamwork Communication Model (HAT-CoM) on the Development of a Shared Mental Model.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Leonel Enrique Aguilar Melgar, Wijerathne Maddegedara Lalith Lakshman, Muneo Hori, Tsuyoshi Ichimura, Seizo Tanaka	On the Development of an MAS Based Evacuation Simulation System: Autonomous Navigation and Collision Avoidance.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Tina Balke, Marina De Vos, Julian A. Padget	Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Toshihiro Matsui, Marius Silaghi 0001, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo	Embedding Preference Ordering for Symmetric DCOP Solvers on Spanning Trees.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Matthijs Pontier, Jean-Louis Van Gelder, Reinout E. de Vries	A Computational Model of Affective Moral Decision Making That Predicts Human Criminal Choices.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Truls Pedersen, Sjur Kristoffer Dyrkolbotn	Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Francesco Olivieri, Guido Governatori, Simone Scannapieco, Matteo Cristani	Compliant Business Process Design by Declarative Specifications.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis (eds.)	PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings	PRIMA	2013	DBLP DOI BibTeX RDF
1	Bradford Heap, Maurice Pagnucco	Repeated Auctions for Reallocation of Tasks with Pickup and Delivery upon Robot Failure.	PRIMA	2013	DBLP DOI BibTeX RDF
1	John F. Porter, Kawa Cheung, Joseph Andrew Giampapa, John M. Dolan	A Reliability Analysis Technique for Estimating Sequentially Coordinated Multirobot Mission Performance.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Raymond Chiong, Michael Kirley	A Multi-agent Based Migration Model for Evolving Cooperation in the Spatial N-Player Snowdrift Game.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Bastin Tony Roy Savarimuthu, Julian A. Padget, Maryam Purvis	Social Norm Recommendation for Virtual Agent Societies.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Chihiro Kato, Toshiharu Sugawara	Decentralized Area Partitioning for a Cooperative Cleaning Task.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Petr Kalina, Jirí Vokrínek, Vladimír Marík	An Efficient Route Minimization Algorithm for the Vehicle Routing Problem with Time Windows Based on Agent Negotiation.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Yutaka Oomidou, Hajime Sawamura, Takeshi Hagiwara, Jacques Riche	Non-standard Uses of PIRIKA: Pilot of the Right Knowledge and Argument.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Yuichiro Sudo, Shohei Kato, Atsuko Mutoh	The Impact of Exchanging Opinions in Political Decision-Making on Voting by Using Multi-agent Simulation.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Adrian Shatte, Jason Holdsworth, Ickjai Lee	Context-Aware Mobile Augmented Reality for Library Management.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Shota Morii, Takayuki Ito 0001	Agent's Strategy in Multiple-Issue Negotiation Competition and Analysis of Result.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Aditya Ghose	Agents in the Era of Big Data: What the "End of Theory" Might Mean for Agent Systems.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Yingke Chen, Jun Hong 0001, Weiru Liu, Lluís Godo, Carles Sierra, Michael Loughlin	Incorporating PGMs into a BDI Architecture.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny	SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Yui Okuda, Yasuhiko Kitamura	Estimating Arrival Time of Pedestrian Using Walking Logs.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Mitsuru Haga, Shohei Kato	A New Ant Colony Optimization Method Considering Intensification and Diversification.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Fan Liu, Ajit Narayanan	A Human-Inspired Collision Avoidance Method for Multi-robot and Mobile Autonomous Robots.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Nikolaos I. Spanoudakis, Pavlos Moraitis	Using Agent Technology for Ambient Assisted Living.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Julia S. Mollee, C. Natalie van der Wal	A Computational Agent Model of Influences on Physical Activity Based on the Social Cognitive Theory.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Simone Scannapieco, Guido Governatori, Francesco Olivieri, Matteo Cristani	A Methodology for Plan Revision under Norm and Outcome Compliance.	PRIMA	2013	DBLP DOI BibTeX RDF
1	Dai Hamada, Toshiharu Sugawara	Two-Sided Parameter Learning of Role Selections for Efficient Team Formation.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Jianye Hao, Songzheng Song, Yang Liu 0003, Jun Sun 0001, Lin Gui 0002, Jin Song Dong, Ho-fung Leung	Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Jianye Hao, Ho-fung Leung	An Efficient Negotiation Protocol to Achieve Socially Optimal Allocation.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Hans van Ditmarsch	Coalitional Public Announcement Games.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Ayman Ghoneim	Reassignment-Based Strategy-Proof Mechanisms for Interdependent Task Allocation.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Bastin Tony Roy Savarimuthu, Lam-Son Lê, Aditya Ghose	From Green Norms to Policies - Combining Bottom-Up and Top-Down Approaches.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Han Yu 0001, Zhiqi Shen 0001, Bo An 0001	An Adaptive Witness Selection Method for Reputation-Based Trust Models.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Viet Xuan Truong, Hiep Xuan Huynh 0001, Minh Ngoc Le, Alexis Drogoul	Modeling a Surveillance Network Based on Unit Disk Graph Technique - Application for Monitoring the Invasion of Insects in Mekong Delta Region.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Feyza Merve Hafizoglu, Sandip Sen	Analysis of Opinion Spread through Migration and Adoption in Agent Communities.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Yingqian Zhang 0001, Sicco Verwer	Mechanism for Robust Procurements.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Toshihiro Matsui, Marius Silaghi 0001, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo	Distributed Search Method with Bounded Cost Vectors on Multiple Objective DCOPs.	PRIMA	2012	DBLP DOI BibTeX RDF
1	Jeremy Pitt, Julia Schaumeier	Provision and Appropriation of Common-Pool Resources without Full Disclosure.	PRIMA	2012	DBLP DOI BibTeX RDF

Publications at "PRIMA"( http://dblp.L3S.de/Venues/PRIMA )