Volume 2; Issue 3

ACM Transactions on Computational Logic

Volume 2; Issue 3
1

Probabilistic logic programming with conditional constraints

Lukasiewicz, Thomas
Journal:
ACM Transactions on Computational Logic
Year:
2001
Language:
english
File:
PDF, 873 KB
english, 2001
2

Proof-complexity results for nonmonotonic reasoning

Egly, Uwe, Tompits, Hans
Journal:
ACM Transactions on Computational Logic
Year:
2001
Language:
english
File:
PDF, 541 KB
english, 2001
4

Weak alternating automata are not that weak

Kupferman, Orna, Vardi, Moshe Y.
Journal:
ACM Transactions on Computational Logic
Year:
2001
Language:
english
File:
PDF, 183 KB
english, 2001