Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Zoltán Ésik	Iteration Theories of Boolean Functions.	MFCS	2000	DBLP DOI BibTeX RDF
24	Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino	Disjunctions of Horn Theories and Their Cores.	ISAAC	1998	DBLP DOI BibTeX RDF
24	Paul Curzon	Virtual Theories.	TPHOLs	1995	DBLP DOI BibTeX RDF
24	Pawel Cholewinski	Stratified Default Theories.	CSL	1994	DBLP DOI BibTeX RDF
24	Stephen L. Bloom, Zoltán Ésik	Some Quasi-Varieties of Iteration Theories.	MFPS	1993	DBLP DOI BibTeX RDF
24	Jean-Pierre Jouannaud	Syntactic Theories.	MFCS	1990	DBLP DOI BibTeX RDF
24	Werner Nutt	Unification in Monoidal Theories.	CADE	1990	DBLP DOI BibTeX RDF
24	Jeroen Groenendijk, Martin Stokhof	Two Theories of Dynamic Semantics.	JELIA	1990	DBLP DOI BibTeX RDF
24	Éric Badouel	Algebraic Closed Theories.	MFCS	1989	DBLP DOI BibTeX RDF
24	José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas	Knowledgebases as Structured Theories.	FSTTCS	1988	DBLP DOI BibTeX RDF
24	Katherine A. Yelick	Combining Unification Algorithms for Confined Regular Equational Theories.	RTA	1985	DBLP DOI BibTeX RDF
24	Mehmet A. Orgun, Guido Governatori, Chuchang Liu	Modal tableaux for verifying stream authentication protocols.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic
24	Mathieu Chauvet	Cultural diversity of distributed teams.	CPR	2009	DBLP DOI BibTeX RDF	cross-cultural theories, cross-cultural virtual teams, remote work, national culture
24	Harri Oinas-Kukkonen, Marja Harjumaa	A Systematic Framework for Designing and Evaluating Persuasive Systems.	PERSUASIVE	2008	DBLP DOI BibTeX RDF	functionality and techniques, models and frameworks, Design, theories, strategies
24	Hans-Jürgen Hoehnke	Quasi-varieties: A special access.	Stud Logica	2004	DBLP DOI BibTeX RDF	Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones
24	Vicki L. Almstrum, David Ginat, Orit Hazzan, John M. Clement	Transfer to/from computing science education: the case of science education research.	SIGCSE	2003	DBLP DOI BibTeX RDF	cognition, learning theories, mathematics education
24	Grace SauLan Loo, Bondic C. P. Tang, Lech J. Janczewski	An Adaptable Human-Agent Collaboration Information System in Manufacturing (HACISM).	DEXA Workshops	2000	DBLP DOI BibTeX RDF	adaptable human-agent collaboration, deliberative agent theories, beliefs desires and intentions, garment manufacturing industry, learning, fuzzy logic, information system, artificial neural network, intelligent agents, decision making, software agents, knowledge base, rules, uncertainty handling, end-users
24	Claudio Masolo, Laure Vieu	Atomicity vs. Infinite Divisibility of Space.	COSIT	1999	DBLP DOI BibTeX RDF	ontology of space, axiomatic theories of space, qualitative spatial reasoning, spatial data representation
24	Carlos Paredes, José Luiz Fiadeiro	Reuse of Requirements and Specifications: A Formal Framework.	SSR	1995	DBLP DOI BibTeX RDF	formal specifications, reuse, theories, object, features, categories, functional requirements
24	T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler	A Theory of Abstract Data Types for Program Development: Bridging the Gap?	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF	axiomatic theories, incomplete specifications, parameterisation, conservative extension, namability, implementation, interpretation, abstract data types, program development, stepwise refinement
24	Eric C. R. Hehner	Retrospective and Prospective for Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF
24	Mikko Lindholm, Tapani Sarjakoski	User Models and Information Theory in the Design of a Query Interface for GIS.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
24	Theodore Patkos, Dimitris Plexousakis	A Theory of Action, Knowledge and Time in the Event Calculus.	SETN	2008	DBLP DOI BibTeX RDF	Action Theories, Event Calculus, Reasoning about Knowledge
24	Chantal Berline, Giulio Manzonetto, Antonino Salibra	Lambda Theories of Effective Lambda Models.	CSL	2007	DBLP DOI BibTeX RDF	Effective lambda models, Recursively enumerable lambda theories, Löwenheim-Skolem theorem, Lambda calculus, Graph models
24	Stephen Coombes	Waves, bumps, and patterns in neural field theories.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF	Neural field theories, Evans functions, Integral equations, Waves, Bumps
24	Victor Kaptelinin, Bonnie A. Nardi, Susanne Bødker, John M. Carroll 0001, James D. Hollan, Edwin L. Hutchins, Terry Winograd	Post-cognitivist HCI: second-wave theories.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	HCI theories, cognitive approach, language/action, activity theory, distributed cognition
20	Paul Skokowski	Networks with attitudes.	AI Soc.	2009	DBLP DOI BibTeX RDF
20	Germano Resconi, Boris Kovalerchuk	Agents' model of uncertainty.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Uncertainty logic, Conflicting agents, Fuzzy logic, Rough sets, Intuitionistic fuzzy sets, Evidence theory, Contradiction, Ignorance
20	Marcelo P. Fiore, Chung-Kil Hur	Mathematical Synthesis of Equational Deduction Systems.	TLCA	2009	DBLP DOI BibTeX RDF
20	Jerry R. Hobbs	Deep Lexical Semantics.	CICLing	2008	DBLP DOI BibTeX RDF
20	Clément Houtmann	Axiom Directed Focusing.	TYPES	2008	DBLP DOI BibTeX RDF	superdeduction, Proof theory, focusing, deduction modulo
20	Robert Willison, Mikko T. Siponen	Software Piracy: Original Insights from a Criminological Perspective.	HICSS	2008	DBLP DOI BibTeX RDF
20	Dominic M. Thomas, Saurabh Gupta 0003, Robert P. Bostrom	A Meta-theory for Understanding IS in Socio-technical Systems.	HICSS	2008	DBLP DOI BibTeX RDF
20	Harri Oinas-Kukkonen, Marja Harjumaa	Towards Deeper Understanding of Persuasion in Software and Information Systems.	ACHI	2008	DBLP DOI BibTeX RDF	human factors, systems design, persuasive technology, Computer-human interaction, social factors
20	Lengning Liu, Miroslaw Truszczynski	Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
20	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.	CADE	2007	DBLP DOI BibTeX RDF
20	Steve Kremer, Laurent Mazaré	Adaptive Soundness of Static Equivalence.	ESORICS	2007	DBLP DOI BibTeX RDF
20	Germano Resconi, Boris Kovalerchuk	Hierarchy of Logics of Irrational and Conflicting Agents.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	uncertainty logic, conflicting agent, irrational agent, self-conflict, fuzzy logic, mutual exclusion, probability theory
20	Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune	Combining Algorithms for Deciding Knowledge in Security Protocols.	FroCoS	2007	DBLP DOI BibTeX RDF
20	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Combining Proof-Producing Decision Procedures.	FroCoS	2007	DBLP DOI BibTeX RDF
20	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Noetherianity and Combination Problems.	FroCoS	2007	DBLP DOI BibTeX RDF
20	Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.	IJCAR	2006	DBLP DOI BibTeX RDF
20	Bruno Buchberger	Mathematical Theory Exploration.	IJCAR	2006	DBLP DOI BibTeX RDF
20	C. Richard G. Helps	Instructional design theory provides insights into evolving information technology technical curricula.	SIGITE Conference	2006	DBLP DOI BibTeX RDF	instructional design theory, technology evolution, UML, learning theory, curriculum design, Moore's law
20	Christoph Schwarzweller	Gröbner Bases - Theory Refinement in the Mizar System.	MKM	2005	DBLP DOI BibTeX RDF
20	Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta	Safe compositional specification of networking systems.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF	QoS theory, service composition, type systems, control theory
20	Hai Lin 0008, Jigui Sun	Knowledge Compilation Using the Extension Rule.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	extension rule, EPCCL theory, knowledge compilation
20	Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann	Modular Proof Systems for Partial Functions with Weak Equality.	IJCAR	2004	DBLP DOI BibTeX RDF
20	Adam Grabowski, Christoph Schwarzweller	Rough Concept Analysis - Theory Development in the Mizar System.	MKM	2004	DBLP DOI BibTeX RDF
20	Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau	6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction.	ICSE	2003	DBLP DOI BibTeX RDF	components, Composition, system analysis, quality attributes
20	Aaron Stump, Clark W. Barrett, David L. Dill	CVC: A Cooperating Validity Checker.	CAV	2002	DBLP DOI BibTeX RDF
20	Vicki L. Almstrum, David Ginat, Orit Hazzan, Tom Morley	Import and export to/from computing science education: the case of mathematics education research.	ITiCSE	2002	DBLP DOI BibTeX RDF
20	Ofer Arieli, Marc Denecker	Modeling Paraconsistent Reasoning by Classical Logic.	FoIKS	2002	DBLP DOI BibTeX RDF
20	William M. Farmer	An Infrastructure for Intertheory Reasoning.	CADE	2000	DBLP DOI BibTeX RDF
20	Sara Negri	Sequent calculus proof theory of intuitionistic apartness and order relations.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
20	Matthew Hennessy	Axiomatising Asynchronous Process Calculi (abstract).	FCT	1999	DBLP DOI BibTeX RDF
20	Heike Franz	The Impact of Computer Mediated Communication on Information Overload in Distributed Teams.	HICSS	1999	DBLP DOI BibTeX RDF
20	Gilles Dowek	Proof Normalization for a First-Order Formulation of Higher-Order Logic.	TPHOLs	1997	DBLP DOI BibTeX RDF
20	Klaus U. Schulz	A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms.	RTA	1997	DBLP DOI BibTeX RDF
20	Ulrich Furbach	Theory Reasoning in First Order Calculi.	IS/KI	1994	DBLP DOI BibTeX RDF
20	Kohei Honda 0001, Nobuko Yoshida	On Reduction-Based Semantics.	FSTTCS	1993	DBLP DOI BibTeX RDF
20	David A. McAllester	Grammar Rewriting.	CADE	1992	DBLP DOI BibTeX RDF
20	Thomas W. Malone, Kevin Crowston	What is Coordination Theory and How Can It Help Design Cooperative Work Systems?	CSCW	1990	DBLP DOI BibTeX RDF
20	Tobias Nipkow	Combining Matching Algorithms: The Rectangular Case.	RTA	1989	DBLP DOI BibTeX RDF
20	Claude Kirchner	A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm.	CADE	1984	DBLP DOI BibTeX RDF
20	Jean H. Gallier	Recursion Schemes and Generalized Interpretations (Extended Abstract).	ICALP	1979	DBLP DOI BibTeX RDF
20	Barry A. T. Brown, Cliff Lampe, Kerry Rodden, Nicolas Ducheneaut	Models, theories and methods of studying online behaviour.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	internet research, theory of behavior, social interaction
20	Yeting Ge, Leonardo Mendonça de Moura	Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories.	CAV	2009	DBLP DOI BibTeX RDF
20	Zoltán Ésik, Tamás Hajgató	Iteration Grove Theories with Applications.	CAI	2009	DBLP DOI BibTeX RDF
20	Miroslaw Truszczynski	Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	logic here-and-there, answer-set programming, Stable models
20	Chiaki Sakama	Social Default Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
20	Stefan Ciobaca, Stéphanie Delaune, Steve Kremer	Computing Knowledge in Security Protocols under Convergent Equational Theories.	CADE	2009	DBLP DOI BibTeX RDF
20	Patrick Maier 0001	Deciding Extensions of the Theories of Vectors and Bags.	VMCAI	2009	DBLP DOI BibTeX RDF
20	Guillaume Burel	Automating Theories in Intuitionistic Logic.	FroCoS	2009	DBLP DOI BibTeX RDF
20	Thomas Wies, Ruzica Piskac, Viktor Kuncak	Combining Theories with Shared Set Operations.	FroCoS	2009	DBLP DOI BibTeX RDF
20	Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui	Types, structures and theories in NKI.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	natural object, ontology, type, concept, individual
20	Shan Wang 0006, Shi Zheng, Lida Xu, Dezheng Li, Huan Meng	A literature review of electronic marketplace research: Themes, theories and an integrative framework.	Inf. Syst. Frontiers	2008	DBLP DOI BibTeX RDF	Research theme, Literature review, Electronic marketplace, Integrative framework
20	Joshua B. Tenenbaum	Building Theories of the World: Human and Machine Learning Perspectives.	ILP	2008	DBLP DOI BibTeX RDF
20	Joe Hendrix, Hitoshi Ohsaki	Combining Equational Tree Automata over AC and ACI Theories.	RTA	2008	DBLP DOI BibTeX RDF
20	Leopoldina Fortunati	Theories without Heart.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	Domestication theory, body-to-body communication, emotion, infrastructure, information and communication technologies, mediated communication, body
20	Khalil Djelloul	A Full First-Order Constraint Solver for Decomposable Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
20	Steve Kremer	Computational Soundness of Equational Theories (Tutorial).	TGC	2007	DBLP DOI BibTeX RDF
20	Véronique Cortier, Stéphanie Delaune	Deciding Knowledge in Security Protocols for Monoidal Equational Theories.	LPAR	2007	DBLP DOI BibTeX RDF
20	Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar	A Tutorial on Satisfiability Modulo Theories.	CAV	2007	DBLP DOI BibTeX RDF
20	Zhangang Lin, Zuoquan Lin	Handling Contradictions in Default Theories.	KSEM	2007	DBLP DOI BibTeX RDF
20	Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli	Combined Satisfiability Modulo Parametric Theories.	TACAS	2007	DBLP DOI BibTeX RDF
20	Michael Rathjen	Theories and Ordinals: Ordinal Analysis.	CiE	2007	DBLP DOI BibTeX RDF
20	Khalil Djelloul, Thi-Bich-Hanh Dao	Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories.	SAC	2006	DBLP DOI BibTeX RDF	complete theory, first-order constraints, theory of trees, two partners games, rewriting rules
20	Matthias Rehm, Birgit Endrass, Elisabeth André	A Plug-and-Play Framework for Theories of Social Group Dynamics.	IVA	2006	DBLP DOI BibTeX RDF
20	Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits	On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules.	KSEM	2006	DBLP DOI BibTeX RDF
20	Nikhil Ichalkaranje, Christos Sioutis, Jeffrey Tweedale, Pierre Urlings, Lakhmi C. Jain	The Equilibrium of Agent Mind: The Balance Between Agent Theories and Practice.	KES (2)	2006	DBLP DOI BibTeX RDF
20	Suad Alagic, Mark Royer, David Briggs	Verification Theories for XML Schema.	BNCOD	2006	DBLP DOI BibTeX RDF
20	Yu-Ting Caisy Hung, Wei-Chang Kong, Ai-Ling Chua, Clyde Eirikur Hull	Reexamining Media Capacity Theories Using Workplace Instant Messaging.	HICSS	2006	DBLP DOI BibTeX RDF
20	Thiago L. V. L. Santos, Ana Cavalcanti 0001, Augusto Sampaio	Object-Orientation in the UTP.	UTP	2006	DBLP DOI BibTeX RDF
20	Máté Lengyel, Zsófia Huhn, Péter Érdi	Computational theories on the function of theta oscillations.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
20	Neil Thapen, Michael Soltys	Weak theories of linear algebra.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
20	Bruce Knuteson, Ricardo Vilalta	Testing Theories in Particle Physics Using Maximum Likelihood and Adaptive Bin Allocation.	PKDD	2005	DBLP DOI BibTeX RDF
20	Robert Nieuwenhuis, Albert Oliveras	Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.	LPAR	2005	DBLP DOI BibTeX RDF
20	Jifeng He 0001, C. A. R. Hoare	Linking Theories of Concurrency.	ICTAC	2005	DBLP DOI BibTeX RDF
20	Martín Abadi, Véronique Cortier	Deciding Knowledge in Security Protocols under (Many More) Equational Theories.	CSFW	2005	DBLP DOI BibTeX RDF