Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Leo Bachmair, Ashish Tiwari 0001, Laurent Vigneron	Abstract Congruence Closure.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	congruence closure, associative-commutative theories, term rewriting
15	Itay Ben-Yaacov	On the fine structure of the polygroup blow-up.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Simple theories, Group configuration, Polygroups
15	Laurence Cholvy, Christophe Garion	Distribution of goals addressed to a group of agents.	AAMAS	2003	DBLP DOI BibTeX RDF	goal selection, qualitative decision theory, theories of rational agency, multiagent systems, modal logic
15	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
15	Michael E. Atwood, Katherine W. McCain, Jodi C. Williams	How does the design community think about design?	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	design taxonomy, theories of design
15	Michael Rovatsos, Gerhard Weiß 0001, Marco Wolf	An approach to the analysis and design of multiagent systems based on interaction frames.	AAMAS	2002	DBLP DOI BibTeX RDF	control & norms, coordinating multiple agents & activities, social order, social reasoning architectures, sociologically grounded methods, theories of agency and autonomy
15	Jürgen Dix, Sarit Kraus, V. S. Subrahmanian	Agents dealing with time and uncertainty.	AAMAS	2002	DBLP DOI BibTeX RDF	probabilistic/uncertain reasoning, theories of agency, logic programming, temporal reasoning, formalisms and logics
15	Sehl Mellouli, Guy W. Mineau, Daniel Pascot	The integrated modeling of multi-agent systems and their environment.	AAMAS	2002	DBLP DOI BibTeX RDF	environment structure, design methodologies, organizational theories
15	David A. Basin, Harald Ganzinger	Automated complexity analysis based on ordered resolution.	J. ACM	2001	DBLP DOI BibTeX RDF	ordered resolution, automated theorem proving, complexity analysis, first-order theories
15	Tony Moynihan	Requirements-Uncertainty: Should It Be a Latent, Aggregate or Profit Construct?	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	requirements-uncertainty, theories-of-action, contingency-theory, software project management
15	Andrea Corradini 0001, Fabio Gadducci	An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	term graphs, symmetric monoidal categories, gs-monoidal categories, directed acyclic graphs, algebraic theories
15	Konstantinos Sagonas, Terrance Swift	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	SLG, memoing, stratification theories, prolog, tabling, WAM
15	Michinori Nakata, Germano Resconi, Tetsuya Murai	Handling Imperfection in Databases: A Modal Logic Approach.	DEXA	1997	DBLP DOI BibTeX RDF	Extended relational databases, Uncertainty theories, Modal logic, Imperfect information
15	Hilary Johnson, Peter Johnson 0001	Explanation facilities and interactive systems.	IUI	1993	DBLP DOI BibTeX RDF	Task Knowledge Structures (TKS), explanation theories, task-based explanation, explanation
15	José Luiz Fiadeiro, T. S. E. Maibaum	Describing, Structuring and Implementing Objects.	REX Workshop	1990	DBLP DOI BibTeX RDF	object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic
15	Marco Bellia	Retractions: A Functional Paradigm for Logic Programming.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF	Predicative and functional languages, symbolic expressions, lambda_calculus, Horn clause theories, Herbrand terms, computable sets, relations, retractions
15	Jean-Jacques Thiel	Stop Losing Sleep Over Incomplete Data Type Specifications.	POPL	1984	DBLP DOI BibTeX RDF	Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories
15	Pierre Lescanne	Computer Experiments with the Reve Term Rewriting System Generator.	POPL	1983	DBLP DOI BibTeX RDF	program verifier, termination, abstract data types, induction, term rewriting systems, theorem prover, equational theories, word problem
10	Jure Leskovec, Daniel P. Huttenlocher, Jon M. Kleinberg	Signed networks in social media.	CHI	2010	DBLP DOI BibTeX RDF	positive and negative edges, signed networks, status theory, structural balance, trust and distrust
10	Tanmoy Chakraborty 0001, J. Stephen Judd, Michael J. Kearns, Jinsong Tan	A behavioral study of bargaining in social networks.	EC	2010	DBLP DOI BibTeX RDF	behavioral economics, human subject experiments, bargaining, network economics
10	Christine B. Williams, Jane Fedorowicz, Arthur P. Tomasino	Governmental factors associated with state-wide interagency collaboration initiatives.	DG.O	2010	DBLP BibTeX RDF	intergovernmental collaboration, state level initiatives, institutional theory, public safety, rational choice theory
10	Dianne Lux Wigand	Twitter takes wing in government: diffusion, roles, and management.	DG.O	2010	DBLP BibTeX RDF	social media, government, diffusion, social presence, collective intelligence, Twitter, social influence, microblogging
10	Aaron Hertzmann	Non-Photorealistic Rendering and the science of art.	NPAR	2010	DBLP DOI BibTeX RDF
10	Kai Riemer, Stefanie Filius	Contextualising Media Choice Using Genre Analysis.	Bus. Inf. Syst. Eng.	2009	DBLP DOI BibTeX RDF	Media choice, Virtualization, Teamwork, Virtual teams, Communication analysis, Genre analysis
10	Max Garagnani, Thomas Wennekers, Friedemann Pulvermüller	Recruitment and Consolidation of Cell Assemblies for Words by Way of Hebbian Learning and Competition in a Multi-Layer Neural Network.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Competitive recruitment learning, Memory trace, LTP/LTD, Localist distributed representations, Neurobiologically plausible modelling, Perisylvian cortex, Perception-action associations, Consolidation, Synaptic plasticity, Language acquisition, Neurocomputation
10	Tom Ziemke, Robert Lowe	On the Role of Emotion in Embodied Cognitive Architectures: From Organisms to Robots.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Homeostasis, Emotion, Motivation, Computational modeling, Organisms, Affect, Cognitive architectures, Grounding, Cognitive robotics, Embodied cognition
10	Matthias Rehm, Birgit Endrass	Rapid prototyping of social group dynamics in multiagent systems.	AI Soc.	2009	DBLP DOI BibTeX RDF
10	Hans Chr Garmann Johnsen, James Karlsen, Roger Normann, Jens Fosse	The contradictory nature of knowledge: a challenge for understanding innovation in a local context and workplace development and for doing action research.	AI Soc.	2009	DBLP DOI BibTeX RDF
10	Chris Riley, Kathy Buckner, Graham Johnson, David Benyon	Culture & biometrics: regional differences in the perception of biometric authentication technologies.	AI Soc.	2009	DBLP DOI BibTeX RDF
10	DaiZhan Cheng	Advances in automation and control research in China.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	Keyword control theory, high tech oriented, contemporary sciences, fundamental problems
10	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded model checking of software using SMT solvers instead of SAT solvers.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
10	Kai Riemer, Stefanie Filius	Kontextualisierung der Medienwahl mit Hilfe von Kommunikationsgenres.	Wirtschaftsinf.	2009	DBLP DOI BibTeX RDF	Media choice, Virtualization, Teamwork, Virtual teams, Communication analysis, Genre analysis
10	Andrew H. Gleibman	Intelligent Processing of an Unrestricted Text in First Order String Calculus.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF
10	Guihuan Zheng, Xun Zhang 0001, Wei Shang, Shanying Xu	Macro finance early warning system.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	financial cycle, multidimensional approach, early warning systems
10	Cristina Conati, Heather Maclaren	Empirically building and evaluating a probabilistic model of user affect.	User Model. User Adapt. Interact.	2009	DBLP DOI BibTeX RDF	Evaluation, User modeling, Affective computing, Dynamic Bayesian networks
10	Cheng-Feng Lee, Leevan Ling, Robert Schaback	On convergent numerical algorithms for unsymmetric collocation.	Adv. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65N12, 65N15, 65N35
10	Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini	Dynamic Context Logic.	LORI	2009	DBLP DOI BibTeX RDF
10	Han Chen, Pasquale Malacaria	Quantifying maximal loss of anonymity in protocols.	AsiaCCS	2009	DBLP DOI BibTeX RDF	anonymity, quantitative analysis, Lagrange multipliers
10	Xin Zeng, Manling Tan	A Review of Scene Visualization Based on Language Descriptions.	CGIV	2009	DBLP DOI BibTeX RDF
10	Marie-Hélène Gorisse	The Art of Non-asserting: Dialogue with Nagarjuna.	ICLA	2009	DBLP DOI BibTeX RDF
10	Yujia Cao, Mariët Theune, Anton Nijholt	Towards Cognitive-Aware Multimodal Presentation: The Modality Effects in High-Load HCI.	HCI (17)	2009	DBLP DOI BibTeX RDF	Cognitive-aware, modality planning, high-load HCI, performance, cognitive load, stress, multimodal presentation
10	Torkil Clemmensen	Towards a Theory of Cultural Usability: A Comparison of ADA and CM-U Theory.	HCI (10)	2009	DBLP DOI BibTeX RDF	HCI, usability, culture, Cultural models
10	Yoshiki Nakamura 0004, Katsuhiro Sakamoto	Construction of Systematic Learning Support System of Business Theory and Method.	HCI (9)	2009	DBLP DOI BibTeX RDF	educational simulator, business theory and technique, decision making, Supply chain management
10	Jenny Quillien, Pam Rostal, Dave West	Agile anthropology and Alexander's architecture: an essay in three voices.	OOPSLA	2009	DBLP DOI BibTeX RDF	alexander, complexity, ethnography, patterns, agile, unfolding, theory-building
10	Jeremy E. Dawson, Alwen Tiu	Formalising Observer Theory for Environment-Sensitive Bisimulation.	TPHOLs	2009	DBLP DOI BibTeX RDF
10	Oluseyi Alaba	Networks, fractals and complexity: web-based information patterns.	MEDES	2009	DBLP DOI BibTeX RDF	complex systems theory, infometrics, networks, self-organizing, power law, fractal theory
10	Carina Lopes, Gerson Zaverucha	HTILDE: scaling up relational decision trees for very large databases.	SAC	2009	DBLP DOI BibTeX RDF	sampling, ILP, very large databases, Hoeffding bound
10	Yangyong Zhu, Ning Zhong 0001, Yun Xiong	Data Explosion, Data Nature and Dataology.	Brain Informatics	2009	DBLP DOI BibTeX RDF
10	Christian Schäufler, Stefan Artmann, Clemens Beckstein	A Structuralistic Approach to Ontologies.	KI	2009	DBLP DOI BibTeX RDF
10	Václav Rajlich	Intensions are a key to program comprehension.	ICPC	2009	DBLP DOI BibTeX RDF
10	Geoffrey Smith 0001	On the Foundations of Quantitative Information Flow.	FoSSaCS	2009	DBLP DOI BibTeX RDF
10	Marilyn A. Walker	Endowing Virtual Characters with Expressive Conversational Skills.	IVA	2009	DBLP DOI BibTeX RDF	Affective Generation, Personality, Conversation, Dialogue
10	Markus Kirchberg, Klaus-Dieter Schewe	Preface to ETheCoM 2009.	ER Workshops	2009	DBLP DOI BibTeX RDF
10	Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner	Realizing Default Logic over Description Logic Knowledge Bases.	ECSQARU	2009	DBLP DOI BibTeX RDF
10	Philippe Besnard, Éric Grégoire, Sébastien Ramon	A Default Logic Patch for Default Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF	logic-based fusion, inconsistency tolerance, MUS, Minimally Unsatisfiable Subformulas, Default logic
10	Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev	Computing Stable Models via Reductions to Difference Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
10	Jinfeng Ma, Feng Mao, Wensheng Zhou	Utilizing Multi Agent Simulation to Explore Cities.	WKDD	2009	DBLP DOI BibTeX RDF
10	Jeffrey Bardzell	Interaction criticism and aesthetics.	CHI	2009	DBLP DOI BibTeX RDF	interaction criticism, hci, interaction design, aesthetics, cultural theory, critical theory
10	Maria Paola Bonacina, Christopher Lynch, Leonardo Mendonça de Moura	On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving.	CADE	2009	DBLP DOI BibTeX RDF
10	Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone	Modal interfaces: unifying interface automata and modal specifications.	EMSOFT	2009	DBLP DOI BibTeX RDF	modal specifications, compatibility, interface automata
10	Akira Otsuki, Kenichi Okada	The study of the knowledge optimization tool.	GEC Summit	2009	DBLP DOI BibTeX RDF	new knowledge creation support, seci model, knowledge management
10	Hakikur Rahman	Framework of e-governance at the local government level.	ICEGOV	2009	DBLP DOI BibTeX RDF	community empowerment, framework of e-government, knowledge development, e-governance, e-government, developing countries, local government
10	Benjamin G. Shaw 0001	A cognitive account of collective emergence in design.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	design cognition, visualization, collaboration, emergence, interaction analysis
10	Mathieu Baudet, Véronique Cortier, Stéphanie Delaune	YAPA: A Generic Tool for Computing Intruder Knowledge.	RTA	2009	DBLP DOI BibTeX RDF
10	Ho-Pun Lam, Guido Governatori	The Making of SPINdle.	RuleML	2009	DBLP DOI BibTeX RDF	Modal Defeasible Logic, Reasoning, Defeasible Logic
10	Christina Keller, Klas Gäre, Mats Edenius, Staffan Lindblad	Designing for complex innovations in health care: design theory and realist evaluation combined.	DESRIST	2009	DBLP DOI BibTeX RDF	realist evaluation, innovation, health care, design theory
10	Stéphane Donikian	A Comparative Review of Reactive Behaviour Models as Proposed in Computer Graphics and Cognitive Sciences.	MIG	2009	DBLP DOI BibTeX RDF
10	Akira Otsuki, Kenichi Okada	Construction of Optimized Knowledge and New Knowledge Creation Support Tool.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	New knowledge creation support, SECI Model, Knowledge management
10	Antonio DiCarlo, Franco Milicchio, Alberto Paoluzzi, Vadim Shapiro	Discrete physics using metrized chains.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	discrete calculus, geometric and physical modeling
10	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Data Structures with Arithmetic Constraints: A Non-disjoint Combination.	FroCoS	2009	DBLP DOI BibTeX RDF
10	Ashish Tiwari 0001	Combining Equational Reasoning.	FroCoS	2009	DBLP DOI BibTeX RDF
10	Nikolaj S. Bjørner, Leonardo Mendonça de Moura	Tapas: Theory Combinations and Practical Applications.	FORMATS	2009	DBLP DOI BibTeX RDF
10	Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock	Answer Sets in a Fuzzy Equilibrium Logic.	RR	2009	DBLP DOI BibTeX RDF
10	Ylva Fernaeus, Mattias Jacobsson	Comics, robots, fashion and programming: outlining the concept of actDresses.	TEI	2009	DBLP DOI BibTeX RDF	physical languages, tangible interaction, semiotics
10	Heinrich H. Bülthoff, Christian Wallraven, Martin A. Giese	Perceptual Robotics.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
10	Elizabeth L. Mansfield, Peter E. Hydon	Difference Forms.	Found. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 39A12, 14F40, 55N05, 15A75
10	Emmanuel Guigon, Pierre Baraduc, Michel Desmurget	Optimality, stochasticity, and variability in motor behavior.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Model, Noise, Motor control
10	Masahiko Sato 0001	A framework for checking proofs naturally.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Natural framework, Computation and logic, NF/CAL system
10	Anil Nerode, Jeffrey B. Remmel	Consistency properties and set based logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70
10	Jinwei Cao, Janna M. Crews, Ming Lin 0001, Judee K. Burgoon, Jay F. Nunamaker Jr.	An empirical investigation of virtual Interaction in supporting learning.	Data Base	2008	DBLP DOI BibTeX RDF	technology mediated learning (TML), virtual interaction, e-learning, question answering
10	Tru H. Cao, Hoa Nguyen, Ma Nam	Modelling and Computing with Imprecise and Uncertain Properties in Object Bases.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
10	Benjamin Kuipers	An Intellectual History of the Spatial Semantic Hierarchy.	Robotics and Cognitive Approaches to Spatial Mapping	2008	DBLP DOI BibTeX RDF
10	Guoyin Jiang, Lihong Dong	Comparative Research of Modeling Methods for Workflow Process.	ISECS	2008	DBLP DOI BibTeX RDF
10	Maithilee Kunda, Ashok K. Goel 0001	What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?.	Diagrams	2008	DBLP DOI BibTeX RDF	mental imagery, cognition, Autism, visual representation, visual reasoning
10	Yingxu Wang	On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
10	Will Harwood, Ana Cavalcanti 0001, Jim Woodcock 0001	A Theory of Pointers for the UTP.	ICTAC	2008	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
10	Karin Axelsson, Ulf Melin	Citizen Participation and Involvement in eGovernment Projects: An Emergent Framework.	EGOV	2008	DBLP DOI BibTeX RDF	citizen participation, citizen involvement, eGovernment, focus group, user participation, IS development
10	Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker	Fields, Meadows and Abstract Data Types.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
10	Peer Stelldinger	Topologically Correct 3D Surface Reconstruction and Segmentation from Noisy Samples.	IWCIA	2008	DBLP DOI BibTeX RDF
10	Yi-Ping Phoebe Chen, Sven Hartmann, Markus Kirchberg	Preface to CMLSA 2008.	ER Workshops	2008	DBLP DOI BibTeX RDF
10	Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizoguchi	Structurization of Learning/Instructional Design Knowledge for Theory-Aware Authoring Systems.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
10	David Pearce 0001, Agustín Valverde	Quantified Equilibrium Logic and Foundations for Answer Set Programs.	ICLP	2008	DBLP DOI BibTeX RDF
10	Koen van Turnhout, Jacques M. B. Terken, Berry Eggen	Designing Socially Aware Conversational Agents.	PIT	2008	DBLP DOI BibTeX RDF
10	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001	MTT: The Maude Termination Tool (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
10	Rahul De'	Electronic governance theory.	ICEGOV	2008	DBLP DOI BibTeX RDF	e-governance, theory, development, structuration, tutorial
10	Georgios K. Giannikis, Aspassia Daskalopulu	How Can Agents Know What to Assume When?	IAT	2008	DBLP DOI BibTeX RDF
10	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Z3: An Efficient SMT Solver.	TACAS	2008	DBLP DOI BibTeX RDF
10	Madeleine Siösteen-Thiel, Marijn Janssen	Bridging the terms and vocabulary gap among research and practitioners communities: panel.	DG.O	2008	DBLP BibTeX RDF	research reports, theory and practice, communication, applied research
10	Ullrich Köthe	What Can We Learn from Discrete Images about the Continuous World?.	DGCI	2008	DBLP DOI BibTeX RDF
10	Henry M. Kim, Kelly A. Lyons, Mary Ann Cunningham	Towards a Framework for Evaluating Immersive Business Models: Evaluating Service Innovations in Second Life.	HICSS	2008	DBLP DOI BibTeX RDF