benoitstpierre's watchlist [more than 800 articles] Export Sort

Recent papers matching benoitstpierre's watchlist criteria

Hide details

	A defeasible logic for modelling policy-based intentions and motivational attitudes [My Copy] Logic Jnl IGPL, Vol. 17, No. 3. (1 June 2009), pp. 227-265. by Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar posted by 1 person hermeschris
	On complete representations of algebras of logic [My Copy] Logic Journal of the IGPL, Vol. 17, No. 3., pp. 267-272. by Mohamed Khaled, Tarek Sayed-Ahmed
	Algorithms for finding coalitions exploiting a new reciprocity condition [My Copy] Logic Journal of the IGPL, Vol. 17, No. 3., pp. 273-297. by Guido Boella, Luigi Sauro, Leendert van der Torre
	Logics for Qualitative Coalitional Games [My Copy] Logic Journal of the IGPL, Vol. 17, No. 3., pp. 299-321. by Thomas gotnes, Wiebe Van Der Hoek, Michael Wooldridge
	Connections between Belief Revision, Belief Merging and Social Choice [My Copy] Journal of Logic and Computation, Vol. 19, No. 3., pp. 445-446. by Dov Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi
	Geodesic Revision [My Copy] Journal of Logic and Computation, Vol. 19, No. 3., pp. 447-459. by Konstantinos Georgatos
	Aggregating Judgements by Merging Evidence [My Copy] Journal of Logic and Computation, Vol. 19, No. 3., pp. 461-473. by Jon Williamson
	Aggregating Partially Ordered Preferences [My Copy] Journal of Logic and Computation, Vol. 19, No. 3., pp. 475-502. by Maria Silvia S. Pini, Francesca Rossi, Kristen Brent B. Venable, Toby Walsh
	Non-manipulable Social Welfare Functions when Preferences are Fuzzy [My Copy] Journal of Logic and Computation, Vol. 19, No. 3., pp. 503-515. by Juan Perote-Pena, Ashley Piggins
	A General Approach to Aggregation Problems [My Copy] Journal of Logic and Computation, Vol. 19, No. 3., pp. 517-536. by Tijmen R. Danils, Eric Pacuit
	Unifiability in extensions of K4 [My Copy] Logic Journal of the IGPL, Vol. 17, No. 2., pp. 159-172. by Cigdem Gencer, Dick De Jongh
	Indecomposability of negative dense subsets of in Constructive Reverse Mathematics [My Copy] Logic Journal of the IGPL, Vol. 17, No. 2., pp. 173-177. by Iris Loeb
	Economic theory and the Alternative Set Theory AFA+AD+DC [My Copy] Logic Journal of the IGPL, Vol. 17, No. 2., pp. 179-203. by Fernando Tohme
	Factorization of residuated lattices [My Copy] Logic Journal of the IGPL, Vol. 17, No. 2., pp. 205-223. by Michal Krupka
	Defeasible inheritance systems and reactive diagrams [My Copy] Logic Journal of the IGPL, Vol. 17, No. 1., pp. 1-54. by Dov M. Gabbay, Karl Schlechta
	An Indian logic-based argument representation formalism for knowledge-sharing [My Copy] Logic Journal of the IGPL, Vol. 17, No. 1., pp. 55-76. by G. S. Mahalakshmi, T. V. Geetha
	An argument game for stable semantics [My Copy] Logic Journal of the IGPL, Vol. 17, No. 1., pp. 77-90. by Martin Caminada, Yining Wu
	Equivalence and quantifier rules for logic with imperfect information [My Copy] Logic Journal of the IGPL, Vol. 17, No. 1., pp. 91-129. by Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen posted by 1 person fdechesn
	Approximate formulae for a logic that capture classes of computational complexity [My Copy] Logic Journal of the IGPL, Vol. 17, No. 1., pp. 131-154. by Argimiro Arratia, Carlos E. Ortiz
	Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 245-260. by Petr Cintula, Petr Hajek
	Rewriting Corner [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 261-261. by Maribel Fernndez
	Paramodulation with Well-founded Orderings [My Copy] Journal of Logic and Computation, Vol. 19, No. 2. (April 2009), pp. 263-302. by Miquel Bofill, Albert Rubio posted by 1 person chsticksel
	Algebraic and Coalgebraic Logic Corner [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 303-303. by Yde Venema
	Algebras of Relations and Relevance Logic [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 305-321. by Szabolcs Mikulas
	Proof Complexity of the Cut-free Calculus of Structures [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 323-339. by Emil Jerabek
	Nominal Algebra and the HSP Theorem [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 341-367. by Murdoch J. Gabbay
	Fuzzy Logic Corner [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 343-343. by Matthias Baaz, George Metcalfe
	Fixpoint and While Temporal Query Languages [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 369-404. by Nicole Bidoit, Matthieu Objois
	Updating Epistemic Logic Programs [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 405-423. by Yan Zhang
	Indifferent Sets [My Copy] Journal of Logic and Computation, Vol. 19, No. 2., pp. 425-443. by Santiago Figueira, Joseph S. Miller, Andre Nies
	The Class S3CAk is Not Closed Under Completions [My Copy] Logic Journal of the IGPL, Vol. 16, No. 5., pp. 427-429. by Tarek Sayed-Ahmed, Basim Samir
	Replacing Modus Ponens With One-Premiss Rules [My Copy] Logic Journal of the IGPL, Vol. 16, No. 5., pp. 431-451. by Lloyd Humberstone
	Structural Completeness in Substructural Logics [My Copy] Logic Journal of the IGPL, Vol. 16, No. 5., pp. 453-495. by J. S. Olson, J. G. Raftery, C. J. Van Alten
	The world is not a desktop [My Copy] Interactions, Vol. 1, No. 1. (1994), pp. 7-8. by Mark Weiser posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Some computer science issues in ubiquitous computing [My Copy] Communications of ACM, Vol. 36, No. 7. (1993), pp. 75-84. by Mark Weiser posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	The computer for the 21st century [My Copy] Scientific American, Vol. 265, No. 3. (1991), pp. 66-75. by Mark Weiser posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Plasiticity of user interfaces: Framework and research agendaticity of user interfaces: Framework and research agenda [My Copy] In Interact (1999), pp. 110-117. by David Thevenin, Joelle Coutaz posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Executive summary and book overview [My Copy] In Multiple User Interfaces: Cross-Platform Applications and Context-Aware Interfaces (2004), pp. 3-9. by Ahmed Seffah, Homa Javahery edited by Ahmed Seffah, Homa Javahery posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Multiple user interfaces: Cross-platform applications and context-aware interfaces [My Copy] In Multiple User Interfaces: Cross-Platform Applications and Context-Aware Interfaces (2004), pp. 11-26. by Ahmed Seffah, Homa Javahery edited by Ahmed Seffah, Homa Javahery posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Composing a framework to automate testing of operational web-based software [My Copy] In 20th IEEE International Conference on Software Maintenance (ICSM'04) (2004), pp. 104-113. by Sreedevi Sampath, Valentin Mihaylov, Amie Souter, Lori Pollock posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Pervasive computing: a paradigm for the 21st century [My Copy] IEEE Computer, Vol. 36, No. 3. (2003), pp. 25-31. by Debashis Saha, Amitava Mukherjee posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Multiple-computer user interfaces: "beyond the desktop" direct manipulation environments [My Copy] In Conference on Human Factors in Computing Systems (Extended Abstracts) (2000), pp. 6-7. by Jun Rekimoto posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Pick-and-drop: a direct manipulation technique for multiple computer environments [My Copy] In 10th annual ACM symposium on user interface software and technology (UIST) (1997), pp. 31-39. by Jun Rekimoto posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Continuous UIs for Seamless Task Migration in MPUIs: Bridging Task Disconnects [My Copy] In (Submitted to) (2007) by Pardha S. Pyla, Manas Tungare, Jerome Holman, Manuel posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	A cognitive meta-analysis of design approaches to interruptions in intelligent environments [My Copy] In Conference on Human Factors in Computing Systems (Extended Abstracts) (2004) by Antti Oulasvirta, Antti Salovaara posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Assessing usability across multiple user interfaces [My Copy] In Multiple User Interfaces: Cross-Platform Applications and Context-Aware Interfaces (2004), pp. 227-349. by Gustav Oquist, Mikael Goldstein, Didier Chincholle edited by Ahmed Seffah, Homa Javahery posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Designing for serendipity: supporting end-user configuration of ubiquitous computing environments [My Copy] In Conference on designing interactive systems: processes, practices, methods, and techniques (2002) by Mark W. Newman, Jana Z. Sedivy, Christine M. Neuwirth, et al.Keith W. Edwards, Jason I. Hong, Shahram Izadi, Karen Marcelo, Trevor F. Smith posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Using handhelds and PCs together [My Copy] Communications of ACM, Vol. 44, No. 11. (2001), pp. 34-41. by Brad A. Myers posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	Developing testing techniques for event-driven pervasive computing applications [My Copy] In OOPSLA'04 Workshop on Building Software for Pervasive Computing (BSPC'04) (2004) by Atif M. Memon posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as
	GUI testing: pitfalls and process [My Copy] IEEE Computer, Vol. 35, No. 8. (2002), pp. 87-88. by Atif M. Memon posted to bibtex-import by manastungare on 2007-08-25 03:40:11 as

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

john-searle	46
chess-expertise	40
bibtex-import	37
climate	34
similarity	32
knowledge	30
philosophy	28
logic	23
agency	23
metaphysics	22
artificial-education	21
chess	21
modal-logic	20
artificial-cognition	20
hope	19
intentionality	17
representation	16
formal-methods	14
theorical-guide	14
science	13
ethics	13
situation-calculus	12
phi-102	12
argumentation	9
method	9
truth	9
miscellaneous	8
diagrams	8
rationality	8
phi-101	7
phi-301	6
e-classics	6
technical-guide	6
church-thesis	5
complexity	4
autism	4
loci-classici	4
situation	4
case-based-reasoning	4
games	4
my-collection	4
categorical-computation	3
homo-ludens	3
chu-spaces	3
goedelian-argument	3
reading	2
turing-test	2
intimacy	2
inconscient	2
mnemonic	2
chess-personality	2
programming	1
leadership	1
chess-maths	1
rewriting	1
coaching	1
rhetorics	1
evolution	1

benoitstpierre's watchlist [more than 800 articles] Export Sort

benoitstpierre's tags