Work

A rewriting framework and logic for activities subject to regulations

Year: 2015

Type: article

Source: Mathematical Structures in Computer Science

DOI: 10.1017/s096012951500016x

Authors: MAX KANOVICH, TAJANA BAN KIRIGIN, VIVEK NIGAM, ANDRE SCEDROV, CAROLYN TALCOTT, RANKO PEROVIC

Institutions: National Research University Higher School of Economics, Queen Mary University of London, University College London, University of Rijeka, Universidade Federal da Paraíba, University of Pennsylvania, SRI International

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2106611458

FWCI: 1.555

Cites: 41

Cited by: 20

Related to: 10