4401 search results - page 154 / 881 » Computing with Default Logic |
166
Voted
AAAI
2008
15 years 3 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 ...
107
click to vote
LICS
2003
IEEE
15 years 7 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...
232
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
138
Voted
TCS
2011
14 years 9 months ago
2011
We introduce the Danos-Régnier category
131
Voted
DAC
2008
ACM
16 years 3 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...