Search results for "rule"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Geoffrey I. Webb, Songmao Zhang	K-Optimal Rule Discovery.	Data Min. Knowl. Discov.	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	RULE	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.	RULE	2009	DBLP DOI BibTeX RDF
34	Rodrigo Machado, Reiko Heckel, Leila Ribeiro 0001	Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars	RULE	2009	DBLP DOI BibTeX RDF
34	Abubakar Hassan, Eugen Jiresch, Shinya Sato	An Implementation of Nested Pattern Matching in Interaction Nets	RULE	2009	DBLP DOI BibTeX RDF
34	Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares	A Type System for Tom	RULE	2009	DBLP DOI BibTeX RDF
34	Daniel J. Dougherty	An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications	RULE	2009	DBLP DOI BibTeX RDF
34	Benoît Boyer, Thomas Genet	Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems	RULE	2009	DBLP DOI BibTeX RDF
34	Maribel Fernández, Olivier Namet	Graph Creation, Visualisation and Transformation	RULE	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	RULE	2009	DBLP DOI BibTeX RDF
34	Detlef Plump, Sandra Steinert	The Semantics of Graph Programs	RULE	2009	DBLP DOI BibTeX RDF
34	João Marcos 0001	Automatic Generation of Proof Tactics for Finite-Valued Logics	RULE	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	RULE@RDP	2008	DBLP BibTeX RDF
34	Haydemar Núñez, Cecilio Angulo, Andreu Català	Rule Extraction Based on Support and Prototype Vectors.	Rule Extraction from Support Vector Machines	2008	DBLP DOI BibTeX RDF
34	Rakesh M. Verma	New Undecidability Results for Properties of Term Rewrite Systems.	RULE	2008	DBLP DOI BibTeX RDF
34	Kyungmin Bae, José Meseguer 0001	A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.	RULE	2008	DBLP DOI BibTeX RDF
34	Tiago L. Alves, Paulo F. Silva 0001, Joost Visser 0001	Constraint-aware Schema Transformation.	RULE	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.	RULE	2008	DBLP DOI BibTeX RDF
34	Joe Hendrix, José Meseguer 0001	Order-sorted Equational Unification Revisited.	RULE	2008	DBLP DOI BibTeX RDF
34	Günter Kniesel, Jorge Sousa Pinto	Preface.	RULE	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	RULE@FLoC	2007	DBLP BibTeX RDF
34	Malte Appeltauer, Günter Kniesel	Towards Concrete Syntax Patterns for Logic-based Transformation Rules.	RULE@RDP	2007	DBLP DOI BibTeX RDF
34	José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça	A Tool for Programming with Interaction Nets.	RULE@RDP	2007	DBLP DOI BibTeX RDF
34	Joost Visser 0001, Victor L. Winter	Preface.	RULE@RDP	2007	DBLP DOI BibTeX RDF
34	Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles	Rewriting Strategies in Java.	RULE@RDP	2007	DBLP DOI BibTeX RDF
34	Ozan Kahramanogullari	Maude as a Platform for Designing and Implementing Deep Inference Systems.	RULE@RDP	2007	DBLP DOI BibTeX RDF
34	Oana Andrei, Hélène Kirchner	A Rewriting Calculus for Multigraphs with Ports.	RULE@RDP	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.	RULE@RDP	2007	DBLP DOI BibTeX RDF
34	Juan Antonio Guerrero, Ginés Moreno	Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding.	RULE@RDP	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	RULE@RDP	2006	DBLP BibTeX RDF
34	Fernando Rosa-Velardo	Coding Mobile Synchronizing Petri Nets into Rewriting Logic.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
34	Alcino Cunha, Joost Visser 0001	Strongly Typed Rewriting For Coupled Software Transformation.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
34	José Miguel Cleva, Francisco Javier López-Fraguas	Semantic Determinism and Functional Logic Program Properties.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
34	Maribel Fernández, Ralf Lämmel	Preface.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
34	Emanuel Kitzelmann, Ute Schmid	Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
34	Victor L. Winter	Model-driven Transformation-based Generation of Java Stress Tests.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
34	Peter Csaba Ölveczky, José Meseguer 0001	Recent Advances in Real-Time Maude.	RULE@FLoC	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	RULE	2005	DBLP BibTeX RDF
34	Elisa F. Kendall, Sam Chance	Sandpiper Software Rule Languages for Interoperability Workshop Position Paper.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Edward Barkmeyer, Evan K. Wallace, Ravi Raman	NIST "Position Paper" for the W3C Workshop on Rule Languages for Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Christian Nentwich	CLiX - A Validation Rule Language for XML.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Deborah L. McGuinness	Semantic Web Rule Languages and Explanation.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	David H. Jones, Michael Uschold	Role of Rules and Rule Interchange in Semantic Integration & Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Jeff Z. Pan	Requirements for a Semantic Web Rule Language.	Rule Languages for Interoperability	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.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Mala Mehrotra	Incorporating Cluster-Based Relationships in Web Rule Language.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Daniel Selman, Johan Majoor	The Java Community and Rule Engine Standards.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Bob McWhirter	Rule Languages For Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Dave Reynolds, Jeremy J. Carroll	Rule languages for interoperability: HP Position paper.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Jeffrey Ritter	The Use of Rule Languages for Policy and Legal Compliance.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Terry A. Halpin	FORML Position paper for W3C Workshop on Rule Languages for Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Kurt Godden	Position Paper on Rule Languages for Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Phil Archer	Rule Languages for Interoperability - ICRA Position Paper for W3C Workshop.	Rule Languages for Interoperability	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.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Henry Meeter, Henry Kurz	Rule requirements for product ontologies.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Mark H. Linehan, Donald F. Ferguson	Business Rule Standards -- Interoperability and Portability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Holger Lausen, Jos de Bruijn, Axel Polleres, Dieter Fensel	The WSML Rule Languages for the Semantic Web.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Thomas Roessler, Giles Hogben, Marco Casassa Mont, Siani Pearson	Position paper: Rule Language Requirement for Privacy-Enabled Identity Management.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Stan Devitt, Jos De Roo, Helen Chen	Desirable Features of Rule Based Systems for Medical Knowledge.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Loic Tregan	Can we exchange rules without exchanging rule engines?	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Donald Chapin	Business Requirements & Use Cases and Rule Language Framework Architecture.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Ravi Sundaar, Minerva Hobbs	Position Paper on Rule Languages for Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Colleen McClintock, Christian de Sainte Marie	ILOG's position on Rule Languages for Interoperability.	Rule Languages for Interoperability	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.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Michael Kifer	Requirements for an Expressive Rule Language on the Semantic Web.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Daniel R. Rehak	Rule Use and Interoperability in Federated Learning Content Repositories.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Chris Swan, Hugh Grant	Position Paper for W3C Workshop on Rule Languages for Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Srinivas Krovvidy, Prabhakar Bhogaraju	Interoperability and Rule Languages.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Peter F. Patel-Schneider	Requirements and Non-Requirements for a Semantic Web Rule Language.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Ryusuke Masuoka, Zhexuan Song, Sung Lee, Yannis Labrou	Position Paper for W3C Workshop on Rule Languages for Interoperability.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
34	Horatiu Cirstea, Narciso Martí-Oliet	Preface.	RULE@RDP	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.	RULE@RDP	2005	DBLP DOI BibTeX RDF
34	Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo	Typed Mobile Ambients in Maude.	RULE@RDP	2005	DBLP DOI BibTeX RDF
34	Karl Trygve Kalleberg, Eelco Visser	Combining Aspect-Oriented and Strategic Programming.	RULE@RDP	2005	DBLP DOI BibTeX RDF
34	Olivier Bournez, Liliana Ibanescu, Hélène Kirchner	From Chemical Rules to Term Rewriting.	RULE@RDP	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.	RULE@RDP	2005	DBLP DOI BibTeX RDF
34	Koji Hasebe, Mitsuhiro Okada	Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract).	RULE@RDP	2005	DBLP DOI BibTeX RDF
34	Slim Abdennadher, Christophe Ringeissen	Preface.	RULE@RDP	2004	DBLP DOI BibTeX RDF
34	Victor L. Winter	Strategy Construction in the Higher-Order Framework of TL.	RULE@RDP	2004	DBLP DOI BibTeX RDF
34	Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac	Principles of Chemical Programming.	RULE@RDP	2004	DBLP DOI BibTeX RDF
34	Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas	On-demand Evaluation for Maude.	RULE@RDP	2004	DBLP DOI BibTeX RDF
34	Hitoshi Ohsaki, Toshinori Takai	ACTAS : A System Design for Associative and Commutative Tree Automata Theory.	RULE@RDP	2004	DBLP DOI BibTeX RDF
34	María Alpuente, Demis Ballis, Moreno Falaschi	A Rewriting-based Framework for Web Sites Verification.	RULE@RDP	2004	DBLP DOI BibTeX RDF
34	Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo	Playing with Maude.	RULE@RDP	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	RULE	2003	DBLP BibTeX RDF
34	Jean-Louis Giavitto, Pierre-Etienne Moreau	Preface.	RULE@RDP	2003	DBLP DOI BibTeX RDF
34	Radoslaw Karwowski, Przemyslaw Prusinkiewicz	Design and Implementation of the L+C Modeling Language.	RULE@RDP	2003	DBLP DOI BibTeX RDF
34	María Alpuente, Santiago Escobar 0001, Salvador Lucas	On-demand Evaluation by Program Transformation.	RULE@RDP	2003	DBLP DOI BibTeX RDF
34	María Alpuente, Santiago Escobar 0001, Salvador Lucas	OnDemandOBJ: A Laboratory for Strategy Annotations.	RULE@RDP	2003	DBLP DOI BibTeX RDF
34	Sebastian Brand, Éric Monfroy	Deductive Generation of Constraint Propagation Rules.	RULE@RDP	2003	DBLP DOI BibTeX RDF
34	Otto Skrove Bagge, Magne Haveraaen	Domain-Specific Optimisation with User-Defined Rules in CodeBoost.	RULE@RDP	2003	DBLP DOI BibTeX RDF
34	Clara Bertolissi, Horatiu Cirstea, Claude Kirchner	Translating Combinatory Reduction Systems into the Rewriting Calculus.	RULE@RDP	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.	ACM SIGPLAN Workshop on Rule-Based Programming	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	RULE	2001	DBLP BibTeX RDF
34	Eelco Visser	Scoped Dynamic Rewrite Rules.	RULE@PLI	2001	DBLP DOI BibTeX RDF
34	Jean-Yves Moyen	System Presentation: An Analyser of Rewriting Systems Complexity.	RULE@PLI	2001	DBLP DOI BibTeX RDF
34	Quang Huy Nguyen 0002	Certifying Term Rewriting Proofs in ELAN.	RULE@PLI	2001	DBLP DOI BibTeX RDF
34	Berthold Hoffmann, Mark Minas	Transformation of Shaped Nested Graphs and Diagrams.	RULE@PLI	2001	DBLP DOI BibTeX RDF
34	Mark van den Brand, Rakesh M. Verma	RULE2001 - Foreword.	RULE@PLI	2001	DBLP DOI BibTeX RDF
34	Olivier Danvy, Lasse R. Nielsen	Syntactic Theories in Practice.	RULE@PLI	2001	DBLP DOI BibTeX RDF