fdechesn's library 315 articles Export

	Scalable Middleware Environment for Agent-Based Internet Applications [My Copy] In PARA, Vol. 3732 (2004), pp. 675-679. by Benno J. Overeinder, Frances M. T. Brazier edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski, Jack Dongarra, Kaj Madsen, Jerzy Wasniewski posted to delft agentscape by fdechesn on 2009-10-20 12:38:06 as
	Monitoring and Reputation Mechanisms for Service Level Agreements [My Copy] In GECON, Vol. 5206 (2008), pp. 125-139. by Omer F. Rana, Martijn Warnier, Thomas B. Quillinan, Frances M. T. Brazier edited by Jörn Altmann, Dirk Neumann, Thomas Fahringer, Jörn Altmann, Dirk Neumann, Thomas Fahringer posted to sla delft by fdechesn on 2009-10-20 11:42:15 as
	Security of Distributed Digital Criminal Dossiers [My Copy] JSW, Vol. 3, No. 3. (2008), pp. 21-29. by Martijn Warnier, Frances M. T. Brazier, Anja Oskamp posted to security distributed delft by fdechesn on 2009-10-20 11:40:52 as
	A Resource Negotiation Infrastructure for Self-Managing Applications [My Copy] In ICAC (2005), pp. 381-382. by David G. A. Mobach, Benno J. Overeinder, Frances M. T. Brazier posted to self-management delft by fdechesn on 2009-10-20 11:39:33 as
	From DPS to MAS to ...: continuing the trends [My Copy] In AAMAS (1) (2009), pp. 43-48. by Michael N. Huhns edited by Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, et al.Jaime S. Sichman, Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime S. Sichman posted to mas distributed delft by fdechesn on 2009-10-19 09:14:59 as
	Value Sensitive Design: Theory and Methods [My Copy] by Batya Friedman, Peter H. Kahn, Jr posted to value-sensitive-design ethics delft by fdechesn on 2009-10-13 15:26:26 as along with 5 people Scis0000002 christiand marcela carsonr maike
	Un-making artificial moral agents [My Copy] Ethics and Information Technology by Deborah Johnson, Keith Miller posted to multiagent repsonsibility morality delft by fdechesn on 2009-10-13 14:57:37 as along with 1 person aganga
	Computer science and game theory [My Copy] Commun. ACM, Vol. 51, No. 8. (2008), pp. 74-79. by Yoav Shoham posted to gametheory delft by fdechesn on 2009-10-13 14:55:40 as along with 1 person aganga
	Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 [My Copy] In AAAI (2008) edited by Dieter Fox, Carla P. Gomes posted to gametheory delft by fdechesn on 2009-10-13 14:30:18 as
	Game Theory Pragmatics: A Challenge for AI [My Copy] In AAAI (2008), pp. 1606-1608. by Yoav Shoham edited by Dieter Fox, Carla P. Gomes posted to gametheory delft by fdechesn on 2009-10-13 14:30:17 as
	7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1 [My Copy] In AAMAS (1) (2008) edited by Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons posted to file-import-09-10-13 by fdechesn on 2009-10-13 14:25:48 as
	Computer science and game theory [My Copy] In AAMAS, Vol. 1 (2008) by Yoav Shoham edited by Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons posted to gametheory delft by fdechesn on 2009-10-13 14:25:48 as
	Introduction to Ontology [My Copy] Ontology-Based Multi-Agent Systems In Ontology-Based Multi-Agent Systems, Vol. 219 (2009), pp. 37-60. by Maja Hadzic, Pornpit Wongthongtham, Tharam Dillon, Elizabeth Chang posted to multiagent ontology delft by fdechesn on 2009-10-13 14:03:43 as
	Introduction to Multi-Agent Systems [My Copy] Ontology-Based Multi-Agent Systems In Ontology-Based Multi-Agent Systems, Vol. 219 (2009), pp. 15-35. by Maja Hadzic, Pornpit Wongthongtham, Tharam Dillon, Elizabeth Chang posted to multiagent ontology delft by fdechesn on 2009-10-13 13:49:44 as
	Modalities in Temporal Logic [My Copy] Humana.Mente - Journal of Philosophical Studies, Vol. 8 (2009), pp. 1-15. by Alberto Zanardo posted to temporal delft by fdechesn on 2009-10-13 12:34:26 as
	Organizational structure and responsibility [My Copy] Artif. Intell. Law, Vol. 15, No. 3. (2007), pp. 223-249. by Davide Grossi, Lambèr M. M. Royakkers, Frank Dignum posted to delft by fdechesn on 2009-10-12 10:59:01 as
	Third International Workshop on Normative Multiagent Systems - NorMAS 2008, Luxembourg, July 15-16, 2008. Proceedings [My Copy] In NORMAS (2008) edited by Guido Boella, Gabriella Pigozzi, Munindar P. Singh, Harko Verhagen posted to file-import-09-10-12 by fdechesn on 2009-10-12 10:47:25 as
	Towards a Formalization of Responsibility [My Copy] In NORMAS (2008), pp. 66-79. by Tiago De Lima, Lambèr M. M. Royakkers, Frank Dignum edited by Guido Boella, Gabriella Pigozzi, Munindar P. Singh, Harko Verhagen posted to delft by fdechesn on 2009-10-12 10:47:25 as
	Attributing Distributed Responsibility in Stit Logic [My Copy] Logic, Rationality, and Interaction In Logic, Rationality, and Interaction, Vol. 5834 (2009), pp. 66-75. by Roberto Ciuni, Rosja Mastop posted to stit delft by fdechesn on 2009-10-12 10:19:13 as
	Self-organisation and emergence in mas: An overview [My Copy] Informatica, Vol. 30 (2006), pp. 45-54. by Di Marzo, Marie-Pierre Gleizes, Anthony Karageorgos posted to self-organisation multiagent emergence delft by fdechesn on 2009-09-14 12:38:21 as along with 2 people pverstra tom4m3
	Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency [My Copy] Journal of Logic and Computation, Vol. 16, No. 5. (October 2006), pp. 559-578. by Broersen, Jan, Herzig, Andreas, Troquard, Nicolas posted to stit multiagent delft atl by fdechesn on 2009-09-14 12:30:12 as along with 1 person yarden
	MCMAS: A Model Checker for the Verification of Multi-Agent Systems [My Copy] Computer Aided Verification (2009), pp. 682-688. by Alessio Lomuscio, Hongyang Qu, Franco Raimondi posted to systems modelchecking mcmas interpreted essurvey diningcrypt by fdechesn on 2009-09-01 13:18:08 as
	Some comments on history based structures [My Copy] Journal of Applied Logic, Vol. 5, No. 4. (December 2007), pp. 613-624. by E. Pacuit posted to systems interpreted history-based-structures essurvey by fdechesn on 2009-09-01 12:44:00 as
	Crowds: anonymity for Web transactions [My Copy] ACM Trans. Inf. Syst. Secur., Vol. 1, No. 1. (November 1998), pp. 66-92. by Michael K. Reiter, Aviel D. Rubin posted to probabilistic essurvey crowds anonymity by fdechesn on 2009-09-01 10:55:20 as along with 1 person tnhh
	Preserving Secrecy Under Refinement [My Copy] Automata, Languages and Programming (2006), pp. 107-118. by Rajeev Alur, Pavol Černý, Steve Zdancewic posted to essurvey by fdechesn on 2009-08-25 14:23:55 as along with 1 person sgwyj
	Formal semantics for logics of cryptographic protocols [My Copy] Computer Security Foundations Workshop III, 1990. Proceedings In Computer Security Foundations Workshop III, 1990. Proceedings (1990), pp. 32-41. by P. Syverson posted to semantics logic essurvey by fdechesn on 2009-08-20 16:13:31 as
	An Authentication Logic Supporting Synchronization, Revocation, and Recency [My Copy] In In Proc. Third ACM Conference on Computer and Communications Security (1996), pp. 95-105. by Stuart G. Stubblebine, Rebecca N. Wright posted to knowledge essurvey belief ban by fdechesn on 2009-08-20 16:07:58 as along with 1 person sgwyj
	Security Models and Information Flow [My Copy] In In Proc. IEEE Symposium on Security and Privacy (1990), pp. 180-187. by John M. Center, John Mclean posted to nondeducability informationflow essurvay by fdechesn on 2009-08-20 13:11:03 as
	The complexity of reasoning about knowledge and time [My Copy] In STOC '86: Proceedings of the eighteenth annual ACM symposium on Theory of computing (1986), pp. 304-315. by J. Y. Halpern, M. Y. Vardi posted to essurvey semantics by fdechesn on 2009-08-05 10:36:44 as
	Normative systems and their revision: an algebraic approach [My Copy] Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104. by Lars Lindahl, Jan Odelstad posted to delft by fdechesn on 2009-08-04 11:53:22 as along with 2 people hipcathobbes Scis0000002
	Rational Synthesis [My Copy] (17 Jul 2009) by Dana Fisman, Orna Kupferman, Yoad Lustig posted to delft by fdechesn on 2009-07-22 11:27:02 as
	Deontic Logic and Computer-Supported Computer Ethics [My Copy] Metaphilosophy, Vol. 33, No. 3. (2002), pp. 376-386. by M. J. van den Hoven, G. J. C. Lokhorst posted to delft ethics by fdechesn on 2009-06-23 09:54:52 as
	Privacy, Deontic Epistemic Action Logic and Software Agents [My Copy] Ethics and Information Technology, Vol. 7, No. 4. (26 December 2005), pp. 251-264. by V. Wiegel, M. Van den Hoven, G. Lokhorst posted to ethics deontic delft by fdechesn on 2009-06-23 09:52:46 as along with 1 person christiand
	Ethical protocols design [My Copy] Ethics and Information Technology, Vol. 9, No. 1. (1 March 2007), pp. 49-62. by Matteo Turilli posted to delft ethics by fdechesn on 2009-06-23 09:52:14 as along with 3 people Scis0000002 christiand djsaab
	Abstract Model Theory as a Framework for Universal Logic [My Copy] Logica Universalis (2005), pp. 19-33. by Marta Garcia-Matos, Jouko Vaananen edited by -Y posted to abstractmodeltheory comparison by fdechesn on 2009-05-28 10:45:28 as
	On orderings of the family of all logics [My Copy] Archiv fuer Mathematischen Logik, Vol. 22 (1982), pp. 141-158. by Michal Krynicki, Jouko Vaananen posted to comparison by fdechesn on 2009-05-28 10:42:44 as
	Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol [My Copy] Fundam. Inform., Vol. 72, No. 1-3. (2006), pp. 215-234. by Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter posted to diningcrypt essurvey todo by fdechesn on 2009-05-11 12:22:09 as
	Equal To The Task? [My Copy] In ESORICS '02: Proceedings of the 7th European Symposium on Research in Computer Security (2002), pp. 162-177. by James Heather, Steve Schneider posted to csp data-independence protocols rankfunctions strands unbounded-network by fdechesn on 2009-04-29 15:05:27 as
	On the Verification of Cryptographic ProtocolsA Tale of Two Committees [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 32 (2000), pp. 42-58. by D. Gollmann posted to authentication protocols specification by fdechesn on 2009-04-29 15:01:56 as
	On the semantics of Alice&Bob specifications of security protocols [My Copy] Theor. Comput. Sci., Vol. 367, No. 1. (2006), pp. 88-122. by Carlos Caleiro, Luca Viganò, David Basin posted to denotational operational protocols semantics spi-calculus by fdechesn on 2009-04-29 14:56:54 as
	A hierarchy of authentication specifications [My Copy] Computer Security Foundations Workshop, 1997. Proceedings., 10th In Computer Security Foundations Workshop, 1997. Proceedings., 10th (1997), pp. 31-43. by G. Lowe posted to authentication csp specification by fdechesn on 2009-04-29 14:36:41 as
	Three voting protocols: ThreeBallot, VAV, and twin [My Copy] In EVT'07: Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology (2007), pp. 16-16. by Ronald L. Rivest, Warren D. Smith posted to protocols threeballot voting by fdechesn on 2009-04-29 14:30:19 as
	How to exchange (secret) keys [My Copy] In STOC '83: Proceedings of the fifteenth annual ACM symposium on Theory of computing (1983), pp. 440-447. by Manuel Blum posted to certifiedmail contractsigning keyexchange protocols by fdechesn on 2009-04-29 14:20:15 as
	A semantics for a logic of authentication (extended abstract) [My Copy] In PODC '91: Proceedings of the tenth annual ACM symposium on Principles of distributed computing (1991), pp. 201-216. by Mart\ín Abadi, Mark R. Tuttle posted to authentication ban belief gny kerberos logic protocols semantics by fdechesn on 2009-04-29 14:10:07 as along with 1 person sgwyj
	Coin flipping by telephone a protocol for solving impossible problems [My Copy] SIGACT News, Vol. 15, No. 1. (1983), pp. 23-27. by Manuel Blum posted to certifiedmail coinflipping fairness onewayfunction protocol by fdechesn on 2009-04-29 13:57:13 as
	Probable innocence revisited [My Copy] Theor. Comput. Sci., Vol. 367, No. 1. (November 2006), pp. 123-138. by Konstantinos Chatzikokolakis, Catuscia Palamidessi posted to anonymity essurvey probabilistic by fdechesn on 2009-04-29 12:26:13 as along with 2 people mrkoot chradcliffe
	Anonymity in Probabilistic and Nondeterministic Systems [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Vol. 162 (29 September 2006), pp. 277-279. by Catuscia Palamidessi posted to anonymity crowds diningcrypt essurvey nondeterministic probabilistic processalgebra by fdechesn on 2009-04-29 12:12:50 as along with 1 person mrkoot
	Knowledge, probability, and adversaries [My Copy] In PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing (1989), pp. 103-118. by J. Y. Halpern, M. R. Tuttle posted to adversaries games knowledge probability by fdechesn on 2009-04-29 10:36:10 as
	Dynamic Logic of Common Knowledge in a Proof Assistant [My Copy] (19 Dec 2007) by Pierre Lescanne, Jérôme Puisségur posted to coq epistemic essurvey muddychildren theoremproving typetheory by fdechesn on 2009-04-24 09:07:14 as
	A Computationally Grounded Logic of Visibility, Perception, and Knowledge [My Copy] Logic Journal of the IGPL, Vol. 9, No. 2. (2001) by Michael Wooldridge, Alessio Lomuscio posted to computationallygrounded essurvey knowledge logic perception by fdechesn on 2009-04-23 10:38:13 as

Note: You may cite this page as: http://www.citeulike.org/user/fdechesn

Result page: 1 2 3 4 5 6 7 Next

vemps	188
if-logic	54
essurvey	25
delft	24
protocols	10
logic	7
semantics	7
multiagent	6
epistemic	6
diningcrypt	5
ban	5
interpreted	4
ethics	4
knowledge	4
modelchecking	4
gametheory	4
anonymity	4
comparison	4
del	3
belief	3
authentication	3
modal	3
systems	3
temporal	3
probabilistic	3
cards	2
ontology	2
refinement	2
stit	2
abstraction	2
specification	2
certifiedmail	2
csp	2
gny	2
translation	2
crowds	2
update	2
distributed	2
games	2
contractsigning	1
mcmas	1
file-import-09-10-13	1
fairness	1
unconditionally	1
expressivity	1
repsonsibility	1
muddychildren	1
theoremproving	1
ctl	1
history-based-structures	1
kripke	1
probability	1
spi-calculus	1
kerberos	1
deontic	1
nondeterministic	1
lindstrom	1
unbounded-network	1
mas	1
sra3pass	1
alternatingbit	1
perception	1
protocol	1
typetheory	1
file-import-09-10-12	1
voting	1
sla	1
value-sensitive-design	1
coinflipping	1
onewayfunction	1
threeballot	1
operational	1
abstractmodeltheory	1
widemouthedfrog	1
compactness	1
nondeducability	1
security	1
keyexchange	1
essurvay	1
informationflow	1
morality	1
hybrid	1
data-independence	1
characteristic	1
nusmv	1
coq	1
todo	1
self-organisation	1
self-management	1
processalgebra	1
emergence	1
unconditional	1
atl	1
imperfect-information	1
rankfunctions	1
denotational	1
framework	1
computationallygrounded	1
adversaries	1
puzzle	1
strands	1
agentscape	1

fdechesn's library 315 articles Export

fdechesn's tags