Legislation as Logic Programs

Authors:
Robert A. Kowalski
Affiliations:
-
Venue:
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
Year:
1992

Launching the new era

Communications of the ACM
LUPS---a language for updating logic programs

Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming

Journal of Automated Reasoning
Logic Programming Updating - A Guided Approach

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Dynamic Knowledge Representation and Its Applications

AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Bob Kowalski: A Portrait

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Representational complexity in law

Proceedings of the 11th international conference on Artificial intelligence and law
A well-founded ontological framework for modeling personal income tax

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law

Hi-index	0.02