Search results for "institutions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
72	Eduard Muntaner-Perich, Josep Lluís de la Rosa	Towards a Formalisation of Dynamic Electronic Institutions.	COIN	2007	DBLP DOI BibTeX RDF	Open Agent Systems, Coalition Formation, Electronic Institutions
61	Pablo Noriega	Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper).	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
61	Anton Bogdanovych, Simeon J. Simoff, Marc Esteva	Virtual institutions prototype.	AAMAS (2)	2009	DBLP BibTeX RDF	electronic institutions, 3D virtual worlds
57	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
56	Alfio Martini, Uwe Wolter	A Single Perspective on Arrows between Institutions.	AMAST	1998	DBLP DOI BibTeX RDF
55	Eduard Muntaner-Perich, Josep Lluís de la Rosa	Towards Dynamic Electronic Institutions: From Agent Coalitions to Agent Institutions.	WRAC	2005	DBLP DOI BibTeX RDF
54	Owen Cliffe, Marina De Vos, Julian A. Padget	Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
54	Giacomo Cabri, Luca Ferrari 0002, Rossella Rubino	Building computational institutions for agents with RoleX.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Agents, Roles, Institutions, E-Democracy
54	Francesco Viganò, Marco Colombetti	Symbolic model checking of institutions.	ICEC	2007	DBLP DOI BibTeX RDF	model checking, norms, institutions
54	Razvan Diaconescu	Grothendieck Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations
51	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
50	Joseph A. Goguen, Rod M. Burstall	Institutions: Abstract Model Theory for Specification and Programming.	J. ACM	1992	DBLP DOI BibTeX RDF
48	Lee A. Bygrave, Susan Schiavetta, Hilde Thunem, Annebeth B. Lange, Edward Phillips	The Naming Game: Governance of the Domain Name System.	Internet Governance - Infrastructure and Institutions	2009	DBLP BibTeX RDF
48	Lawrence B. Solum	Models of Internet Governance.	Internet Governance - Infrastructure and Institutions	2009	DBLP BibTeX RDF
48	Jon Bing	Building Cyberspace: A Brief History of Internet.	Internet Governance - Infrastructure and Institutions	2009	DBLP BibTeX RDF
48	Harald Alvestrand, Håkon Wium Lie	Development of Core Internet Standards: The Work of IETF and W3C.	Internet Governance - Infrastructure and Institutions	2009	DBLP BibTeX RDF
48	Amanda Hubbard, Lee A. Bygrave	Internet Governance Goes Global.	Internet Governance - Infrastructure and Institutions	2009	DBLP BibTeX RDF
48	Lee A. Bygrave, Terje Michaelsen	Governors of Internet.	Internet Governance - Infrastructure and Institutions	2009	DBLP BibTeX RDF
48	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An Event Driven Approach to Norms in Artificial Institutions.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
48	Rossella Rubino, Andrea Omicini, Enrico Denti	Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
48	Rossella Rubino, Giovanni Sartor	Source Norms and Self-regulated Institutions.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF	self-regulated institutions, source-norms, recognition rules, normative production
48	Peter Dalsgård, Christian Dindler, Eva Eriksson	Designing for participation in public knowledge institutions.	NordiCHI	2008	DBLP DOI BibTeX RDF	design cases, public institutions, interaction design, theory, knowledge, libraries, museums, pragmatism
48	Manolis Sardis, George A. Vouros	Electronic Institutions Infrastructure for e-Chartering.	ESAW	2007	DBLP DOI BibTeX RDF	Maritime e-Chartering, Multi agent systems, Electronic Institutions
48	Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer	Designing protocols for agent institutions.	AAMAS	2007	DBLP DOI BibTeX RDF	norms, electronic institutions, normative systems
48	Virginia Dignum, Frank Dignum	Modelling Agent Societies: Co-ordination Frameworks and Institutions.	EPIA	2001	DBLP DOI BibTeX RDF	institutions, virtual organisations, co-ordination, Agent societies
45	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
45	George Voutsadakis	Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.	Stud Logica	2007	DBLP DOI BibTeX RDF	2000 AMS Subject Classification Primary: 03G99, Secondary: 18C15, Secondary: 68N30
43	Francesco Viganò, Marco Colombetti	Model Checking Norms and Sanctions in Institutions.	COIN	2007	DBLP DOI BibTeX RDF
41	Nicoletta Fornara, Francesco Viganò, Marco Colombetti	Agent communication and artificial institutions.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Artificial institutions, Commitments, Norms, Agent communication language
41	Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, Carles Sierra, Helmut Berger	A methodology for 3D electronic institutions.	AAMAS	2007	DBLP DOI BibTeX RDF	multi agent systems, electronic institutions, 3D virtual worlds
41	Huib Aldewereld, Frank Dignum, Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra	Operationalisation of norms for usage in electronic institutions.	AAMAS	2006	DBLP DOI BibTeX RDF	norms, electronic institutions, normative systems
41	Anton Bogdanovych, Helmut Berger, Carles Sierra, Simeon J. Simoff	Humans and agents in 3D electronic institutions.	AAMAS	2005	DBLP DOI BibTeX RDF	electronic institutions, 3D virtual worlds
40	Javier Vázquez-Salceda, Sergio Álvarez-Napagao	Using SOA Provenance to Implement Norm Enforcement in e-Institutions.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF	norm enforcement, web services, MAS, SOA, architecture, monitoring, provenance, electronic institutions, SOA Governance
37	Stephan Strodl, Florian Motlik, Andreas Rauber	Hoppla - Digital Preservation Support for Small Institutions.	ECDL	2009	DBLP DOI BibTeX RDF
37	Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata 0001	Constructor-Based Institutions.	CALCO	2009	DBLP DOI BibTeX RDF
37	Katy Börner, Shashikant Penumarthy, Mark R. Meiss, Weimao Ke	Mapping the diffusion of scholarly knowledge among major U.S. research institutions.	Scientometrics	2006	DBLP DOI BibTeX RDF
37	Takashi Hashimoto, Susumu Egashira	Multi-agent-based Simulation for Formation of Institutions on Socially Constructed Facts.	ECAL	2005	DBLP DOI BibTeX RDF
37	Anton Bogdanovych, Helmut Berger, Simeon J. Simoff, Carles Sierra	Narrowing the Gap Between Humans and Agents in e-Commerce: 3D Electronic Institutions.	EC-Web	2005	DBLP DOI BibTeX RDF
37	Sándor Dominich, Júlia Góth, Adrienn Skrop	A Study of the Usefulness of Institutions' Acronyms as Web Queries.	ECIR	2003	DBLP DOI BibTeX RDF
37	José Félix Costa, Hugo Lourenço	Canonical Institutions of Behaviour.	WADT	2001	DBLP DOI BibTeX RDF
37	J. R. Holt	Assessing the Efficacy of Information Technology Systems at Academic Medical Institutions.	HICSS (1)	1998	DBLP DOI BibTeX RDF
36	Eva Bou, Maite López-Sánchez, Juan A. Rodríguez-Aguilar	Using Case-Based Reasoning in Autonomic Electronic Institutions.	COIN	2007	DBLP DOI BibTeX RDF
36	Mario Gómez, Enric Plaza	Dynamic Composition of Electronic Institutions for Teamwork.	COIN	2007	DBLP DOI BibTeX RDF
36	Owen Cliffe, Marina De Vos, Julian A. Padget	Embedding Landmarks and Scenes in a Computational Model of Institutions.	COIN	2007	DBLP DOI BibTeX RDF
36	Andrés García-Camino	Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions.	COIN	2007	DBLP DOI BibTeX RDF
36	Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi, Frank Dignum	From human regulations to regulated software agents' behavior.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Norm enforcement, Multi agent systems, Norms, Electronic institutions
36	Davide Grossi, Frank Dignum, John-Jules Ch. Meyer	A formal road from institutional norms to organizational structures.	AAMAS	2007	DBLP DOI BibTeX RDF	logic, norms, institutions, organizational structures
35	Thomas Christopher King, Tingting Li 0001, Marina De Vos, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk	Revising Institutions Governed by Institutions for Compliant Regulations.	COIN@AAMAS/IJCAI	2015	DBLP DOI BibTeX RDF
35	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	Constraint rule-based programming of norms for electronic institutions.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Constraints, Rules, Norms, Electronic institutions
35	Ismel Brito, Isaac Pinyol, Daniel Villatoro, Jordi Sabater-Mir	HIHEREI: human interaction within hybrid environments regulated through electronic institutions.	AAMAS (2)	2009	DBLP BibTeX RDF	web interface, electronic institutions, experimental platform
35	Nicoletta Fornara, Francesco Viganò, Mario Verdicchio, Marco Colombetti	Artificial institutions: a model of institutional reality for open multiagent systems.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Artificial institutions, Open systems, Commitments, Norms, Conventions
35	Guido Boella, Leendert W. N. van der Torre	Institutions with a hierarchy of authorities in distributed dynamic environments.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Institutions, Permissions, Normative systems
35	Yathiraj B. Udupi, Munindar P. Singh	Dynamics of contracts-based organizations: a formal approach based on institutions.	AAMAS	2007	DBLP DOI BibTeX RDF	contracts, organizations, commitments, institutions
35	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	A rule-based approach to norm-oriented programming of electronic institutions.	SIGecom Exch.	2006	DBLP DOI BibTeX RDF	programming, languages, auctions, norms, electronic institutions
35	Anton Bogdanovych, Sara Drago	Euclidean representation of 3D electronic institutions: automatic generation.	AVI	2006	DBLP DOI BibTeX RDF	3D electronic institutions, rectangular dualization
35	Eva Bou, Maite López-Sánchez, Juan A. Rodríguez-Aguilar	Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents.	ESAW	2006	DBLP DOI BibTeX RDF	Autonomic Electronic Institutions, Adaptation, Multiagent Systems
35	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	Norm-oriented programming of electronic institutions.	AAMAS	2006	DBLP DOI BibTeX RDF	multi-agent system programming, norms, electronic institutions
35	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Soundness proof of Z semantics of OWL using institutions.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	comorphism of institutions, OWL, Z, institution
35	Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar	Implementing norms in electronic institutions.	AAMAS	2005	DBLP DOI BibTeX RDF	expert system, implementation, norms, electronic institutions
35	Francesco Viganò, Nicoletta Fornara, Marco Colombetti	An operational approach to norms in artificial institutions.	AAMAS	2005	DBLP DOI BibTeX RDF	artificial institutions, commitments, norms, ACLs
35	Morten P. Lindegaard, Anne E. Haxthausen	Proof Support for RAISE by a Reuse Approach Based on Institutions.	AMAST	2004	DBLP DOI BibTeX RDF	proof support, Institutions, algebraic semantics, HOL, RSL
35	Marielle Doche, Virginie Wiels	Extended Institutions for Testing.	AMAST	2000	DBLP DOI BibTeX RDF	formal specification, category theory, institutions, Functional test generation
34	George Voutsadakis	Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
32	Terry Reese	Building lite-weight EAD repositories.	JCDL	2005	DBLP DOI BibTeX RDF
31	S. Britto R. Kumar, S. Albert Rabara, J. Ronald Martin	MPCS: a secure Mobile Payment Consortia System for higher educational institutions.	ICIS	2009	DBLP DOI BibTeX RDF	mobile payment consortia, secured transactions, software architecture, framework, mobile payment
31	Inmaculada Rodríguez, Anna Puig, Marc Esteva, Carles Sierra, Anton Bogdanovych, Simeon J. Simoff	Intelligent Objects to Facilitate Human Participation in Virtual Institutions.	Web Intelligence	2008	DBLP DOI BibTeX RDF
31	Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, Carles Sierra, Helmut Berger	A Methodology for Developing Multiagent Systems as 3D Electronic Institutions.	AOSE	2007	DBLP DOI BibTeX RDF
31	Josep Lluís Arcos, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra	E4MAS Through Electronic Institutions.	E4MAS	2006	DBLP DOI BibTeX RDF
31	Francesco Viganò	A Framework for Model Checking Institutions.	MoChArt	2006	DBLP DOI BibTeX RDF
31	Ela Zur, Lilly Irani, Lecia Jane Barker, Mark Guzdial	Contrasting women's experiences in computer science at different institutions.	SIGCSE	2005	DBLP DOI BibTeX RDF	CS1, gender issues, success rates
31	Jabiri Kuwe Bakari, Charles N. Tarimo, Louise Yngström, Christer Magnusson	State of ICT Security Management in the Institutions of Higher Learning in Developing Countries: Tanzania Case Study.	ICALT	2005	DBLP DOI BibTeX RDF
31	Deima Elnatour	Functional-driven heuristic evaluation of administrative portal systems used in institutions of higher education.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	administrative portals, usability evaluation methods (UEM), usability testing, heuristic evaluation, cognitive walkthrough, functional evaluation
31	Davide Grossi, Frank Dignum	From Abstract to Concrete Norms in Agent Institutions.	FAABS	2004	DBLP DOI BibTeX RDF
31	Carles Sierra	Electronics Institutions: Methodology of Multi-agent Systems Development.	PRICAI	2004	DBLP DOI BibTeX RDF
31	Marc Esteva, Bruno Rosell, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos	AMELI: An Agent-Based Middleware for Electronic Institutions.	AAMAS	2004	DBLP DOI BibTeX RDF
31	Wamberto Weber Vasconcelos	Logic-Based Electronic Institutions.	DALT	2003	DBLP DOI BibTeX RDF
31	Marc Esteva, Juan A. Rodríguez-Aguilar, Carles Sierra, Pere Garcia, Josep Lluís Arcos	On the Formal Specifications of Electronic Institutions.	AgentLink	2001	DBLP DOI BibTeX RDF
31	Julius A. Archibald, M. Katzper	On the preparation of computer science professionals in academic institutions.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
30	Jordi Campos Miralles, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Marc Esteva	Formalising Situatedness and Adaptation in Electronic Institutions.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF
30	Henrique Lopes Cardoso, Eugénio C. Oliveira	A Contract Model for Electronic Institutions.	COIN	2007	DBLP DOI BibTeX RDF
30	Parthasarathi Banerjee	A sketch of blissful actions and democracy based upon rasa.	AI Soc.	2007	DBLP DOI BibTeX RDF	Indian drama, Rasa, Folk life, Emotion, Language, Dialogue, Action, Institutions, Democracy
30	Frank Guerin, Wamberto Weber Vasconcelos	A component-based approach to standardising agent communication.	AAMAS	2007	DBLP DOI BibTeX RDF	norms, institutions, artificial social systems, agent communication languages and protocols, conventions
30	Yongqing Ma, Warwick Clegg, Ann O'Brien	Digital library education: the current status.	JCDL	2006	DBLP DOI BibTeX RDF	curriculum design and development, demands and needs, education institutions, library information specialist, digital libraries
29	Carl Hewitt	Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency.	COIN	2007	DBLP DOI BibTeX RDF	Direct Logic, Mental Agents, Organizational Computing, ORGs (Organizations of Restricted Generality), Concurrency, Policies, Reflection, Norms, Norms, Inconsistency, Practices, Institutions, Co-ordination, Paraconsistency
26	Ashraf Saad, Andy Wang	Adopting threads for computing education: lessons learned to date from an nsf cpath project.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	nsf cpath project, computing education
26	Lilac A. E. Al-Safadi	Semantic-based exchanger of electronic medical records.	MoMM	2008	DBLP DOI BibTeX RDF	medical record exchanger, ontology, semantic web, electronic medical record, clinical decision support
26	André Zúquete, Helder Gomes, João Paulo da Silva Cunha	Authentication Architecture for Region-Wide e-Health System with Smartcards and a PKI.	BIOSTEC (Selected Papers)	2008	DBLP DOI BibTeX RDF
26	Helder Gomes, João Paulo da Silva Cunha, André Zúquete	Authentication Architecture for eHealth Professionals.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	role-based authorization, Authentication, certificates, PKI, eHealth
26	Girish R. Ranganathan, J. Anthony Brown	The Use of Ontologies and Rules to Assist in Academic Advising.	RuleML	2007	DBLP DOI BibTeX RDF
26	Art Gowan, Bryan MacDonald, Han Reichgelt	A configurable assessment information system.	SIGITE Conference	2006	DBLP DOI BibTeX RDF	assessment, accreditation
26	Steven A. Brown, Hilmi A. Lahoud	An examination of innovative online lab technologies.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	online labs, simulators, virtual learning environment
26	Salvador Báez-Franceschi, Karen Le, Diana Velez	Web-based technologies: reaching their ultimate potential on restricted budgets.	SIGUCCS	2004	DBLP DOI BibTeX RDF	University of Houston, VNet, restricted budgets, web operating system, web-based technologies, web services, model, management, information technology
26	Joseph A. Goguen, Grigore Rosu	Institution Morphisms.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Abstract model theory, Kan extension, Specification, Logic, Category theory, Institution
25	J. A. Drew Hamilton Jr., Robert Steven Owor, Khalil Dajani	Building information assurance education partnerships with minority institutions.	Richard Tapia Celebration of Diversity in Computing Conference	2009	DBLP DOI BibTeX RDF	information assurance education, minority partnerships, national CAEIAE, security, human factors, management, diversity
25	Rajasvaran Logeswaran, Li-Choo Chen	Node Status Algorithm for Load Balancing in Distributed Service Architectures at Paperless Medical Institutions.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Distributed Service Architecture (DSA), Hospital Information System (HIS), Load balancing, TINA, Communications traffic
25	Anton Bogdanovych, Simeon J. Simoff, Marc Esteva, John K. Debenham	Teaching Autonomous Agents to Move in a Believable Manner within Virtual Institutions.	IFIP AI	2008	DBLP DOI BibTeX RDF
25	Eva Bou, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Jaime Simão Sichman	Adapting Autonomic Electronic Institutions to Heterogeneous Agent Societies.	AAMAS-OAMAS	2008	DBLP DOI BibTeX RDF
25	Jie Ren 0001, Richard N. Taylor	Automatic and versatile publications ranking for research institutions and scholars.	Commun. ACM	2007	DBLP DOI BibTeX RDF
25	Jerry Watkins, Angelina Russo	Cultural Institutions, Co-creativity and Communities of Interest.	HCI (15)	2007	DBLP DOI BibTeX RDF	co-creativity, digital cultural communication, human-computer interaction, social media