Search results for "counts-as"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Guido Boella, Leendert W. N. van der Torre	A Logical Architecture of a Normative System.	DEON	2006	DBLP DOI BibTeX RDF
37	Davide Grossi	Pushing Anderson's Envelope: The Modal Logic of Ascription.	DEON	2008	DBLP DOI BibTeX RDF	Anderson’s reduction, counts-as, ascription, Jørgensen’s dilemma, Modal logic
30	Guido Boella, Leendert W. N. van der Torre	Delegation of Power in Normative Multiagent Systems.	DEON	2006	DBLP DOI BibTeX RDF
30	Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre	Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.	PRIMA	2008	DBLP DOI BibTeX RDF
30	Davide Grossi, John-Jules Ch. Meyer, Frank Dignum	Counts-as: Classification or Constitution? An Answer Using Modal Logic.	DEON	2006	DBLP DOI BibTeX RDF
29	Nabeil Maflahi, Mike Thelwall	When are readership counts as useful as citation counts? Scopus versus Mendeley for LIS journals.	J. Assoc. Inf. Sci. Technol.	2016	DBLP DOI BibTeX RDF
29	Davide Grossi, John-Jules Ch. Meyer, Frank Dignum	Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as.	ICAIL	2005	DBLP DOI BibTeX RDF
29	Guido Governatori, Antonino Rotolo	A computational framework for institutional agency.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Institutional agency, Counts-as, Defeasible logic, Agent societies
23	Huib Aldewereld, Sergio Álvarez-Napagao, Frank Dignum, Javier Vázquez-Salceda	Engineering Social Reality with Inheritance Relations.	ESAW	2009	DBLP DOI BibTeX RDF
23	Lutz Bornmann, Hans-Dieter Daniel	Selecting scientific excellence through committee peer review - A citation analysis of publications previously published to approval or rejection of post-doctoral research fellowship applicants.	Scientometrics	2006	DBLP DOI BibTeX RDF
22	Guido Boella, Leendert W. N. van der Torre	An architecture of a normative system: counts-as conditionals, obligations and permissions.	AAMAS	2006	DBLP DOI BibTeX RDF	MAS theory, normative multi-agent systems, normative systems
15	Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre, Serena Villata	Representing Excuses in Social Dependence Networks.	AI*IA	2009	DBLP DOI BibTeX RDF
15	John R. Talburt	The Flesch Index: An Easily Programmable Readability Analysis Algorithm.	SIGDOC	1985	DBLP DOI BibTeX RDF
15	Sanna Järvelä, Carolyn P. Rosé	Reflecting on what counts as collaboration: Reaching forward without losing what is behind.	Int. J. Comput. Support. Collab. Learn.	2023	DBLP DOI BibTeX RDF
15	Eduard Petiska	ChatGPT cites the most-cited articles and journals, relying solely on Google Scholar's citation counts. As a result, AI may amplify the Matthew Effect in environmental science.	CoRR	2023	DBLP DOI BibTeX RDF
15	Suchin Gururangan, Dallas Card, Sarah K. Dreier, Emily K. Gade, Leroy Z. Wang, Zeyu Wang, Luke Zettlemoyer, Noah A. Smith	Whose Language Counts as High Quality? Measuring Language Ideologies in Text Data Selection.	CoRR	2022	DBLP BibTeX RDF
15	Subhayan Mukerjee, Tian Yang, Georg Stadler, Sandra González-Bailón	What counts as a weak tie? A comparison of filtering techniques to analyze co-exposure networks.	Soc. Networks	2022	DBLP DOI BibTeX RDF
15	Vladislav Kershner, Viacheslav E. Antsiperov	Image Coding by Samples of Counts as an Imitation of the Light Detection by the Retina.	ICPRAM	2022	DBLP DOI BibTeX RDF
15	Suchin Gururangan, Dallas Card, Sarah K. Dreier, Emily K. Gade, Leroy Z. Wang, Zeyu Wang, Luke Zettlemoyer, Noah A. Smith	Whose Language Counts as High Quality? Measuring Language Ideologies in Text Data Selection.	EMNLP	2022	DBLP DOI BibTeX RDF
15	Kyle Mills, Isaac Tamblyn	Weakly-supervised multi-class object localization using only object counts as labels.	CoRR	2021	DBLP BibTeX RDF
15	Wen Zeng, Alexis J. Comber	Using household counts as ancillary information for areal interpolation of population: Comparing formal and informal, online data sources.	Comput. Environ. Urban Syst.	2020	DBLP DOI BibTeX RDF
15	E. Emory Davis, Barbara Landau	What counts as seeing? Young children's understanding of perceptual reports.	CogSci	2020	DBLP BibTeX RDF
15	David Sánchez 0001, Laura Martínez-Sanahuja, Montserrat Batet	Survey and evaluation of web search engine hit counts as research tools in computational linguistics.	Inf. Syst.	2018	DBLP DOI BibTeX RDF
15	Ruthe Foushee, Rachel Jansen, Mahesh Srinivasan	What counts as math? Relating conceptions of math with anxiety about math.	CogSci	2017	DBLP BibTeX RDF
15	Jan Faye	What Counts as Causation in Physics and Biology?	New Directions in the Philosophy of Science	2014	DBLP DOI BibTeX RDF
15	Annemaree Lloyd	Trapped between a Rock and a Hard Place: What Counts as Information Literacy in the Workplace and How Is It Conceptualized?	Libr. Trends	2011	DBLP DOI BibTeX RDF
15	Ilse Depraetere	What counts as useful advice in a university post-editing training context? Report on a case.	EAMT	2010	DBLP BibTeX RDF
15	Lori M. Takeuchi	What counts as scientific practice?: a taxonomy of scientists' ways of thinking and doing.	ICLS (1)	2010	DBLP BibTeX RDF
15	Marisa Leavitt Cohn, Susan Elliott Sim, Charlotte P. Lee	What Counts as Software Process? Negotiating the Boundary of Software Work Through Artifacts and Conversation.	Comput. Support. Cooperative Work.	2009	DBLP DOI BibTeX RDF
15	Davide Grossi, John-Jules Ch. Meyer, Frank Dignum	The many faces of counts-as: A formal analysis of constitutive rules.	J. Appl. Log.	2008	DBLP DOI BibTeX RDF
15	Davide Grossi, John-Jules Ch. Meyer, Frank Dignum	Classificatory Aspects of Counts-as: An Analysis in Modal Logic.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
15	José Carmo	Roles, Counts-as and Deontic and Action Logics.	DEON	2006	DBLP DOI BibTeX RDF
15	Christine Halverson, Thomas Erickson, Jeremy B. Sussman	What counts as success? punctuated patterns of use in a persistent chat environment.	GROUP	2003	DBLP DOI BibTeX RDF	persistent chat, CSCW, software development, CMC, instant messaging, virtual community, chat
15	Gerta Rücker, Christoph Rücker	Substructure, Subgraph, and Walk Counts as Measures of the Complexity of Graphs and Molecules.	J. Chem. Inf. Comput. Sci.	2001	DBLP DOI BibTeX RDF
15	D. Lindsey	Using citation counts as a measure of quality in science measuring what's measurable rather than what's valid.	Scientometrics	1989	DBLP DOI BibTeX RDF
8	Jian Huang 0002, Jianfeng Gao 0001, Jiangbo Miao, Xiaolong Li, Kuansan Wang, Fritz Behr, C. Lee Giles	Exploring web scale language models for search query processing.	WWW	2010	DBLP DOI BibTeX RDF	search query processing, very large-scale experiments, web n-gram, language models
8	Wouter Teepe	On BAN logic and hash functions or: how an unjustified inference rule causes problems.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Two parrots protocol, Security protocol, Soundness, Cryptographic hash function, BAN logic
8	Amaldev Manuel, Ramaswamy Ramanujam	Counting Multiplicity over Infinite Alphabets.	RP	2009	DBLP DOI BibTeX RDF
8	Yuichi Fujiki, Konstantinos Kazakos, Colin Puri, Pradeep Buddharaju, Ioannis T. Pavlidis, James Levine	NEAT-o-Games: blending physical activity and fun in the daily routine.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	ubiquitous computing, pervasive gaming, wearable sensors
8	Lukas Kroc, Ashish Sabharwal, Bart Selman	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.	CPAIOR	2008	DBLP DOI BibTeX RDF
8	Jan A. Bergstra, Cornelis A. Middelburg	Thread algebra for strategic interleaving.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Interleaving strategies, Services, Threads, Multi-threading, Deadlock freedom, Thread algebra
8	Oliver Sharma, Mark A. Girolami, Joseph S. Sventek	Detecting worm variants using machine learning.	CoNEXT	2007	DBLP DOI BibTeX RDF
8	Lynda Birke	Meddling with Medusa: on genetic manipulation, art and animals.	AI Soc.	2006	DBLP DOI BibTeX RDF	Genetic manipulation, Complexity, Animals, Creativity, Art, Meaning
8	Matthew Darnall, Doug Kuhlman	AES Software Implementations on ARM7TDMI.	INDOCRYPT	2006	DBLP DOI BibTeX RDF
8	Gary Klein, Rebecca Pliske, Beth Crandall, David D. Woods	Problem detection.	Cogn. Technol. Work.	2005	DBLP DOI BibTeX RDF
8	Mao Yang, Zheng Zhang 0001, Xiaoming Li, Yafei Dai	An Empirical Study of Free-Riding Behavior in the Maze P2P File-Sharing System.	IPTPS	2005	DBLP DOI BibTeX RDF
8	Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre	A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages.	IAT	2005	DBLP DOI BibTeX RDF
8	Sayyed Arash Ostadzadeh, M. Amir Moulavi, Zeinab Zeinalpour	Massive Concurrent Deletion of Keys in B*-Tree.	PPAM	2005	DBLP DOI BibTeX RDF
8	Guido Boella, Leendert W. N. van der Torre	Constitutive Norms in the Design of Normative Multiagent Systems.	CLIMA	2005	DBLP DOI BibTeX RDF
8	Yinian Gu	Global knowledge management research: A bibliometric analysis.	Scientometrics	2004	DBLP DOI BibTeX RDF
8	Gabriel Marin, John M. Mellor-Crummey	Cross-architecture performance predictions for scientific applications using parameterized models.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	modeling, performance analysis, prediction
8	Terrence W. Deacon	Memes as Signs in the Dynamic Logic of Semiosis: Beyond Molecular Science and Computation Theory.	ICCS	2004	DBLP DOI BibTeX RDF
8	Guido Boella, Leendert W. N. van der Torre	Obligations as Social Constructs.	AI*IA	2003	DBLP DOI BibTeX RDF
8	Mary Shaw	What makes good research in software engineering?	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF
8	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
8	Fabio Pianesi, Achille C. Varzi	The Context-Dependency of Temporal Reference in Event Semantics.	CONTEXT	1999	DBLP DOI BibTeX RDF
8	Cary Buchman, Daniel M. Berry, Jakob Gonczarowski	DITROFF/FFORTID, An Adaptation of the UNIX DITROFF for Formatting Bidirectional Text.	ACM Trans. Inf. Syst.	1985	DBLP DOI BibTeX RDF	DITROFF