rewriting logic - researchr tag

researchr

You are not signed in
Sign in
Sign up

2011

Backward Trace Slicing for Rewriting Logic TheoriesMaría Alpuente, Demis Ballis, Javier Espert, Daniel Romero. cade 2011: 34-48 [doi]

Graph Isomorphism, Sherali-Adams Relaxations and Expressibility in Counting LogicsAlbert Atserias, Elitza N. Maneva. eccc, 18:77, 2011. [doi]

Guest editorial to the special issue on inductive logic programming, mining and learning in graphs and statistical relational learningHendrik Blockeel, Karsten M. Borgwardt, Luc De Raedt, Pedro Domingos, Kristian Kersting, Xifeng Yan. ml, 83(2):133-135, 2011. [doi]

Generative Structure Learning for Markov Logic Networks Based on Graph of PredicatesQuang Thang Dinh, Matthieu Exbrayat, Christel Vrain. IJCAI 2011: 1249-1254 [doi]

Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid SystemsMuhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám. ENTCS, 274:17-32, 2011. [doi]

Hybrid Logics and NP Graph PropertiesFrancicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins. wollic 2011: 123-134 [doi]

Description Logic TBoxes: Model-Theoretic Characterizations and RewritabilityCarsten Lutz, Robert Piro, Frank Wolter. IJCAI 2011: 983-988 [doi]

The Rewriting Logic Semantics Project: A Progress ReportJosé Meseguer, Grigore Rosu. fct 2011: 1-37 [doi]

Monadic second order logic on graphs with local cardinality constraintsStefan Szeider. tocl, 12(2):12, 2011. [doi]

Characterizing EF over Infinite Trees and Modal Logic on Transitive GraphsBalder ten Cate, Alessandro Facchini. mfcs 2011: 290-302 [doi]

A Rewriting Logic Semantics for ATLJavier Troya, Antonio Vallecillo. jot, 10, 2011. [doi]

2010

Approximating Non-interference and Erasure in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. synasc 2010: 124-132 [doi]

Completeness of Unfolding for Rewriting Logic TheoriesMaría Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis. synasc 2010: 116-123 [doi]

The Linear Temporal Logic of Rewriting Maude Model CheckerKyungmin Bae, José Meseguer. wrla 2010: 208-225 [doi]

A Dynamic Logic for Termgraph RewritingPhilippe Balbiani, Rachid Echahed, Andreas Herzig. gg 2010: 59-74 [doi]

Rewriting Logic Based Performance Estimation of Embedded SystemsFateh Boutekkouk. asmta 2010: 117-129 [doi]

Conceptual Graphs and Fuzzy Logic - A Fusion for Representing and Reasoning with Linguistic InformationTru Hoang Cao. Volume 306 of Studies in Computational Intelligence, Springer, 2010. [doi]

Tableaux and Resource Graphs for Separation LogicDidier Galmiche, Daniel Méry. logcom, 20(1):189-231, 2010. [doi]

Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsStijn Heymans, Thomas Eiter, Guohui Xiao. ecai 2010: 35-40 [doi]

A Rewriting Logic Semantics Approach to Modular Program AnalysisMark Hills, Grigore Rosu. RTA 2010: 151-160 [doi]

Clausal Graph Tableaux for Hybrid Logic with Eventualities and DifferenceMark Kaminski, Gert Smolka. lpar 2010: 417-431 [doi]

Confluent Term Rewriting for Only-knowing LogicsEspen H. Lian, Einar Broch Johnsen, Arild Waaler. stairs 2010: 162-174 [doi]

Twenty Years of Rewriting LogicJosé Meseguer. wrla 2010: 15-17 [doi]

Combining Description Logics, Description Graphs, and RulesBoris Motik. iccs 2010: 10-12 [doi]

Hybrid logic with the difference modality for generalisations of graphsRobert S. R. Myers, Dirk Pattinson. japll, 8(4):441-458, 2010. [doi]

Separation Logic Adapted for Proofs by RewritingMagnus O. Myreen. itp 2010: 485-489 [doi]

Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open SystemsShin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka. seus 2010: 83-94 [doi]

Hoare Logic for Graph ProgramsChristopher Poskitt, Detlef Plump. In Proc.\ THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010). 2010:

Tractable query answering and rewriting under description logic constraintsHéctor Pérez-Urbina, Boris Motik, Ian Horrocks. japll, 8(2):186-209, 2010. [doi]

Combining Theorem Proving and Narrowing for Rewriting-Logic SpecificationsVlad Rusu. tap 2010: 135-150 [doi]

Optimal Rewritings in Definitorially Complete Description LogicsInanç Seylan, Enrico Franconi, Jos de Bruijn. dlog 2010: [doi]

Towards a Rewriting Logic Semantics for ATLJavier Troya, Antonio Vallecillo. ICMT 2010: 230-244 [doi]

Constraints, Graphs, Algebra, Logic, and ComplexityMoshe Y. Vardi. cp 2010: 8 [doi]

Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected PapersPeter Csaba Ölveczky, editor, Volume 6381 of Lecture Notes in Computer Science, Springer, 2010. [doi]

2009

Rewriting Logic Specification of Membrane Systems with Promoters and InhibitorsOana Agrigoroaiei, Gabriel Ciobanu. ENTCS, 238(3):5-22, 2009. [doi]

Abstract Certification of Global Non-interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. FMCO 2010: 105-124 [doi]

Defining Datalog in Rewriting LogicMaría Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva. LOPSTR 2010: 188-204 [doi]

Specification and Verification of Web Applications in Rewriting LogicMaría Alpuente, Demis Ballis, Daniel Romero. fm 2009: 790-805 [doi]

Specification and Verification of Web Applications in Rewriting LogicMar\'{\i}a Alpuente, Demis Ballis, Daniel Romero. In FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. 2009:

Separating Graph Logic from MSOTimos Antonopoulos, Anuj Dawar. fossacs 2009: 63-77 [doi]

Product of Graphs and Hybrid LogicMario R. F. Benevides, L. MenaschÃ© Schechter. ENTCS, 256:103-118, 2009. [doi]

Using modal logics to express and check global graph propertiesMario R. F. Benevides, L. Menasché Schechter. igpl, 17(5):559-587, 2009. [doi]

Rewriting Logic Semantics and Verification of Model TransformationsArtur Boronat, Reiko Heckel, José Meseguer. FASE 2009: 18-33 [doi]

Verification of Complex Real-Time Systems using Rewriting LogicMustapha Bourahla. cit, 17(3):265-284, 2009. [doi]

Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical ApplicationsBruno Courcelle. LATA 2009: 19-22 [doi]

Fuzzy Logic Based Guidance to Graph Grammar Framework for Automated Analog Circuit DesignAngan Das, Ranga Vemuri. vlsid 2009: 445-450 [doi]

The Second Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. ENTCS, 238(3):281-291, 2009. [doi]

Memory Representations in Rewriting Logic Semantics DefinitionsMark Hills. ENTCS, 238(3):155-172, 2009. [doi]

Rewriting Logic-Based Semantics of P Systems and the Maximal ConcurrencyDorel Lucanu. ijfcs, 20(3):395-410, 2009. [doi]

Combining Description Logics, Description Graphs, and RulesBoris Motik. frocos 2009: 43-67 [doi]

Representing ontologies using description logics, description graphs, and rulesBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. ai, 173(14):1275-1309, 2009. [doi]

Verification d'invariants pour des systemes specifies en logique de reecritureVlad Rusu, Manuel Clavel. jfla 2009: 317-350

Automated termination proofs for logic programs by term rewritingPeter Schneider-Kamp, JÃ¼rgen Giesl, Alexander Serebrenik, RenÃ© Thiemann. tocl, 11(1), 2009. [doi]

A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]

A Graph-theoretic Account of LogicsAmílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio. logcom, 19(6):1281-1320, 2009. [doi]

On Graph-theoretic Fibring of LogicsAmílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio. logcom, 19(6):1321-1357, 2009. [doi]

HeDGE: Hybrid Dataflow Graph Execution in the Issue LogicSuriya Subramanian, Kathryn S. McKinley. hipeac 2009: 308-323 [doi]

Constraints, Graphs, Algebra, Logic, and ComplexityMoshe Y. Vardi. tamc 2009: 3 [doi]

Teaching Formal Methods Based on Rewriting Logic and MaudePeter Csaba Ã–lveczky. tfm 2009: 20-38 [doi]

2008

Automated Certification of Non-Interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. fmics 2009: 182-198 [doi]

A Modal-Logic Based Graph AbstractionJörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink. gg 2008: 321-335 [doi]

AADL behavioral annex based on generalized rewriting logicMalika Benammar, Faiza Belala, Fateh Latreche. rcis 2008: 1-8 [doi]

Graph Structure and Monadic Second-Order Logic: Language Theoretical AspectsBruno Courcelle. icalp 2008: 1-13 [doi]

Circle graphs and monadic second-order logicBruno Courcelle. japll, 6(3):416-442, 2008. [doi]

The modular decomposition of countable graphs. Definition and construction in monadic second-order logicBruno Courcelle, Christian Delhommé. TCS, 394(1-2):1-38, 2008. [doi]

Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph ApproachVasiliki Efstathiou, Anthony Hunter. foiks 2008: 272-290 [doi]

A Rewriting Logic Approach to Type InferenceChucky Ellison, Traian-Florin Serbanuta, Grigore Rosu. WADT 2009: 135-151 [doi]

Mapping Software Architecture Specification to Rewriting Logic (Short Paper)Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He. qsic 2008: 376-381 [doi]

Extend OWL-S Dynamic Semantics with Rewrite LogicNing Huang, Yongyi Peng, Camilo Rocha. csse 2008: 346-349 [doi]

Validating Behavioral Component Interfaces in Rewriting LogicEinar Broch Johnsen, Olaf Owe, Arild B. Torjusen. FUIN, 82(4):341-359, 2008. [doi]

Fusing a Transformation Language with an Open CompilerKarl Trygve Kalleberg, Eelco Visser. ENTCS, 203(2):21-36, 2008. [doi]

Abductive Logic Programming by Nonground Rewrite SystemsFangzhen Lin, Jia-Huai You. AAAI 2008: 480-485

Model Transformations powered by Rewriting LogicFrancisco J. Lucas, José Ambrosio Toval Álvarez. caise 2008: 41-44 [doi]

Expressive power of monadic logics on words, trees, pictures, and graphsOliver Matz, Nicole Schweikardt. BIRTHDAY 2008: 531-552

Functional-Logic Graph Parser CombinatorsSteffen Mazanek, Mark Minas. RTA 2008: 261-275 [doi]

The Temporal Logic of Rewriting: A Gentle IntroductionJosé Meseguer. birthday 2008: 354-382 [doi]

Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable ArchitecturesCarlos Morra, João Bispo, João M. P. Cardoso, Jürgen Becker. fccm 2008: 320-321 [doi]

A Logic of Graph ConstraintsFernando Orejas, Hartmut Ehrig, Ulrike Prange. FASE 2008: 179-198 [doi]

Diagrammatic Logic of Existential Graphs: A Case Study of CommandsAhti-Veikko Pietarinen. diagrams 2008: 404-407 [doi]

Rewriting Conjunctive Queries over Description Logic Knowledge BasesHéctor Pérez-Urbina, Boris Motik, Ian Horrocks. sdb 2008: 199-214 [doi]

Declarative Debugging of Rewriting Logic SpecificationsAdriÃ¡n Riesco, Alberto Verdejo, Rafael Caballero, Narciso MartÃ-Oliet. WADT 2009: 308-325 [doi]

Rewriting Logic Using Strategies for Neural Networks: An Implementation in MaudeGustavo Santos-García, Miguel Palomino, Alberto Verdejo. dcai 2009: 424-433 [doi]

Monadic Second Order Logic on Graphs with Local Cardinality ConstraintsStefan Szeider. mfcs 2008: 601-612 [doi]

2007

Automatic Certification of Java Source Code in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. fmics 2008: 200-217 [doi]

A rewriting logic framework for operational semantics of membrane systemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu. TCS, 373(3):163-181, 2007. [doi]

Semantics of static pointcuts in aspectJPavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. POPL 2007: 11-23 [doi]

Understanding Promise Theory Using Rewriting LogicKyrre M. Begnum, Mark Burgess. aimsa 2007: 204-207 [doi]

Graphs, Hypergraphs, and Inductive Logic ProgrammingHendrik Blockeel, Tijn Witsenburg, Joost N. Kok. mlg 2007: [doi]

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logicManuel Clavel, José Meseguer, Miguel Palomino. TCS, 373(1-2):70-91, 2007. [doi]

Rewriting Logic SystemsGrit Denker, Carolyn L. Talcott, Grigore Rosu, Mark G. J. van den Brand, Steven Eker, Traian-Florin Serbanuta. ENTCS, 176(4):233-247, 2007. [doi]

Narrowing and Rewriting Logic: from Foundations to ApplicationsSantiago Escobar, José Meseguer, Prasanna Thati. ENTCS, 177:5-33, 2007. [doi]

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for PerformanceMark Hills, Grigore Rosu. fmoods 2007: 107-121 [doi]

KOOL: An Application of Rewriting Logic to Language Prototyping and AnalysisMark Hills, Grigore Rosu. RTA 2007: 246-256 [doi]

Graph Theory-based Logic Relationship Programming of Product Development ProcessHong-Zhong Huang, Ying-Kui Gu. cera, 15(3):275-280, 2007. [doi]

Graph-based Decision for Gödel-Dummett LogicsDominique Larchey-Wendling. JAR, 38(1-3):201-225, 2007. [doi]

Compilation as Rewriting in Higher Order LogicGuodong Li, Konrad Slind. cade 2007: 19-34 [doi]

The rewriting logic semantics projectJosé Meseguer, Grigore Rosu. TCS, 373(3):213-237, 2007. [doi]

Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing ElementsCarlos Morra, João M. P. Cardoso, Jürgen Becker. ipps 2007: 1-8 [doi]

Termination Analysis of Logic Programs Based on Dependency GraphsManh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye. LOPSTR 2008: 8-22 [doi]

Concept Graphs as Semantic Structures for Contextual Judgment LogicRudolf Wille. cla 2008: [doi]

PreviousNext