Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Franz Baader, Werner Nutt	Combination problems for commutative/monoidal theories or how algebra can help in equational unification.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Equational unification, Semiadditive categories, Semirings, Equational theories
58	Laurie Murphy, Lynda Thomas	Dangers of a fixed mindset: implications of self-theories research for computer science education.	ITiCSE	2008	DBLP DOI BibTeX RDF	self-theories, theories of intelligence, cs1, cs ed research
58	Marco Cadoli, Thomas Eiter, Georg Gottlob	Complexity of propositional nested circumscription and nested abnormality theories.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription
54	Scott L. Schneberger, Hugh J. Watson, Carol E. Pollard	The Efficacy of "Little t" Theories.	HICSS	2007	DBLP DOI BibTeX RDF
54	Steffen Lewitzka, Ruy J. G. B. de Queiroz	On dividing chains in simple theories.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Simple theories, Dividing chains, Morley sequences
49	Tianshe Yang, Zheng Xi, Lida Xu, Xiaoshe Dong, YongXuan Huang	Application of uncertainty reasoning theory to satellite fault detection and diagnosis.	SMC	2007	DBLP DOI BibTeX RDF
49	Mark Preston, Nikolay Mehandjiev	A framework for classifying intelligent design theories.	WISER	2004	DBLP DOI BibTeX RDF	intelligent design (ID), software engineering (SE), software development, design methodologies
49	Thomas Bittner, Andrew U. Frank	On the design of formal theories of geographic space.	J. Geogr. Syst.	1999	DBLP DOI BibTeX RDF
49	Florent Jacquemard, Christoph Meyer 0001, Christoph Weidenbach	Unification in Extension of Shallow Equational Theories.	RTA	1998	DBLP DOI BibTeX RDF
49	Iluju Kiringa	Specifying active databases as non-Markovian theories of actions.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Semantic of active databases, Logical foundations, Action theories, non-Markovian control, Knowledge representation, Situation calculus
49	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Unifying Theories in ProofPower-Z.	UTP	2006	DBLP DOI BibTeX RDF	Unifying Theories of Programming, theorem prover
49	Manfred Schmidt-Schauß	Unification in a Combination of Arbitrary Disjoint Equational Theories.	CADE	1988	DBLP DOI BibTeX RDF	Decidability of Unification, Combination of equational theories, Boolean rings, Unification, Equational theories, Abelian groups
44	Peter J. Graham	The theoretical diagnosis of skepticism.	Synth.	2007	DBLP DOI BibTeX RDF	Skepticism, Epistemic Justification, Reliabilism, Michael Williams, Contextualism
44	Dov M. Gabbay, Andrzej Szalas	Annotation Theories over Finite Graphs.	Stud Logica	2009	DBLP DOI BibTeX RDF	labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory
44	Erik Tidén	Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols.	CADE	1986	DBLP DOI BibTeX RDF
44	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	New results on rewrite-based satisfiability procedures.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
44	Libor Behounek, Petr Cintula	Features of Mathematical Theories in Formal Fuzzy Logic.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics
44	Cungen Cao 0001, Yuefei Sui, Zaiyue Zhang	The Rough Logic and Roughness of Logical Theories.	RSKT	2006	DBLP DOI BibTeX RDF	logical theories, refinement, Rough set theory, logical implication
44	Fangzhen Lin, Kewen Wang 0001	From Causal Theories to Logic Programs (Sometimes).	LPNMR	1999	DBLP DOI BibTeX RDF	disjunctive logic programs with classical negation, causal theories of actions, situation calculus
44	Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes	Iteration 2-theories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	iteration theories, fixed point operation, rewriting, initiality, equational logic, algebraic theories, 2-categories
42	Cristian S. Calude	Information: The Algorithmic Paradigm.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
41	Rundong Mu, Qin Li	A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
41	Jim Woodcock 0001	Hoare and He's Unifying Theories of Programming.	Theories of Programming	2021	DBLP DOI BibTeX RDF
41	Vahid Dabbaghian, Vijay Kumar Mago	Introducing Theories and Simulations of Complex Social Systems.	Theories and Simulations of Complex Social Systems	2014	DBLP DOI BibTeX RDF
41	Michael J. Wooldridge, Nicholas R. Jennings	Agent Theories, Architectures, and Languages: A Survey.	ECAI Workshop on Agent Theories, Architectures, and Languages	1994	DBLP DOI BibTeX RDF
39	Jayadev Misra	The Case against a Grand Unification Theory.	ICSR	2002	DBLP DOI BibTeX RDF
39	Ann Svensson	Instructional-Design Theories Applied on a Web-Based Learning Application.	ITNG	2008	DBLP DOI BibTeX RDF	instructional-design theory, interactive, web-based application, multimedia learning
39	Viorica Sofronie-Stokkermans	Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.	FroCoS	2007	DBLP DOI BibTeX RDF
39	Margaret-Anne D. Storey	Theories, tools and research methods in program comprehension: past, present and future.	Softw. Qual. J.	2006	DBLP DOI BibTeX RDF	Software tools, Cognitive models, Program comprehension, Software visualization, Research methods, Software navigation, Collaborative software engineering
39	Piotr Hoffman	Unions of Equational Monadic Theories.	RTA	2006	DBLP DOI BibTeX RDF
39	Margaret-Anne D. Storey	Theories, Methods and Tools in Program Comprehension: Past, Present and Future.	IWPC	2005	DBLP DOI BibTeX RDF
39	Christophe Ringeissen	Matching in a Class of Combined Non-disjoint Theories.	CADE	2003	DBLP DOI BibTeX RDF
39	Kumar Neeraj Verma	Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties.	RTA	2003	DBLP DOI BibTeX RDF
39	Franz Baader, Cesare Tinelli	Combining Decision Procedures for Positive Theories Sharing Constructors.	RTA	2002	DBLP DOI BibTeX RDF
39	Alwen Tiu, Rajeev Goré	A Proof Theoretic Analysis of Intruder Theories.	RTA	2009	DBLP DOI BibTeX RDF	AC convergent theories, intruder deduction, security protocols, sequent calculus
39	Thomas Eiter, Kazuhisa Makino	Generating All Abductive Explanations for Queries on Propositional Horn Theories.	CSL	2003	DBLP DOI BibTeX RDF	Horn theories, polynomial total time computation, NP-hardness, abduction, propositional logic, Computational logic
39	Markus Voss	Systems theories and architectures for ECBS.	ECBS	1996	DBLP DOI BibTeX RDF	engineering discipline, CBS lifecycles, systems analysis, systems engineering, systems theories, computer-based systems, ECBS
39	Manfred Schmidt-Schauß	Unification in Many-Sorted Eqational Theories.	CADE	1986	DBLP DOI BibTeX RDF	Many-Sorted Logics, Heterogeneous Algebras, Unification, Equational Theories
39	Philippe Chatalic	Viewing Hypothesis Theories as Constrained Graded Theories.	JELIA	1994	DBLP DOI BibTeX RDF	Uncertain and Incomplete knowledge representation and semantics, Partially ordered grades, Hypothesis theories, Modal Logic
37	Giovanni Sommaruga	Introduction.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
37	Robert van Rooij	Comparing Questions and Answers: A Bit of Logic, a Bit of Language, and Some Bits of Information.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
37	Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz	A Computerized Referee.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
34	Jo Erskine Hannay, Dag I. K. Sjøberg, Tore Dybå	A Systematic Review of Theory Use in Software Engineering Experiments.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	experiments, Theory, empirical software engineering, research methodology
34	Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska	Lattice-Based Relation Algebras and Their Representability.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
34	V. Wiktor Marek, Miroslaw Truszczynski	Autoepistemic Logic.	J. ACM	1991	DBLP DOI BibTeX RDF
34	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Logic Programming within a Functional Framework.	PLILP	1990	DBLP DOI BibTeX RDF
34	Pascal Fontaine	Combinations of Theories for Decidable Fragments of First-Order Logic.	FroCoS	2009	DBLP DOI BibTeX RDF
34	David Poole 0001, Clinton Smyth, Rita Sharma	Semantic Science: Ontologies, Data and Probabilistic Theories.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF
34	Khalil Djelloul	An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.	CSCLP	2008	DBLP DOI BibTeX RDF
34	William M. Farmer	Biform Theories in Chiron.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
34	Sergey P. Shlepakov	Functional Equations in Shostak Theories.	CSR	2006	DBLP DOI BibTeX RDF
34	Cesare Tinelli, Calogero G. Zarba	Combining Nonstably Infinite Theories.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	combination of decision procedures, Nelson-Oppen method
34	Piotr Hoffman	Union of Equational Theories: An Algebraic Approach.	RTA	2005	DBLP DOI BibTeX RDF
34	Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz	Almost Definite Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
34	Bret Swan, France Bélanger, Mary Beth Watson-Manheim	Theoretical Foundations for Distributed Work: Multilevel, Incentive Theories to Address Current Dilemmas.	HICSS	2004	DBLP DOI BibTeX RDF
34	Kumar Neeraj Verma	On Closure under Complementation of Equational Tree Automata for Theories Extending AC.	LPAR	2003	DBLP DOI BibTeX RDF
34	Sava Krstic, Sylvain Conchon	Canonization for Disjoint Unions of Theories.	CADE	2003	DBLP DOI BibTeX RDF
34	Iluju Kiringa, Raymond Reiter	A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions.	DBPL	2003	DBLP DOI BibTeX RDF
34	Calogero G. Zarba	A Tableau Calculus for Combining Non-disjoint Theories.	TABLEAUX	2002	DBLP DOI BibTeX RDF
34	Natarajan Shankar, Harald Rueß	Combining Shostak Theories.	RTA	2002	DBLP DOI BibTeX RDF
34	David Cyrluk, Patrick Lincoln, Natarajan Shankar	On Shostak's Decision Procedure for Combinations of Theories.	CADE	1996	DBLP DOI BibTeX RDF
34	Franz Baader, Klaus U. Schulz	Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.	CADE	1992	DBLP DOI BibTeX RDF
34	Donald Sannella, Rod M. Burstall	Structured Theories in LCF.	CAAP	1983	DBLP DOI BibTeX RDF
34	Robert E. Shostak	Deciding Combinations of Theories.	CADE	1982	DBLP DOI BibTeX RDF
34	Indira R. Guzman, Michelle L. Kaarst-Brown	Organizational survival and alignment: insights into conflicting perspectives on the role of the IT professional.	CPR	2004	DBLP DOI BibTeX RDF	role of IT professionals, IT professional, strategic alignment, organizational theories
34	Peter Aczel	On Relating Type Theories and Set Theories.	TYPES	1998	DBLP DOI BibTeX RDF
34	Francesco Gagliardi 0001	The Necessity of Machine Learning and Epistemology in the Development of Categorization Theories: A Case Study in Prototype-Exemplar Debate.	AI*IA	2009	DBLP DOI BibTeX RDF	Categorization Theories, Bias-Variance Dilemma, Machine Learning, Instance-Based Learning, Epistemology, Cognitive Psychology
34	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
34	Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T).	J. ACM	2006	DBLP DOI BibTeX RDF	SAT solvers, Satisfiability Modulo Theories
34	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
34	Angelina Totolo	An exploration of the theories that explain the failure of information technology adoption in africa.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	theories, Africa, information technology adoption
34	Agostino Dovier, Carla Piazza, Enrico Pontelli	Disunification in ACI1 Theories.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	disunification, ACI, complexity, sets, equational theories, CLP
34	Pierre-Etienne Moreau, Hélène Kirchner	A Compiler for Rewrite Programs in Associative-Commutative Theories.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	AC theories, AC many-to-one matching, compilation, rewrite systems
34	Hans-Jürgen Bürckert	Solving Disequations in Equational Theories.	CADE	1988	DBLP DOI BibTeX RDF	E-unification, E-disunification, solving equations and disequations, Equational theories
32	Jonathan P. Bowen, Qin Li 0002, Qiwen Xu (eds.)	Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen	Assume-Guarantee Reasoning for Additive Hybrid Behaviour.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Dines Bjørner	Domain Modelling: A Foundation for Software Development.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Bernd Finkbeiner, Ernst-Rüdiger Olderog	Concurrent Hyperproperties.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Jonathan P. Bowen, Huibiao Zhu	Jifeng He at Oxford and Beyond: An Appreciation.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Mike Hinchey, Emil Vassev	KnowLang - A Formal Specification Model for Self-adaptive Systems.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Andrew Butterfield, Frédéric Tuong	Applying Formal Verification to an Open-Source Real-Time Operating System.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Ting Su 0001, Chengyu Zhang 0001, Yichen Yan, Lingling Fan 0003, Yang Liu 0003, Zhoulai Fu, Zhendong Su 0001	Towards Efficient Data-Flow Test Data Generation.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Jim Woodcock 0001, Ana Cavalcanti 0001, Simon Foster 0001, Marcel Oliveira, Augusto Sampaio, Frank Zeyda	UTP, Circus, and Isabelle.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Frédéric Mallet	Time: It is only Logical!	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke	Specifying and Reasoning About Shared-Variable Concurrency.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Zhiming Liu 0001	Linking Formal Methods in Software Development - A Reflection on the Development of rCOS.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	A. W. Roscoe 0001, Pedro Antonino, Jonathan Lawrence	The Consensus Machine: Formalising Consensus in the Presence of Malign Agents.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Yifeng Chen, Jeff W. Sanders	Consciousness by Degree.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Xu Jiang 0004, Jinghao Sun, Wang Yi 0001	Characterizations of Parallel Real-Time Workloads.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
32	Stephen D. Brookes, A. W. Roscoe 0001	CSP: A Practical Process Algebra.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Ian J. Hayes, Steve King 0001	Software Specification.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	C. A. R. Hoare	Communicating Sequential Processes.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Cliff B. Jones, Jayadev Misra	Finding Effective Abstractions.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32		Authors' Biographies/Index.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32		Doctoral Students.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Tony Hoare	Envoi.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Cliff B. Jones	List of Tony Hoare's Publications.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar	The Verified Software Initiative: A Manifesto.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Tony Hoare	The 1980 ACM Turing Award Lecture.	Theories of Programming	2021	DBLP DOI BibTeX RDF
32	Krzysztof R. Apt, Ernst-Rüdiger Olderog	Assessing the Success and Impact of Hoare's Logic.	Theories of Programming	2021	DBLP DOI BibTeX RDF