|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12635 occurrences of 4968 keywords
|
|
|
Results
Found 28326 publication records. Showing 28300 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
34 | Geoffrey I. Webb, Songmao Zhang |
K-Optimal Rule Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 10(1), pp. 39-79, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
exploratory rule discovery, rule search, association rules, classification rules, search space pruning |
34 | Günter Kniesel, Jorge Sousa Pinto (eds.) |
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
34 | Ian Mackie, Anamaria Martins Moreira (eds.) |
Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Rodrigo Machado, Reiko Heckel, Leila Ribeiro 0001 |
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 39-50, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Abubakar Hassan, Eugen Jiresch, Shinya Sato |
An Implementation of Nested Pattern Matching in Interaction Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 13-25, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares |
A Type System for Tom ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 51-63, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Daniel J. Dougherty |
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 77-89, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Benoît Boyer, Thomas Genet |
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 99-108, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Maribel Fernández, Olivier Namet |
Graph Creation, Visualisation and Transformation ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 1-11, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi |
Object-oriented Programming Laws for Annotated Java Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 65-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Detlef Plump, Sandra Steinert |
The Semantics of Graph Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 27-38, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | João Marcos 0001 |
Automatic Generation of Proof Tactics for Finite-Valued Logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., pp. 91-98, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Joost Visser 0001, Victor Winter 0001 (eds.) |
Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
34 | Haydemar Núñez, Cecilio Angulo, Andreu Català |
Rule Extraction Based on Support and Prototype Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Extraction from Support Vector Machines ![In: Rule Extraction from Support Vector Machines, pp. 109-134, 2008, Springer, 978-3-540-75389-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Rakesh M. Verma |
New Undecidability Results for Properties of Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 69-85, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Kyungmin Bae, José Meseguer 0001 |
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 19-36, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Tiago L. Alves, Paulo F. Silva 0001, Joost Visser 0001 |
Constraint-aware Schema Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 3-18, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Mark Hills 0001, Feng Chen 0006, Grigore Rosu |
A Rewriting Logic Approach to Static Checking of Units of Measurement in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 51-67, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Joe Hendrix, José Meseguer 0001 |
Order-sorted Equational Unification Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 37-50, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Günter Kniesel, Jorge Sousa Pinto |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Maribel Fernández, Ralf Lämmel (eds.) |
Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
34 | Malte Appeltauer, Günter Kniesel |
Towards Concrete Syntax Patterns for Logic-based Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 113-132, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça |
A Tool for Programming with Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 83-96, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Joost Visser 0001, Victor L. Winter |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles |
Rewriting Strategies in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 97-111, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Ozan Kahramanogullari |
Maude as a Platform for Designing and Implementing Deep Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 35-50, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Oana Andrei, Hélène Kirchner |
A Rewriting Calculus for Multigraphs with Ports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 67-82, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Gurvan Le Guernic, Julien Perret |
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 3-18, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Juan Antonio Guerrero, Ginés Moreno |
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007, pp. 19-34, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Horatiu Cirstea, Narciso Martí-Oliet (eds.) |
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
34 | Fernando Rosa-Velardo |
Coding Mobile Synchronizing Petri Nets into Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 83-98, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Alcino Cunha, Joost Visser 0001 |
Strongly Typed Rewriting For Coupled Software Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 17-34, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | José Miguel Cleva, Francisco Javier López-Fraguas |
Semantic Determinism and Functional Logic Program Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 3-15, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Maribel Fernández, Ralf Lämmel |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Emanuel Kitzelmann, Ute Schmid |
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 49-63, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Victor L. Winter |
Model-driven Transformation-based Generation of Java Stress Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 99-114, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Peter Csaba Ölveczky, José Meseguer 0001 |
Recent Advances in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@FLoC ![In: Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 65-81, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Slim Abdennadher, Christophe Ringeissen (eds.) |
Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Elisa F. Kendall, Sam Chance |
Sandpiper Software Rule Languages for Interoperability Workshop Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Edward Barkmeyer, Evan K. Wallace, Ravi Raman |
NIST "Position Paper" for the W3C Workshop on Rule Languages for Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Christian Nentwich |
CLiX - A Validation Rule Language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Deborah L. McGuinness |
Semantic Web Rule Languages and Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | David H. Jones, Michael Uschold |
Role of Rules and Rule Interchange in Semantic Integration & Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Jeff Z. Pan |
Requirements for a Semantic Web Rule Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Suzette Stoutenburg, Leo Obrst, Deborah Nichols, Jason Peterson, Adrian Johnson |
Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Mala Mehrotra |
Incorporating Cluster-Based Relationships in Web Rule Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Daniel Selman, Johan Majoor |
The Java Community and Rule Engine Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Bob McWhirter |
Rule Languages For Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Dave Reynolds, Jeremy J. Carroll |
Rule languages for interoperability: HP Position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Jeffrey Ritter |
The Use of Rule Languages for Policy and Legal Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Terry A. Halpin |
FORML Position paper for W3C Workshop on Rule Languages for Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Kurt Godden |
Position Paper on Rule Languages for Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Phil Archer |
Rule Languages for Interoperability - ICRA Position Paper for W3C Workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Said Tabet, Gerd Wagner 0001, Silvie Spreeuwenberg, Paul D. Vincent, Gonzaques Jacques, Christian de Sainte Marie, Jon Pellant, Jim Frank, Jacques Durand |
OMG Production Rule Representation - Context and Current Status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Henry Meeter, Henry Kurz |
Rule requirements for product ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Mark H. Linehan, Donald F. Ferguson |
Business Rule Standards -- Interoperability and Portability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Holger Lausen, Jos de Bruijn, Axel Polleres, Dieter Fensel |
The WSML Rule Languages for the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Thomas Roessler, Giles Hogben, Marco Casassa Mont, Siani Pearson |
Position paper: Rule Language Requirement for Privacy-Enabled Identity Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Stan Devitt, Jos De Roo, Helen Chen |
Desirable Features of Rule Based Systems for Medical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Loic Tregan |
Can we exchange rules without exchanging rule engines? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Donald Chapin |
Business Requirements & Use Cases and Rule Language Framework Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Ravi Sundaar, Minerva Hobbs |
Position Paper on Rule Languages for Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Colleen McClintock, Christian de Sainte Marie |
ILOG's position on Rule Languages for Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Stefan Decker, Michael Sintek, Andreas Billig, Nicola Henze, Peter Dolog, Wolfgang Nejdl, Andreas Harth, Andreas Leicher, Susanne Busse, José Luis Ambite, Matthew Weathers, Gustaf Neumann, Uwe Zdun |
TRIPLE - an RDF Rule Language with Context and Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Michael Kifer |
Requirements for an Expressive Rule Language on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Daniel R. Rehak |
Rule Use and Interoperability in Federated Learning Content Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Chris Swan, Hugh Grant |
Position Paper for W3C Workshop on Rule Languages for Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Srinivas Krovvidy, Prabhakar Bhogaraju |
Interoperability and Rule Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Peter F. Patel-Schneider |
Requirements and Non-Requirements for a Semantic Web Rule Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Ryusuke Masuoka, Zhexuan Song, Sung Lee, Yannis Labrou |
Position Paper for W3C Workshop on Rule Languages for Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rule Languages for Interoperability ![In: W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USA, 2005, W3C. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
34 | Horatiu Cirstea, Narciso Martí-Oliet |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 1-3, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth |
Automatic Implication Checking for CHR Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 93-111, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo |
Typed Mobile Ambients in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 135-161, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Karl Trygve Kalleberg, Eelco Visser |
Combining Aspect-Oriented and Strategic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 5-30, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Olivier Bournez, Liliana Ibanescu, Hélène Kirchner |
From Chemical Rules to Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 113-134, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Takahiro Seino, Kazuhiro Ogata 0001, Kokichi Futatsugi |
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 57-72, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Koji Hasebe, Mitsuhiro Okada |
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 73-92, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Slim Abdennadher, Christophe Ringeissen |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Victor L. Winter |
Strategy Construction in the Higher-Order Framework of TL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 149-170, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac |
Principles of Chemical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 133-147, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas |
On-demand Evaluation for Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 25-39, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Hitoshi Ohsaki, Toshinori Takai |
ACTAS : A System Design for Associative and Commutative Tree Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 97-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | María Alpuente, Demis Ballis, Moreno Falaschi |
A Rewriting-based Framework for Web Sites Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 41-61, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo |
Playing with Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004, pp. 3-23, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Jean-Louis Giavitto, Pierre-Etienne Moreau (eds.) |
4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
34 | Jean-Louis Giavitto, Pierre-Etienne Moreau |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 153-154, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Radoslaw Karwowski, Przemyslaw Prusinkiewicz |
Design and Implementation of the L+C Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 134-152, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
On-demand Evaluation by Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 92-118, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
OnDemandOBJ: A Laboratory for Strategy Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 1-27, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Sebastian Brand, Éric Monfroy |
Deductive Generation of Constraint Propagation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 45-60, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Otto Skrove Bagge, Magne Haveraaen |
Domain-Specific Optimisation with User-Defined Rules in CodeBoost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 119-133, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Translating Combinatory Reduction Systems into the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: 4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003, pp. 28-44, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Alan S. Abrahams, David M. Eyers, Jean Bacon |
An asynchronous rule-based approach for business process automation using obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 93-103, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
policies, contracts, conflict resolution, conflict detection |
34 | Mark van den Brand, Rakesh M. Verma (eds.) |
Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
34 | Eelco Visser |
Scoped Dynamic Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 375-396, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Jean-Yves Moyen |
System Presentation: An Analyser of Rewriting Systems Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 412-424, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Quang Huy Nguyen 0002 |
Certifying Term Rewriting Proofs in ELAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 320-340, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Berthold Hoffmann, Mark Minas |
Transformation of Shaped Nested Graphs and Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 305-319, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Mark van den Brand, Rakesh M. Verma |
RULE2001 - Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 425-426, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Olivier Danvy, Lasse R. Nielsen |
Syntactic Theories in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 358-374, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 28300 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|