Logics in Artificial Intelligence

DOI10.1007/b100483zbMath1111.68376OpenAlexW335252711MaRDI QIDQ5394158

Luca Compagna, Alessandro Armando, Yuliya Lierler

Publication date: 25 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100483

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logic programming (68N17)

Related Items

A metamodel of access control for distributed environments: applications and properties

Uses Software

• Cmodels
• Smodels
• Casper
• Chaff

This page was built for publication: Logics in Artificial Intelligence