Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-29473-5_5 ◽

2016 ◽

pp. 74-89 ◽

Cited By ~ 1

Author(s):

Christiano Braga ◽

Bruno Lopes

Keyword(s):

Rewriting Logic ◽

Dynamic Logics

Download Full-text

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Multiagent and Grid Systems ◽

10.3233/mgs-180298 ◽

2019 ◽

Vol 14 (4) ◽

pp. 403-418 ◽

Cited By ~ 2

Author(s):

Ammar Boucherit ◽

Abdallah Khababa ◽

Laura M. Castro

Keyword(s):

Petri Nets ◽

Multi Agent System ◽

Rewriting Logic ◽

Agent System ◽

System Models ◽

Multi Agent

Download Full-text

On Sequential Form of Functional Dynamic Logics

Fundamenta Informaticae ◽

10.3233/fi-1984-7310 ◽

1984 ◽

Vol 7 (3) ◽

pp. 357-358

Author(s):

Regimantas Pliuškevičius

Keyword(s):

Axiom Systems ◽

Dynamic Logics

A Gentzen-style axiomatization of dynamic logics is proposed. It is compared to other axiom systems for dynamic logics. Some problems of relative decidability are considered.

Download Full-text

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2012.11.011 ◽

2012 ◽

Vol 290 ◽

pp. 51-67 ◽

Cited By ~ 4

Author(s):

Mark Hills ◽

Feng Chen ◽

Grigore Roşu

Keyword(s):

Rewriting Logic ◽

Units Of Measurement ◽

Logic Approach ◽

Static Checking

Download Full-text

A Rewriting Logic Implementation of Erlang

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80928-9 ◽

2001 ◽

Vol 44 (2) ◽

pp. 206-224 ◽

Cited By ~ 3

Author(s):

Thomas Noll

Keyword(s):

Rewriting Logic

Download Full-text

Modeling Distributed Systems in Rewriting Logic

Designing Reliable Distributed Systems - Undergraduate Topics in Computer Science ◽

10.1007/978-1-4471-6687-0_8 ◽

2017 ◽

pp. 127-144 ◽

Cited By ~ 1

Author(s):

Peter Csaba Ölveczky

Keyword(s):

Distributed Systems ◽

Rewriting Logic

Download Full-text

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude

Advances in Soft Computing - International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008) ◽

10.1007/978-3-540-85863-8_50 ◽

2008 ◽

pp. 424-433 ◽

Cited By ~ 4

Author(s):

Gustavo Santos-García ◽

Miguel Palomino ◽

Alberto Verdejo

Keyword(s):

Neural Networks ◽

Rewriting Logic

Download Full-text

Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System

International Journal of Computer Applications ◽

10.5120/1755-2392 ◽

2011 ◽

Vol 13 (2) ◽

pp. 6-13 ◽

Cited By ~ 1

Author(s):

Ammar Boucherit ◽

Abdallah Khebaba ◽

Faiza Belala

Keyword(s):

Multi Agent System ◽

Critical Systems ◽

Rewriting Logic ◽

Agent System ◽

Multi Agent

Download Full-text

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

Advances in Artificial Intelligence – SBIA 2004 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-28645-5_4 ◽

2004 ◽

pp. 31-40 ◽

Cited By ~ 2

Author(s):

Gabriel Aguilera ◽

Pablo Cordero ◽

Manuel Enciso ◽

Angel Mora ◽

Inmaculada Perez de Guzmán

Keyword(s):

Functional Dependencies ◽

Rewriting Logic

Download Full-text

Specification and Verification of Web Applications in Rewriting Logic

FM 2009: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-05089-3_50 ◽

2009 ◽

pp. 790-805 ◽

Cited By ~ 5

Author(s):

María Alpuente ◽

Demis Ballis ◽

Daniel Romero

Keyword(s):

Web Applications ◽

Rewriting Logic ◽

Specification And Verification

Download Full-text

Understanding Promise Theory Using Rewriting Logic

Inter-Domain Management - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72986-0_26 ◽

2007 ◽

pp. 204-207

Author(s):

Kyrre Begnum ◽

Mark Burgess

Keyword(s):

Rewriting Logic

Download Full-text