The Pleadings Game
- 1 January 1994
- journal article
- Published by Springer Nature in Artificial Intelligence and Law
- Vol. 2 (4) , 239-292
- https://doi.org/10.1007/bf00871972
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Conditional entailment: Bridging two approaches to default reasoningArtificial Intelligence, 1992
- Isomorphism and legal knowledge based systemsArtificial Intelligence and Law, 1992
- Arguments and cases: An inevitable intertwiningArtificial Intelligence and Law, 1992
- An abductive theory of legal issuesInternational Journal of Man-Machine Studies, 1991
- Clausal intuitionistic logic II. tableau proof proceduresThe Journal of Logic Programming, 1988
- ON THE SEMANTICS OF STRIPSPublished by Elsevier ,1987
- Dialogues as a Foundation for Intuitionistic LogicPublished by Springer Nature ,1986
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- Question-begging in non-cumulative systemsJournal of Philosophical Logic, 1979
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971