Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Katerina Kabassi, Maria Virvou	A Knowledge-Based Software Life-Cycle Framework for the Incorporation of Multicriteria Analysis in Intelligent User Interfaces.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	knowledge engineering methodologies, user interfaces, Decision support, software engineering process
30	Greta Yorsh, Madanlal Musuvathi	A Combination Method for Generating Interpolants.	CADE	2005	DBLP DOI BibTeX RDF
30	Michael Bain 0001	Inductive Construction of Ontologies from Formal Concept Analysis.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
30	Gerard Ligozat	When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings.	COSIT	2001	DBLP DOI BibTeX RDF	weak representation, complete theory, relation algebra, temporal reasoning, spatial reasoning
30	David A. Basin, Manuel Clavel, José Meseguer 0001	Rewriting Logic as a Metalogical Framework.	FSTTCS	2000	DBLP DOI BibTeX RDF
29	Ji Ma 0001, Mehmet A. Orgun, Abdul Sattar 0001	Theories of Trust for Communication Protocols.	ATC	2009	DBLP DOI BibTeX RDF
29	Laurent Doyen 0001, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov	Interface theories with component reuse.	EMSOFT	2008	DBLP DOI BibTeX RDF	interfaces, composition, refinement
29	Brent Furneaux, Dorit Nevo	Beyond Cognitions: A Call for Greater Consideration of Emotion in Information Systems Decision Theories.	HICSS	2008	DBLP DOI BibTeX RDF
29	Yeting Ge, Clark W. Barrett, Cesare Tinelli	Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.	CADE	2007	DBLP DOI BibTeX RDF
29	Maria R. Cravo, Énio M. Pereira	A Tool for Experimenting with Theories of Emotion in MultiAgent Systems.	ACII	2007	DBLP DOI BibTeX RDF
29	Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Splitting on Demand in SAT Modulo Theories.	LPAR	2006	DBLP DOI BibTeX RDF
29	Yannick Chevalier, Michaël Rusinowitch	Hierarchical Combination of Intruder Theories.	RTA	2006	DBLP DOI BibTeX RDF
29	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
29	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	SMT-COMP: Satisfiability Modulo Theories Competition.	CAV	2005	DBLP DOI BibTeX RDF
29	Thierry Boy de la Tour, Mnacho Echenim	Unification in a Class of Permutative Theories.	RTA	2005	DBLP DOI BibTeX RDF
29	Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe	Theories of Intentions in the Framework of Situation Calculus.	DALT	2004	DBLP DOI BibTeX RDF
29	Alison Chorley, Trevor J. M. Bench-Capon	Support for Constructing Theories in Case Law Domains.	DEXA	2004	DBLP DOI BibTeX RDF
29	March L. To	Determinants affecting organizations' intent to adopt e-tailing: a study based on innovation theories.	ITiCSE	2004	DBLP DOI BibTeX RDF	e-commerce, innovation, adoption, online retailing, e-tailing
29	Hudson Turner	Strong Equivalence for Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
29	Gerard Allwein	A qualitative framework for Shannon information theories.	NSPW	2004	DBLP DOI BibTeX RDF	barwise-seligman information theory, shannon information theory
29	João C. P. da Silva, Sheila R. M. Veloso	Representing Belief Revision through Default Theories.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
29	Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino	On the Difference of Horn Theories.	STACS	1999	DBLP DOI BibTeX RDF
29	Herman Midelfart	A Bounded Search Space of Clausal Theories.	ILP	1999	DBLP DOI BibTeX RDF
29	Markus Marzetta, Thomas Strahm	The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
29	Pavel Vanousek	Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.	SOFSEM	1998	DBLP DOI BibTeX RDF
29	Christoph Weidenbach	Unification in Pseudo-Linear Sort Theories is Decidable.	CADE	1996	DBLP DOI BibTeX RDF
29	Leo Bachmair, Harald Ganzinger, Uwe Waldmann	Theorem Proving for Hierarchic First-Order Theories.	ALP	1992	DBLP DOI BibTeX RDF
29	Alexandre Boudet, Evelyne Contejean	On n-Syntactic Equational Theories.	ALP	1992	DBLP DOI BibTeX RDF
29	William M. Farmer, Joshua D. Guttman, F. Javier Thayer	Little Theories.	CADE	1992	DBLP DOI BibTeX RDF
29	Francis Klay	Undecidable Properties of Syntactic Theories.	RTA	1991	DBLP DOI BibTeX RDF
29	Antonio Brogi, Evelina Lamma, Paola Mello	Open Logic Theories.	ELP	1991	DBLP DOI BibTeX RDF
29	Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß	On Equational Theories, Unification and Decidability.	RTA	1987	DBLP DOI BibTeX RDF
29	James R. Slagle	Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.	J. ACM	1974	DBLP DOI BibTeX RDF
29	Hiroyuki Miki, Naotsune Hosono, Sakae Yamamoto	Transcending Human-Centered Design by Service Sciences.	HCI (8)	2009	DBLP DOI BibTeX RDF	Innovation Theories, Optimal Design Loop, Field Studies (Ethnography), Persona, Human-Centered Design, Service Sciences
29	David Briggs, Suad Alagic	Algebraic specification techniques for parametric types with logic-based constraints.	SAC	2009	DBLP DOI BibTeX RDF	parametric types, verification theories, assertions, PVS, JML
29	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
29	David Saff	Theory-infected: or how i learned to stop worrying and love universal quantification.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	testing, theories, JUnit, partial specification
29	Sara Silva, Ernesto Costa	Dynamic limits for bloat control in genetic programming and a review of past and current bloat theories.	Genet. Program. Evolvable Mach.	2009	DBLP DOI BibTeX RDF	Dynamic limits, Bloat theories, Genetic programming, Review, Bloat
29	Helene Gelderblom, Paula Kotzé	Designing technology for young children: what we can learn from theories of cognitive development.	SAICSIT	2008	DBLP DOI BibTeX RDF	children's technology/software, cognitive skill development, psychological theories, design guidelines, cognitive development
29	David Saff	From developer's head to developer tests: characterization, theories, and preventing one more bug.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	theories, characterization, testing tools
29	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
29	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005).	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	competition, decision procedures, satisfiability modulo theories
29	Martin Jakob	Bivariant Theories for Smooth Manifolds.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	geometric bordism, generalized cohomology theories, functors on smooth manifolds and on spaces of smooth maps
29	José Oscar Olmedo-Aguirre, Guillermo Morales-Luna	Indeed : Interactive Deduction on Horn Clause Theories.	IBERAMIA	2002	DBLP DOI BibTeX RDF	Horn clause theories, interaction, Logic programming, automated theorem proving
29	Uwe Petermann	An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras.	MFCS	1989	DBLP DOI BibTeX RDF	Herbrand Disjunctions, Built in Theories, Theorem Proving, Partial Algebras, Connection Method
29	Paul-André Melliès	Segal Condition Meets Computational Effects.	LICS	2010	DBLP DOI BibTeX RDF	finitary monads, Lawvere theories, state monad, higher dimensional algebra, nerve functor, Segal condition, monads with arities, Computational effects, algebraic theories
29	Maria Paola Bonacina	On theorem proving for program checking: historical perspective and recent developments.	PPDP	2010	DBLP DOI BibTeX RDF	combination of theories, rewrite-based theorem proving, speculative inferences, satisfiability modulo theories
29	Michael Fisher 0001, Chiara Ghidini	The abc of rational agent modelling.	AAMAS	2002	DBLP DOI BibTeX RDF	goal selection & theories, logic motivation, theories of agency
29	Thomas Lefèvre	Formes et fonctions, en théories et en pratiques. : L'intérêt d'une approche morphodynamique fondée sur l'information et la géométrie. (On forms and functions, theories and pratices / On forms and functions, theories and pratices : The interest of an information and geometry based morphodynamics theory).		2014	RDF
29	S. E. Rodabaugh	Relationship of Algebraic Theories to Powerset Theories and Fuzzy Topological Theories for Lattice-Valued Mathematics.	Int. J. Math. Math. Sci.	2007	DBLP DOI BibTeX RDF
25	Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova	An axiomatic approach to algebrization.	STOC	2009	DBLP DOI BibTeX RDF	algebrization, independence, relativization
25	Ralf Küsters, Tomasz Truderung	Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach.	CCS	2008	DBLP DOI BibTeX RDF	security protocols, algebraic properties
25	Stephen Robertson	The study of information retrieval: a long view.	IIiX	2008	DBLP DOI BibTeX RDF
25	Jerry R. Hobbs	Deep Lexical Semantics.	TSD	2008	DBLP DOI BibTeX RDF
25	Otávio A. S. Bueno, Newton C. A. da Costa	Quasi-truth, paraconsistency, and the foundations of science.	Synth.	2007	DBLP DOI BibTeX RDF	Scientific change, Coherence, Inconsistency, Paraconsistent logic, Rationality
25	Silvio Ranise, Christelle Scharff	Building Extended Canonizers by Graph-Based Deduction.	ICTAC	2007	DBLP DOI BibTeX RDF
25	Radim Belohlávek, Vilém Vychodil	Fuzzy Horn logic II.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Degree of provability, Fuzzy logic, Implication, Equational Logic, Horn logic
25	João Carlos Gluz, Rosa Maria Vicari, Cecilia Dias Flores, Louise J. Seixas	Formal Analysis of the Communication of Probabilistic Knowledge.	IFIP AI	2006	DBLP DOI BibTeX RDF
25	João Carlos Gluz, Rosa Maria Viccari, Cecilia Dias Flores, Louise J. Seixas	Formal Analysis of a Probabilistic Knowledge Communication Framework.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF	Probabilistic Knowledge Communication, Artificial Intelligence, Multiagent Systems, Agent Communication Languages, Probabilistic Logic
25	Chiaki Sakama, Katsumi Inoue	Inductive Equivalence of Logic Programs.	ILP	2005	DBLP DOI BibTeX RDF
25	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.	ICTAC	2004	DBLP DOI BibTeX RDF
25	Franz Baader, Silvio Ghilardi, Cesare Tinelli	A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics.	IJCAR	2004	DBLP DOI BibTeX RDF
25	Karin Schweizer	Priming in Spatial Memory: A Flow Model Approach.	Spatial Cognition	2003	DBLP DOI BibTeX RDF
25	Moshe Deutsch, Martin C. Henson, Steve Reeves	Results on Formal Stepwise Design in Z.	APSEC	2002	DBLP DOI BibTeX RDF
25	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs
25	Juan Bicarregui, Kevin Lano, T. S. E. Maibaum	Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.	ECOOP	1997	DBLP DOI BibTeX RDF
25	Franz Baader, Cesare Tinelli	A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method.	CADE	1997	DBLP DOI BibTeX RDF
25	Franz Baader, Klaus U. Schulz	Combination of Constraint Solving Techniques: An Algebraic POint of View.	RTA	1995	DBLP DOI BibTeX RDF
25	Christophe Ringeissen	Combination of Matching Algorithms.	STACS	1994	DBLP DOI BibTeX RDF
25	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	RTA	1993	DBLP DOI BibTeX RDF
24	Babak Mohammadizadeh Khoshroo, Hassan Rashidi	Towards a Framework for Agile Management Based on Chaos and Complex System Theories.	ECBS	2009	DBLP DOI BibTeX RDF
24	Raquel Mochales Palau, Aagje Ieven	Creating an argumentation corpus: do theories apply to real arguments?: a case study on the legal argumentation of the ECHR.	ICAIL	2009	DBLP DOI BibTeX RDF
24	Amit Goel, Sava Krstic, Cesare Tinelli	Ground Interpolation for Combined Theories.	CADE	2009	DBLP DOI BibTeX RDF
24	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Satisfiability Modulo Theories: An Appetizer.	SBMF	2009	DBLP DOI BibTeX RDF
24	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.	TACAS	2009	DBLP DOI BibTeX RDF
24	Albert Visser	Pairs, sets and sequences in first-order theories.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B30, 03F25, 03F40
24	Tino Teige, Martin Fränzle	Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.	CPAIOR	2008	DBLP DOI BibTeX RDF
24	Tommi A. Junttila, Jori Dubrovin	Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
24	Joseph M. Whitmeyer, Moutaz Khouja, Ted Carmichael, Amar Saric, Christopher N. Eichelberger, Min Sun, Mirsad Hadzikadic	A Computer Simulation Laboratory for Social Theories.	IAT	2008	DBLP DOI BibTeX RDF
24	Jacques Carette, William M. Farmer	High-Level Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
24	Alan Bundy	Automating Signature Evolution in Logical Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
24	Enric Trillas, Claudi Alsina, Ana Pradera	On a Class of Fuzzy Set Theories.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
24	Jirí Adámek, Stefan Milius, Jirí Velebil	What Are Iteration Theories?	MFCS	2007	DBLP DOI BibTeX RDF
24	Aline Paes, Gerson Zaverucha, Vítor Santos Costa	Revising First-Order Logic Theories from Examples Through Stochastic Local Search.	ILP	2007	DBLP DOI BibTeX RDF
24	Klaus Aehlig, Stephen A. Cook, Phuong Nguyen	Relativizing Small Complexity Classes and Their Theories.	CSL	2007	DBLP DOI BibTeX RDF
24	Hossein M. Sheini, Karem A. Sakallah	From Propositional Satisfiability to Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
24	Robert Nieuwenhuis, Albert Oliveras	On SAT Modulo Theories and Optimization Problems.	SAT	2006	DBLP DOI BibTeX RDF
24	Khalil Djelloul, Thi-Bich-Hanh Dao	Extension of First-Order Theories into Trees.	AISC	2006	DBLP DOI BibTeX RDF
24	Simon Colton, Pedro Torres 0001, Paul A. Cairns, Volker Sorge	Managing Automatically Formed Mathematical Theories.	MKM	2006	DBLP DOI BibTeX RDF
24	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani	Efficient Satisfiability Modulo Theories via Delayed Theory Combination.	CAV	2005	DBLP DOI BibTeX RDF
24	José Meseguer 0001	Functorial Semantics of Rewrite Theories.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
24	Igor Aleksander, Helen Morton	Enacted Theories of Visual Awareness: A Neuromodelling Analysis.	BVAI	2005	DBLP DOI BibTeX RDF
24	Franz Baader, Silvio Ghilardi	Connecting Many-Sorted Structures and Theories Through Adjoint Functions.	FroCoS	2005	DBLP DOI BibTeX RDF
24	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.	FroCoS	2005	DBLP DOI BibTeX RDF
24	Robin Milner	Theories for the Global Ubiquitous Computer.	FoSSaCS	2004	DBLP DOI BibTeX RDF
24	Norman Y. Foo, Pavlos Peppas	System Properties of Action Theories.	AIS	2004	DBLP DOI BibTeX RDF
24	Dietrich Kuske, Markus Lohrey	Decidable Theories of Cayley-Graphs.	STACS	2003	DBLP DOI BibTeX RDF
24	Alvaro del Val	Simplifying Binary Propositional Theories into Connected Components Twice as Fast.	LPAR	2001	DBLP DOI BibTeX RDF
24	Christopher Lynch, Barbara Morawska 0001	Decidability and Complexity of Finitely Closable Linear Equational Theories.	IJCAR	2001	DBLP DOI BibTeX RDF
24	D. Pumplün, Helmut Röhrl	Convexity Theories V: Extensions of Absolutely and Totally Convex Modules.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	absolutely, totally convex module, coextension, (co-) product, direct sum, extension