|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5620 occurrences of 3172 keywords
|
|
|
Results
Found 14507 publication records. Showing 14507 according to the selection in the facets
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 |
Displaying result #201 - #300 of 14507 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|