On isomorphic formalisations
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date1996/01/01
-
Journal
-
Indian UGC (journal)
-
Refrences31
-
Tom Routen
Journal Categories
Law
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
- Bayesian optimization for learning gaits under uncertainty
- A new stochastic approach for solution of Riccati differential equation of fractional order
- Efficient Boustrophedon Multi-Robot Coverage: an algorithmic approach
- Persuasion in Practical Argument Using Value-based Argumentation Frameworks
- Logic Programming with Focusing Proofs in Linear Logic
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
The British Nationality Act as a logic program | Communications of the ACM |
| 157 | May 1986 |
| 10.1007/BF00118479 | 1992 | |||
| 10.1016/0004-3702(91)90049-P | Artificial Intelligence |
| 1991 | |
| 10.1016/0004-3702(91)90050-T | Artificial Intelligence |
| 1991 | |
The Use of Logical Models in Legal Problem Solving* | Ratio Juris | 4 | 1990 |