4401 search results - page 154 / 881 » Computing with Default Logic |
AAAI
2008
13 years 11 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
TCS
2011
13 years 5 months ago
2011
We introduce the Danos-Régnier category
DAC
2008
ACM
14 years 11 months ago
2008
ACM
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...