AAAI 2008

Optimizations and Extensions for the Horn Transaction Logic Programs

Short Paper Doctoral Consortium Abstracts Artificial Intelligence

Abstract

No abstract is available in the live database for this paper.

Authors

Paul Fodor Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs

Keywords

No keywords are indexed for this paper.

Context

Venue: AAAI Conference on Artificial Intelligence
Archive span: 1980-2026
Indexed papers: 28718
Paper id: 84507033369886007